News and Events: Conferences
These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Calls for Paper
Headlines Upcoming conferences
Calls for Paper
20 - 23 June 2017, European Conference on Argumentation (ECA 2017), Fribourg, SwitzerlandDate: 20 - 23 June 2017Location: Fribourg, Switzerland
The field of argumentation has been expanding over the last decade with a clear opening towards cognitive psychology (and cognitive science more generally) and the processes it accounts for. With the development of cognitive science as an encompassing framework within which both psychological and social aspects of human behaviour can be accounted for, we believe that the time is ripe to ground a discussion in the community of argumentation studies around the notion of inference, along its formal, social and cognitive dimensions. The overarching questions the conference theme will be concerned with are therefore the following: How does the study of argumentation connect with the notion of inference and how, as a discipline, does it connect with the disciplines involved in the study of the cognitive features of inference?
To foster this discussion, the conference accordingly seeks to attract scholars in argumentation coming from a range of different traditions, including (but not limited to) philosophy, psychology, linguistics, informal logic, speech communication, pragma-dialectics, epistemic approaches, rhetoric, dialectics, logic, and computational approaches.
In addition to welcoming submissions linked to argumentation studies in general, each ECA edition has a special theme. While the 1st edition of ECA was devoted to exploring the relationship between argumentation and the decisions that follow from it, the 2017 Fribourg edition will focus on the cognitive processes involved in argumentation, with a clear focus on what happens ‘upstream’ in the argumentative chain, both in production and reception. The 2nd edition of ECA will thus focus on inference as one of the key features of the argumentative process. The abstract submission deadline is 1st of October 2016.For more information, see ecargument.org.
15 - 19 May 2017, 16th International Conference on Relational and Algebratic Methods in Computer Science (RAMiCS 2017), Lyon, FranceDate: 15 - 19 May 2017Location: Lyon, France
For more than two decades, the RAMiCS conferences series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.
Invited Speakers: Annabelle McIver (Macquarie University, Sydney), Jean-Eric Pin (CNRS, IRIF, Paris) and Alexandra Silva (University College, London).
We invite submissions in the general field of algebraic structures relevant to computer science and on applications of such algebras.For more information, see ramics-conference.org.
12 - 15 June 2017, 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII), Ljubljana, SloveniaDate: 12 - 15 June 2017Location: Ljubljana, Slovenia
MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.
Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.For more information, see coalg.org/mfps-calco2017.
21 - 23 June 2017, 14th International Conference on Distributed Computing and Artificial Intelligence (DCAI'17), Porto, PortugalDate: 21 - 23 June 2017Location: Porto, Portugal
The 14th International Conference on Distributed Computing and Artificial Intelligence 2017 is an annual forum that will bring together ideas, projects, lessons, etc. associated with distributed computing and artificial intelligence, and their application in different areas.
Research on Intelligent Distributed Systems has matured during the last decade and many effective applications are now deployed. Applying artificial intelligence in distributed environments is becoming an element of high added value and economic potential. These technologies are changing constantly as a result of the large research and technical effort being undertaken in both universities and businesses. The exchange of ideas between scientists and technicians from both academic and business areas is essential to facilitate the development of systems that meet the demands of today's society. The technology transfer in this field is still a challenge and for that reason this type of contributions will be specially considered in this symposium.
DCAI welcomes the submission of application papers with preference to the topics listed in the call for papers. In addition to the main track, there will also be Special Sessions on AI–driven methods for Multimodal Networks and Processes Modeling, on Decision Economics, on Intelligent and Secure Management towards Smart Buildings and Smart Grids, and on Logic, Information, Language, Memory, Reasoning, as well as a Doctoral Consortium where students can present their on going research work.
19 - 22 September 2017, 12th International Workshop on Computational Semantics (IWCS 2017), Montpellier, FranceDate: 19 - 22 September 2017Location: Montpellier, France
The aim of the IWCS conference is to bring together researchers interested in the computation, annotation, extraction, and representation of meaning in natural language, whether from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.
The areas of interest for the conference include all computational aspects of meaning of natural language within written, spoken, or multimodal communication. Papers are invited on topics in these and closely related areas.
Two types of submission are solicited: Long papers (describing original research) and Short papers (typically system description with demonstration or project descriptions, or ongoing research).For more information, see www.lirmm.fr/iwcs2017.
CfP special issue of Topoi on "Inferences and Proofs"Deadline: Friday 31 March 2017
Since its birth, logic has been concerned with the study of correct reasonings or, more specifically, of proofs. A proof should have the epistemic power to provide us with justification for the judgement or assertion which it ends with. This power is, from a different point of view, the power to compel one to accept the conclusion of the proof. Which forms of reasoning can be said to have such power? And above all, how can they exert an epistemic power of compulsion?
According to Descartes, a correct reasoning is nothing but a chain of valid inferences. The epistemic power of proofs should therefore depend on the epistemic power of valid inferences. The problem then becomes: what is a (valid) inference? And why do valid inferences have an epistemic force? These questions, far from being psychological in nature, rather involve epistemology, logic and mathematics.
TOPOI invites submissions to the special issue "Inferences and proofs", edited by Gabriella Crocco and Antonio Piccolomini d'Aragona. Main areas of interest: Dag Prawitz's proof-theoretic semantics and recent theory of grounds, Per Martin-Löf intuitionistic type theory, Category theory, Contextual approaches to epistemic issues, and Kurt Gödel's notion of absolute proof.
27 - 31 August 2017, 20th anniversary International Conference on Text, Speech and Dialogue (TSD 2017), Prague, Czech RepublicDate: 27 - 31 August 2017Location: Prague, Czech RepublicDeadline: Friday 31 March 2017
TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world.
Invited speakers: Tomas Mikolov and other eminent personages with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics have been asked to give their respective pieces of speech.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Topics of the 20th anniversary conference will include (but are not limited to): Speech Recognition, Corpora and Language Resources, Speech and Spoken Language Generation, Tagging, Classification and Parsing of Text and Speech, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing, Automatic Dialogue Systems, and Multimodal Techniques and Modelling.
8 - 10 June 2017, Rudolf-Carnap-Lectures 2017: Frank Jackson, Bochum, GermanyDate: 8 - 10 June 2017Location: Bochum, GermanyDeadline: Saturday 1 April 2017
The Rudolf-Carnap-Lectures are an annual event started by Prof. Dr. Albert Newen from the Institute of Philosophy II at Ruhr-Universität Bochum, Germany in 2007. The Lectures provide a platform for distinguished scholars to present their work in the form of several talks on their preferred topic. The focus is usually on the areas of Philosophy of Mind, Language or Science. In turn, graduate students interested in these topics get the chance to engage in extensive discussion and get in touch with state-of-the-art research. In addition, some of them have the chance to present their own work on related topics during a graduate conference, based on a peer review process.
From June 8-10, 2017, the next RCL will be presented by Prof. Frank Jackson (ANU), who is going to present his work on meaning, perception, and the nature of mind in Bochum, as always in the context of a Graduate workshop where several PhD students and Postdocs will also have the chance to present their ideas on themes from the work of Frank Jackson.
In addition to Prof. Jackson's lectures, several PhD-student or early postdoc presentations (constraint: PhD finished 2014 or later) are planned. In addition we have room for one or two experienced postdoc presentations: Postdocs (constraint: PhD finished 2010 or later) are invited to submit an abstract indicating it to be a postdoc-presentation. Topics should be related to the main theme of the conference in a loose sense. Papers will be selected based on a blind review process.
18 - 22 September 2017, Twelfth International Tbilisi Symposium on Language, Logic and Computation, Kakheti, GeorgiaDate: 18 - 22 September 2017Location: Kakheti, GeorgiaDeadline: Saturday 1 April 2017
The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia.
The Symposium series is organized by the University of Duesseldorf in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. There have been eight instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013) and Tbilisi (2015).
The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia. The Programme Committee invites submissions for contributions on all aspects of language, logic and computation. Work of an interdisciplinary nature is particularly welcome. Areas of interest include, but are not limited to:
For more information, see events.illc.uva.nl/Tbilisi/Tbilisi2017.
- Natural language syntax, semantics, and pragmatics
- Linguistic typology and semantic universals
- Language evolution and learnability
- Historical linguistics, history of logic
- Natural logic, inference and entailment in natural language
- Logic, games, and formal pragmatics
- Logics for artificial intelligence
- Constructive, modal and algebraic logic
- Algorithmic game theory
- Computational social choice
- Formal models of multiagent systems
- Information retrieval, query answer systems
- Distributional and probabilistic models of information and meaning
19 June 2017, Workshop Learning and Automata (LearnAut 2017), Reykjavik, IcelandDate: Monday 19 June 2017Location: Reykjavik, IcelandDeadline: Saturday 1 April 2017
Grammatical Inference (GI) studies machine learning algorithms for classical recursive models of computations like automata and grammars. The expressive power of these models and the complexity of associated computational problems are a major research topic within theoretical computer science (TCS). This workshop aims at offering a favorable place for dialogue and at generating discussions between researchers from these two communities.
The workshop will have a particular emphasis on the recent successes due to collaborations between members with these two different backgrounds.
We invite submissions of recent works, possibly preliminary ones, related to the theme of the workshop. Similarly to how main machine learning conferences and workshops are organized, all accepted abstracts will be part of a poster session held during the workshop. Additionally, the Program Committee will select a subset of the abstracts for oral presentation. At least one author of each accepted abstract is expected to represent it at the workshop.For more information, see learnaut.wordpress.com.
18 - 19 July 2017, Formal Models of Scientific Inquiry, Bochum, GermanyDate: 18 - 19 July 2017Location: Bochum, GermanyDeadline: Saturday 1 April 2017
Throughout the last two decades philosophical discussions on scientific inquiry have increasingly utilized formal models. To this end a variety of formal models have been developed, starting from analytical ones to agent-based models that provide computer simulations of scientific inquiry. The aim of this conference is to bring together scholars working on different approaches to the formal modeling of scientific inquiry to discuss both different types of formal models and the prospects and limits of their usefulness for philosophy of science, social epistemology and science policy.
Keynote speakers: Gregor Betz (Karlsruhe Institute of Technology), Leah Henderson (University of Groningen) and Jason McKenzie Alexander (London School of Economics).
We invite contributions on these and related issues. Authors are invited to submit an extended abstract (500-1000 words) related to the above questions. An application for a special issue with the conference post-proceedings will be submitted to an internationally recognized journal.For more information, see homepage.ruhr-uni-bochum.de/defeasible-reasoning/Conference-Formal-Models.html or contact ModelsofScience at gmail.com.
(Updated) 24 - 26 July 2017, 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Liverpool, U.K.Date: 24 - 26 July 2017Location: Liverpool, U.K.Deadline: Monday 3 April 2017
The mission of the TARK conferences is to bring together researchers from a wide variety of fields in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. TARK 2017 is the 16th conference of the TARK conference series. Previous conferences have been held bi-annually around the world.
Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty; bounded rationality and resource-bounded reasoning; commonsense epistemic reasoning; epistemic logic; epistemic game theory; knowledge and action; applications of reasoning about knowledge and other mental states; belief revision; computational social choice; algorithmic game theory; and foundations of multi-agent systems.
Submissions are now invited to TARK 2017. The deadline for submissions is April 3, 2017. Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications.
26 - 29 September 2017, 8th International Conference on Interactive Theorem Proving (ITP 2017), Brasilia, BrazilDate: 26 - 29 September 2017Location: Brasilia, BrazilDeadline: Monday 3 April 2017
The ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving.
ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Furthermore, when appropriate, submissions are expected to be accompanied by verifiable evidence of a suitable implementation, such as the source files of a formalization for the proof assistant used.
In addition to regular papers, described above, there will be a rough diamond section. Rough diamond submissions are limited to 6 pages and may consist of an extended abstract. They will be refereed and be expected to present innovative and promising ideas, possibly in an early form and without supporting evidence.
24 - 27 July 2017, Fourteenth International Conference on Computability and Complexity in Analysis (CCA 2017), Daejeon, South KoreaDate: 24 - 27 July 2017Location: Daejeon, South KoreaDeadline: Monday 3 April 2017
The conference is concerned with the theory of computability and complexity over real-valued data. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.
The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.
Authors are invited to submit 1-2 pages abstracts in PDF format, including references. Submission deadline: April 3, 2017.For more information, see cca-net.de/cca2017.
13 - 16 June 2017, 7th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Ljubljana, SloveniaDate: 13 - 16 June 2017Location: Ljubljana, SloveniaDeadline: Monday 3 April 2017
CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).
CALCO 2017 will feature a Special Session on Metrics, Privacy and Learning. CALCO 2017 will run together with the CALCO Early Ideas Workshop, a workshop intended to enable presentation of work in progress and original research proposals, with dedicated sessions at the end of each conference day. Finally, the CALCO Tools Workshop, dedicated to tools based on algebraic and/or coalgebraic principles, will take place on June 13.
We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in any of the conference topics. Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners..For more information, see coalg.org/calco17.
CfP special issue of Journal of Automated Reasoning (JAR) on Automated Reasoning SystemsDeadline: Monday 3 April 2017
The past few decades have seen major developments and practical achievements in automated reasoning systems. For example, SAT solving has become an inherent part of the standard hardware production process; SMT solvers are now the backbone of most software verification techniques; first-order theorem provers have pushed the productivity of interactive theorem proving to a new level; computer algebra systems have solved difficult problems in mathematics and biology; knowledge representation systems have become indispensable for reasoning in the world wide web; automatic termination checkers routinely prove the termination of complex programs.
This special issue is dedicated to automated reasoning systems in their full variety, along the dimensions of considered logic, considered problem, application area and user base. In particular, we welcome papers emphasizing engineering aspects because, while often crucial for the success of automated reasoning tools, they are typically not given a sufficiently detailed treatment in theory papers or system description papers published at conferences or workshops.For more information, see www.mpi-inf.mpg.de/JARS17.
13 - 14 July 2017, First Graduate Conference of the Italian Network for the Philosophy of Mathematics (FilMath 2017), Trento, ItalyDate: 13 - 14 July 2017Location: Trento, ItalyDeadline: Monday 3 April 2017
The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasise its attention to those at early stages of their careers, the network is glad to inaugurate, in addition to its biennial main conferences, its first graduate conference. We expect to host up to 6/8 contributed talks by graduate and early career speakers of any nationality, selected by double-blind review.
Submissions of original contributions are invited in any area of philosophy of mathematics, especially if connected with philosophical issues in the history of mathematics, the structure and development of mathematical theories, and the relationship between philosophical issues and mathematical practice.
3 July 2017, 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017), Espoo, FinlandDate: Monday 3 July 2017Location: Espoo, FinlandCosts: Workshop ChairsDeadline: Monday 3 April 2017
Answer Set Programming (ASP) is a declarative programming paradigm with close relationships to neighboring fields such as ATP, CP, FO(.), SAT, SMT, and others. Since its inception in 2007, the ASP Competition series strives to evaluate and advance the state of the art in ASP solving technology. The International Workshop on Practical Aspects of Answer Set Programming (PAoASP) addresses current developments of systems, tools, and applications in ASP and neighboring fields. To this end, it aims to bring together researchers and practitioners of declarative programming with dedicated focus on, but not limited to, recent methods and trends emerging from the ASP Competition.
The 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) is organized in conjunction with the 7th Answer Set Programming Competition (ASPCOMP 2017) and affiliated with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017).
We solicit the submission of papers on systems, tools, and applications of declarative programming methods, developed in the area of ASP and neighboring fields. In particular, we encourage submissions presenting recent developments, including work in progress.
Topics of interest include, but are not limited to: Algorithm Selection and Configuration, Applications and Benchmarks, Empirical Evaluation, Grounding and Solving, Implementation Techniques, Parallel Systems, Portfolio Systems, Reasoning Tasks, Theory Solving and Translation Methods.
19 June 2017, Workshop on Metafinite model theory and definability and complexity of numeric graph parameters (Metafinite 2017), Reykjavik, IcelandDate: Monday 19 June 2017Location: Reykjavik, IcelandDeadline: Friday 7 April 2017
The LICS 2017 workshop will bring together three strands of investigation dealing with the model theory and complexity of numeric graph parameters and their generalization to other first order structures.
Proposal for 30 minutes talk are sollicited in the form of an abstract of up to 4 pages in pdf-format. This may include already published material relevant for the workshop, original contributions, as well as work in progress. Submissions are for talks, not for papers, and should have a single author who is the speaker. The abstract may include a list of coauthors.
3 - 6 September 2017, Second International Conference on Formal Structures for Computation and Deduction (FSCD'17), Oxford, EnglandDate: 3 - 6 September 2017Location: Oxford, EnglandDeadline: Friday 7 April 2017
FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.
Submissions can be made in two categories. Regular research papers are limited to 15 pages and must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 10 pages and must describe a working system which has not been published or submitted elsewhere. Full versions of several accepted papers, to be selected by the program committee, will be invited for submission to a special issue of Logical Methods in Computer Science.For more information, see www.cs.ox.ac.uk/conferences/fscd2017.
16 - 26 June 2018, 6th World Congress & School on Universal Logic (UNILOG 2018), Vichy, FranceDate: 16 - 26 June 2018Location: Vichy, FranceDeadline: Tuesday 11 April 2017
Along these years UNILOG has been a leading international logical event with the participation of many famous logicians. The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).
If you want to submit a workshop or a tutorial, send a proposal to vichy at uni-log.org by April 11, 2017 following the format of the previous edition. A call for contributing talks will be placed in May 2017.
12 - 16 July 2016, Eleventh Panhellenic Logic Symposium (PLS11), Delphi, GreeceDate: 12 - 16 July 2016Location: Delphi, GreeceDeadline: Wednesday 12 April 2017
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The scientific program of PLS11 will consist of hour-long invited talks, tutorials and presentations of accepted contributed papers and posters. The symposium is open to researchers worldwide who work in logic broadly conceived.
Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-minute presentations are invited to submit a paper, in English, not exceeding six pages. If possible, each submitted paper should be classified in one of the following areas: Ancient Logic, Computability Theory, History and Philosophy of Logic, Logic in Computer Science, Model Theory, Nonclassical and Modal Logics, Proof Theory, or Set Theory. Paper submission deadline: Wednesday, April 12, 2017.
Graduate students and young researchers are invited to submit a short abstract on work in progress but not yet ready for a regular contributed talk. Authors of accepted abstracts will have an opportunity to present their results in poster form in a special poster session. Interested students should submit abstracts of no more than one page in PDF form by Friday June 2.
(Updated) 11 - 14 September 2017, The Sixth International Conference on Logic, Rationality and Interaction (LORI-VI), Sapporo, JapanDate: 11 - 14 September 2017Location: Sapporo, JapanDeadline: Friday 14 April 2017
]The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.
Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Please submit your paper by (extended deadline) Friday April 14, 2017, via EasyChair (easychair.org/conferences/?conf=lori6). Accepted papers will be collected as a volume in the FoLLI Series on Logic, Language and Information, and authors may be later invited to submit extended versions of their papers in a special issue of a suitable journal.
18 - 19 August 2017, Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), Stockholm, SwedenDate: 18 - 19 August 2017Location: Stockholm, SwedenDeadline: Friday 14 April 2017
Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950ties, there have been strong links with computer science and logic - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The workshop assesses the place of computer science logic in present day computational linguistics.
The workshop focuses on logical approaches to the computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. . It intends to be a forum for presenting new results as well as work in progress. LACompLing 2017 is affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017, and co-located with: Logic in Stockholm 2017.
We invite original papers that are not submitted concurrently to another conference or for publication elsewhere.
5 - 8 September 2017, 18th EPIA Conference on Artificial Intelligence (EPIA 2017), Porto, PortugalDate: 5 - 8 September 2017Location: Porto, PortugalDeadline: Saturday 15 April 2017
EPIA is a well-established international conference on Artificial Intelligence, supported by Portuguese Association for Artificial Intelligence (APPIA). The purpose of the conference is to promote research in AI and scientific exchange among AI researchers, practitioners, scientists, and engineers in related disciplines.
As in past editions, EPIA 2017 will feature a number of leading researchers in AI as invited speakers.The technical program of EPIA 2017 will feature a set of thematic tracks, covering a wide spectrum of AI topics.The conference will also include a doctoral symposium, a poster session, AI competitions and tutorials on specific topics.
Submitted papers will be subject to a rigorous revision process (the acceptance rate in previous editions has been around 30%). As in previous EPIA’s, accepted papers will be published in a Lecture Notes in Artificial Intelligence volume, published by Springer — “Progress in Artificial Intelligence”. Additionally, a special Journal Track will be included in EPIA 2017, for which accepted papers will be published in a journal special issue and presented at the conference.For more information, see web.fe.up.pt/~epia2017.
28 - 30 September 2017, The Making of the Humanities VI, Oxford, EnglandDate: 28 - 30 September 2017Location: Oxford, EnglandDeadline: Saturday 15 April 2017
The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of disciplines, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.
Keynote Speakers: Elisabeth Décultot, Shamil Jeppie, and Peter Mandler.
We welcome papers on any period or region. We are especially interested in work that compares scholarly practices across humanities disciplines and civilizations. We also invite panel proposals, for panels consisting of 3-4 papers (and possibly a commentary on a coherent theme) and lasting 1.5 to 2 hours (including discussion).For more information, see www.historyofhumanities.org/upcoming-meetings/oxford-2017-meeting.
(New) 26 - 30 June 2017, Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2017), Nancy, FranceDate: 26 - 30 June 2017Location: Nancy, FranceDeadline: Monday 17 April 2017
CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.
The workshop specifically invites contributions in the areas of Exact real number computation, Correctness of algorithms on infinite data, Computable analysis, Complexity of real numbers, real-valued functions, etc. Effective descriptive set theory Scott's domain theory, Constructive analysis, Category-theoretic approaches to computation on infinite data, Weihrauch degrees, And related areas. Extended abstracts (1-2 pages) of original work are welcome.For more information, see members.loria.fr/MHoyrup/CCC/home.html.
25 - 29 September 2017, 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017), Brasilia, BrazilDate: 25 - 29 September 2017Location: Brasilia, BrazilDeadline: Tuesday 18 April 2017
TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented.
Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.
TABLEAUX 2017 will be co-located with both the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017).
Submissions are invited in two categories: Research papers (which describe original theoretical research, original algorithms, or applications, with length up to 15 pages) and System descriptions (with length up to 9 pages). We also welcome papers describing applications of tableau procedures to real world examples. Such papers should be tailored to the tableau community and should focus on the role of reasoning, and logical aspects of the solution. Deadline for Abstract Submission: 18 Apr 2017.For more information, see tableaux2017.cic.unb.br.
21 - 25 August 2017, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Aalborg, DenmarkDate: 21 - 25 August 2017Location: Aalborg, DenmarkDeadline: Thursday 20 April 2017
--------------------------------------------------------------- MFCS 2017 42nd International Symposium on Mathematical Foundations of Computer Science
Aalborg, Denmark, August 21-25, 2017
MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues. MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops.
We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following (alphabetically ordered):
- algebraic and co-algebraic methods in computer science - algorithms and data structures - automata and formal languages - bioinformatics - combinatorics on words, trees, and other structures - computational complexity (structural and model-related) - computational geometry - computer-assisted reasoning - concurrency theory - cryptography and security - databases and knowledge-based systems - formal specifications and program development - foundations of computing - logics in computer science - mobile computing - models of computation - networks (incl. wireless, sensor, ad-hoc networks) - parallel and distributed computing - quantum computing - semantics and verification of programs - theoretical issues in artificial intelligence - types in computer science
All submitted papers will be reviewed by the program committee. Accepted papers will be collected into the conference proceedings.
Abstract submission deadline: April 20th, 2017 (AoE) Paper submission deadline: April 24th, 2017 (AoE) Notification of authors: June 12th, 2017 (AoE) Camera-ready copies due: June 22nd, 2017 (AoE) Early registration deadline: June 23rd, 2017 (AoE) Late registration deadline: August 7th, 2017 (AoE; afterward, only on-site registration) Conference dates: August 21?25, 2017
Papers should be submitted electronically through EasyChair at https://easychair.org/conferences/?conf=mfcs17
Submissions should be prepared according to the following instructions: Papers should be formatted using the LIPIcs style. Length: up to 12 pages (excluding references and an optional appendix) References and an optional appendix can go beyond the 12 pages (the appendix will be consulted at the discretion of the program committee). It is mandatory to use pdflatex No prior publication or simultaneous submission to other conferences or journals are allowed (but submissions to preprint repositories such as arXiv or workshops without formal published proceedings are allowed)
Kim G. Larsen ? PC chair (Aalborg University, Denmark) Hans L. Bodlaender ? co-chair (Eindhoven University of Technology, Netherlands) Jean-Francois Raskin ?co-chair (Universite Libre de Bruxelles, Belgium) Alexander Kurz (University of Leicester) Aniello Murano (UniversitÃ degli Studi di Napoli Federico II) Arno Pauly (Universite Libre de Bruxelles) Axel Legay (IRISA/INRIA, Rennes) Bartek Klin (University of Warsaw) Bettina Speckmann (TU Eindhoven) Christof LÃ¶ding (RWTH Aachen) Damien Pous (CNRS - ENS Lyon) Dana Pardubska (Comenius University) Dexter Kozen (Cornell University) Doron Peled (Bar Ilan University) Franck Cassez (Macquarie University) Hans Raj Tiwary (Charles University) Jiri Wiedermann (Academy of Sciences) JÃ¶rg Rothe (UniversitÃ¤t DÃ¼sseldorf) Kasper Green Larsen (MADALGO, Department of Computer Science, Aarhus University) Lars Birkedal (Dept. of Computer Science, Aarhus University) Luca Moscardelli (University of Chieti-Pescara) Manfred Droste (Leipzig University, Institute of Computer Science) Manuel Bodirsky (TU Dresden) Martin Lange (University of Kassel) Matteo Mio (CNRS/ENS-Lyon) Patricia Bouyer (LSV, CNRS & ENS Cachan, UniversitÃ© Paris Saclay) Pawel Gawrychowski (University of Haifa) Peter Van Emde Boas (ILLC-FNWI-Universiteit van Amsterdam (emeritus) Petteri Kaski (Helsinki Institute for Information Technology HIIT, Department of Computer Science, Aalto University) Pierre-Yves Schobbens (University of Namur) Prakash Panangaden (McGill University) Radu Mardare (Aalborg University) Raffaella Gentilini (University of Perugia) Ramamohan Paturi (University of California, San Diego) Rocco De Nicola (IMT - School for Advanced Studies Lucca) Rod Downey (Victoria University) Roland Meyer (TU Braunschweig) Sagi Snir (Univ. of Haifa) Sam Staton (Oxford University) S?awomir Lasota (Warsaw University) Stephan Kreutzer (Technical University Berlin) Tarmo Uustalu (Institute of Cybernetics, Tallinn University of Technology) Udi Boker (Interdisciplinary Center (IDC) Herzliya) Vojtech Forejt (Oxford University)
LOCAL ORGANIZERS, Aalborg University Giorgio Bacci Giovanni Bacci Radu Mardare Jiri Srba Rikke W. Uhrenholt
We encourage submission of original research papers in all areas of theoretical computer science. All submitted papers will be reviewed by the program committee. Accepted papers will be collected into the conference proceedings.For more information, see mfcs2017.cs.aau.dk.
3 - 7 July 2017, The 14th International Conference on Quantum Physics and Logic (QPL)Date: 3 - 7 July 2017Location: Radboud Universiteit, Nijmegen, NetherlandsDeadline: Friday 21 April 2017
The conference brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas,with a focus on structural perspectives and the use of logical tools,ordered algebraic and category-theoretic structures, formal languages,semantical methods, and other computer science techniques applied tothe study of physical behaviour in general. Work that appliesstructures and methods inspired by quantum theory to other fields (including computer science) is also welcome.
Prospective speakers are invited to submit one (or more) of the following:
- original contributions consist of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and enough detail to allow the program committee to assess the merits of the work. Submission of substantial albeit partial results of work in progress is encouraged. Authors of accepted papers will be invited to give long or short talks, depending on the quality and/or maturity of the submission.
- extended abstracts describing work submitted/published elsewhere will also be considered, provided the work is recent and relevant to the conference. These consist of a 3 page description and should include a link to a separate published paper or preprint.
There will be an award for the best paper whose authors are allstudents, at the discretion of the programme committee.For more information, see qpl.cs.ru.nl.
25 - 29 September 2017, 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), Brasilia, BrazilDate: 25 - 29 September 2017Location: Brasilia, BrazilDeadline: Monday 24 April 2017
In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led - in many research areas - to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis.
The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based ones, and of their practical use.
FroCoS 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 8th International Conference on Interactive Theorem-Proving (ITP 2017).
The program committee seeks high-quality submissions describing original work, written in English, not overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. Abstract submission deadline: 24th April 2017.For more information, see frocos2017.cic.unb.br.
15 - 18 August 2017, 10th Annual Conference on Artificial General Intelligence (AGI-17), Melbourne, AustraliaDate: 15 - 18 August 2017Location: Melbourne, AustraliaDeadline: Tuesday 25 April 2017
The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field — the creation of thinking machines with general intelligence at the human level and possibly beyond.
This is an unprecedentedly exciting time to be working in the AGI field. Today, in 2017, the quest to create AI systems with general intelligence at the human level and beyond is taken more seriously by a broader community than ever before. There has been no better time in history to gather together with other AGI researchers and learn and discuss and share together, regarding how best to take the next steps toward advanced artificial general intelligence.
As in prior AGI conferences, we welcome contributed papers on all aspects of AGI R&D, with the key proviso that each paper should somehow contribute specifically to the development of Artificial General Intelligence. We are also seeking proposal for workshops, tutorials and demos.For more information, see agi-conf.org/2017.
18 - 21 July 2017, 30th International Workshop on Description Logics (DL 2017), Montpellier, FranceDate: 18 - 21 July 2017Location: Montpellier, FranceDeadline: Friday 28 April 2017
The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.
Invited Speakers:Markus Krötzsch (TU Dresden), Andreas Pieris (Edinburgh), and Uli Sattler (Manchester).
We invite contributions on all aspects of description logics. Papers accepted at some conference can be submitted as accepted elsewhere together with a 1-page abstract that also specifies where the paper has been accepted. Other submissions should consist of 11 pages LNCS plus references. Paper registration deadline: April 28, 2017.For more information, see dl.kr.org/dl2017.
11 - 13 September 2017, 21st International Symposium on Fundamentals of Computation Theory (FCT 2017), Bordeaux, FranceDate: 11 - 13 September 2017Location: Bordeaux, FranceDeadline: End of April 2017 (tentative)
FCT 2017 21st International Symposium on Fundamentals of Computation Theory September 11-13, 2017 Bordeaux, France http://fct2017.labri.fr/ <http://fct2017.labri.fr/>
*** FIRST ANNOUNCEMENT ***
The Symposium on Fundamentals of Computation Theory (FCT) was established in 1977 for researchers interested in all aspects of theoretical computer science, and in particular algorithms, complexity, formal and logical methods. FCT is a biennial conference. The last preceding Symposia were held in Gdansk, Liverpool, Oslo, Wroc?aw, Budapest, Lübeck.
FCT 2017 will take place in Bordeaux, France. Bordeaux is located in the South West of France and is easy to reach by plane. The region is famous for its wines and its gastronomy. The city centre of Bordeaux is classified at the Unesco World Heritage.
? Tentative submission date: end of April, 2017. Conference dates: September 11-13, 2017.
- Arnaud Casteigts, Ralf Klasing, Marc Zeitoun. Organization and PC co-Chairs of FCT 2017.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Tentative submission date: end of April, 2017.
5 - 7 June 2017, 36th meeting of JAF (Journées sur les Arithmétiques Faibles), St. Petersburg, RussiaDate: 5 - 7 June 2017Location: St. Petersburg, RussiaDeadline: Monday 1 May 2017
Scope: Provability and definability in arithmetics, model theory and arithmetics, (un)decidability of arithmetics, modelling computations on logical theories.
This meeting is dedicated to Yuri Matiyasevich on the occasion of his 70th birthday, and one conference day will be dedicated to topics related to the research interests of Yuri Matiyasevich (Hilbet's Tenth Problem and its generalizations, undecidability).
If you want to present a talk, please send us the title and a short (not longer than one page) abstract. Abstracts of contributed talks, in PDF and LaTeX format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2017.
2 - 6 October 2017, Formal Methods in Computer-Aided Design (FMCAD 2017), Vienna, AustriaDate: 2 - 6 October 2017Location: Vienna, AustriaDeadline: Monday 1 May 2017
FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.
FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer- aided design. Two categories of papers are invited: Regular papers, and Tool & Case Study papers. Regular papers are expected to offer novel foundational ideas, theoretical results, or algorithmic improvements to existing methods, along with experimental impact validation where applicable. Tool & Case Study papers are expected to report on the design, implementation or use of verification (or related) technology in a practically relevant context (which need not be industrial), and its impact on design processes.For more information, see www.fmcad.org/FMCAD17.
7 - 11 August 2017, Third Nordic Logic Summer School (NLS 2017), Stockholm, SwedenDate: 7 - 11 August 2017Location: Stockholm, SwedenDeadline: Tuesday 2 May 2017
The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. The two previous schools were organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. The school is co-located with Logic Colloquium 2017 (14-20 August) and Computer Science Logic 2017 (21-24 August).
The school will consist of 10 five-hour courses, running in two parallel streams. In addition, there will be short student presentations and poster sessions.
Submission of abstracts for presentations and posters will open March 6, 2017 and close May 2, 2017.
14 - 20 August 2017, 2017 ASL European Summer Meeting (Logic Colloquium '17), Stockholm, SwedenDate: 14 - 20 August 2017Location: Stockholm, SwedenDeadline: Friday 5 May 2017
The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology.
Abstracts of contributed talks submitted by ASL members will be published in *The Bulletin of Symbolic Logic* if they satisfy the Rules for Abstracts (see above). Abstracts should be submitted as pdf files at https://easychair.org/conferences/?conf=lc2017. The abstracts must be prepared according to the ASL instructions here. The deadline for submissions is May 5, 2017.For more information, see www.lc17.conf.kth.se.
16 - 18 October 2017, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Mons, BelgiumDate: 16 - 18 October 2017Location: Mons, BelgiumDeadline: Monday 8 May 2017
TIME 2017 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 24th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification.
Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance.For more information, see informatique.umons.ac.be/time2017.
(Updated) 15 - 17 August 2017, The 21st Workshop on the Semantics and Pragmatics of Dialogue (SemDial 2017 - SaarDial), Saarbruecken, GermanyDate: 15 - 17 August 2017Location: Saarbruecken, GermanyDeadline: Monday 8 May 2017
SaarDial will be the 21st edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2017 the workshop will be hosted by the Spoken Language Systems Group, Saarland University, and will be collocated with the 18th Annual SigDial Meeting on Discourse and Dialogue.
We invite papers on all topics related to the semantics and pragmatics of dialogue. Authors should submit an *anonymous* paper of at most 8 pages of content (up to 2 additional pages are allowed for references). Submission deadline: 8 May 2017.
There will be a later call for 2-page abstracts describing system demonstrations and/or ongoing projects relevant to the topics of the workshop, with submission deadline 23 June 2017.For more information, see www.saardial.uni-saarland.de.
3 - 6 September 2017, 2nd International Workshop on AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17), Prague, Czech RepublicDate: 3 - 6 September 2017Location: Prague, Czech RepublicDeadline: Wednesday 10 May 2017
There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.
We welcome submissions of papers on any of the conference topics, without limiting to them, across approaches, methods, theories, and applications.
(New) 10 - 14 July 2017, Fifteenth Asian Logic Conference (ALC 2017), Daejeon, South KoreaDate: 10 - 14 July 2017Location: Daejeon, South KoreaDeadline: Friday 12 May 2017
The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.
ALC'2017 will be the first Asian Logic Conference since its status changed from an ASL(the Association for Symbolic Logic)-sponsored meeting to an official ASL meeting by ASL Council action in May 2016.
If you would like to give a contributed talk, please send us the title and short abstract of your proposed talk, and a short resume. Each contributed talk should last 20 minutes including questions and answers. Please note that, while contributed talks are welcome, organizers may decide to limit their number in order to provide enough room for discussions.For more information, see alc15korea.wixsite.com/alckorea.
28 - 30 September 2017, Warsaw Workshop on Formal Truth Theories, Warsaw, PolandDate: 28 - 30 September 2017Location: Warsaw, PolandDeadline: Monday 15 May 2017
ANNOUNCEMENT AND CALL FOR PAPERS Warsaw Workshop on Formal Truth Theories, September 28-30, 2017.
The Warsaw Workshop on Formal Truth Theories will be held at the University of Warsaw, Poland (Department of Logic, Institute of Philosophy) on September 28-30, 2017.
The notion of truth has been a long-standing centre of attention for logicians, philosophers and mathematicians. In particular, the logical properties of formal theories of truth have been revealed to be relevant to various philosophical questions, such as to discussions on deflationism, sources of semantic paradoxes, philosophical foundations of arithmetic, and many others. In view of this, numbers of aspects of axiomatic and semantic theories of truth have been extensively studied from various angles.
The present Warsaw Workshop on Formal Truth Theories will contribute to the efforts having as their purpose a deeper understanding of the concept of truth. The aim of the meeting is to bring together researchers in logic, philosophy and mathematics addressing a wide range of truth-related topics in order to maintain common ground for new research, to discuss latest results and work in progress and to simply foster cooperation of researchers studying the notion of truth from different perspectives. The scope of the workshop topics includes, but is not limited to:
- Model-theoretic versus axiomatic approaches to truth, - Syntactic and model-theoretic (non)conservativity of axiomatic truth theories, - The strength of reflection principles in axiomatic theories of truth, - Properties of satisfaction classes (in particular, weakly inductive satisfaction classes) in models of arithmetic, - Semantic paradoxes and their solutions, - Classical and non-classical logic in truth and satisfaction theories, - The relation between formal truth theories and the philosophical standpoints on truth (such as deflationism, correspondence theory, epistemic conceptions), - The role of the notion of truth ? what philosophical and practical purposes it serves and how these purposes are achieved in various formal truth theories.
We are pleased to announce the following invited speakers: ? Dora Achourioti (University of Amsterdam) ? Ali Enayat (University of Gothenburg) ? Kentaro Fujimoto (University of Bristol) ? Volker Halbach (University of Oxford) ? Graham Leigh (University of Gothenburg) ? Albert Visser (Utrecht University)
CALL FOR PAPERS: The workshop will include a session of contributed talks. Authors of contributed papers are requested to submit abstracts in pdf format of around 1000-1500 words by May 15th 2017, to the email address formaltruththeories at gmail.com. The abstracts should be prepared for blind-review; in particular, the author?s name, institutional affiliation and contact details should be specified separately in the email (not in the abstract). Authors of the accepted papers will have 30 minutes to present their work, including discussion.
IMPORTANT DATES: - Submission deadline: May 15, 2017 - Notification of acceptance: June 15, 2017 - Workshop: September 28-30, 2017
* Contact: formaltruththeories at gmail.com * Website: http://formaltruththeories.pl/ * Organizers: Cezary Cie?li?ski, Micha? Godziszewski, Mateusz ?e?yk, Bartosz Wcis?o
The workshop is a part of the project "Formal truth theories" financed by the National Science Centre, Poland (NCN), grant number 2014/13/B/HS1/02892.
The workshop will include a session of contributed talks. Authors of contributed papers are requested to submit abstracts in pdf format of around 1000-1500 words by May 15th 2017. Authors of the accepted papers will have 30 minutes to present their work, including discussion.
20 - 22 September 2017, Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017), Rome, ItalyDate: 20 - 22 September 2017Location: Rome, ItalyDeadline: Friday 19 May 2017
The aim of GandALF 2017 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.
Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome.For more information, see gandalf2017.istc.cnr.it.
26 - 29 September 2017, 32nd Italian Conference on Computational Logic (CILC 2017), Naples, ItalyDate: 26 - 29 September 2017Location: Naples, ItalyDeadline: Thursday 25 May 2017
CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming). Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases.
The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other conferences or journals, and short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects.
In particular, we invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome.
(New) 26 - 29 September 2017, 18th Italian Conference on Theoretical Computer Science (ICTCS 2017), Naples, ItalyDate: 26 - 29 September 2017Location: Naples, ItalyDeadline: Thursday 25 May 2017
The purpose of the meeting is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, it provides an ideal environment where junior researchers and PhD students can meet senior researchers.
ICTCS 2017 is co-located with the 32nd Italian Conference on Computational Logic CILC 2017 with which it will share part of the program.
Contributions in any area of theoretical computer science are warmly solicited from researchers of all nationalities.
Two types of contributions are solicited: regular papers (full original papers, presenting novel results, not appeared or submitted elsewhere) and communications (suitable for extended abstracts of papers already submitted elsewhere, papers reporting ongoing research, etc.)
24 September 2017, Workshop DaLí – Dynamic Logic: new trends and applicationsDate: Sunday 24 September 2017Location: BrasiliaDeadline: Friday 26 May 2017
Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heteroge- neous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. forum for disseminating and sharing new trends and applications of Dynamic Logic.
Invited Speakers: Alexandru Baltag (UvA), Edward Hermann Haeusler (PUC-Rio, BR).
We invite submissions on the general field of Dynamic Logic, its variants and applications. Authors are invited to submit original papers (un-published and not submitted for publication elsewhere) up to 15 pages in lncs style. Accepted papers will be published in a Springer’s Lecture Notes of Computer Science volume. Submissions with work in progress (abstracts with 2-5 pag) are also welcomed for short presentations. They are subject of a light reviewing and will be available at conference in a informal booklet.
12 - 15 November 2017, Trends in Logic XVII, Lublin, PolandDate: 12 - 15 November 2017Location: Lublin, PolandDeadline: Wednesday 31 May 2017
Trends in Logic is the conference series of the journal 'Studia Logica'. The 17th Trends in Logic international conference will be held at The John Paul II Catholic University of Lublin, Poland, from November 12-November 15, 2017 under the title 'Traditional and new perspectives on deontic logic and agency modeling'.
Invited speakers: Jan Broersen, Fenrong Liu, Paul McNamara, Olivier Roy, Marek Sergot and Jan Woleński
We call for relevant contributions applying the different approaches to: deontic logic, normative aspects of action theory, formal ethics, legal theory, and handling norms in computer systems. A special session on obligations derived from permissions, related to a special issue of Studia Logica, will be a part of the conference.For more information, see trends.philosophy.kul.pl.
CfP special issue of Studia Logica on "From Permissions to Obligations"Deadline: Wednesday 31 May 2017
Even though deontic logic has long been concerned with the relation between obligation and permission, this relation is usually understood the other way around. Obligations imply permissions, or permissions constrain the promulgation of further obligations. However, exercising one's rights, or acting on one's permission can also generate obligations for others. For instance, debtors are obligated to comply when their creditors exercise their right to request payment. Free trade agreements place their signatories under the obligation not to pass protectionist regulations. This aspect has received comparatively little attention. This special issue of Studia Logica aims at filling this gap by focusing on the essential aspects of obligations generated from permissions.
Guest Editors: Piotr Kulicki (KUL, Lublin, Poland) and Olivier Roy (UNI Bayreuth, Germany).
(New) 15 - 17 October 2017, The 3rd Israeli Workshop on Non-Classical Logics and Their Applications (IsraLog 2017), Tel Aviv, IsraelDate: 15 - 17 October 2017Location: Tel Aviv, IsraelDeadline: Thursday 1 June 2017
The aim of this workshop is to promote communication between experts in the theory of non-classical logics, as well as those that are the 'end-users' of non-classical formalisms for various applications. The workshop will feature several invited and contributed talks with surveys, tutorials and new technical results. It will also provide opportunities for all participants to engage in round table discussions of open problems and future research directions.
This edition is a research workshop of The Israel Science Foundation, with special emphasis on paraconsistent logics and their applications.
We invite submissions of extended abstracts (2-4 pages in the LNCS format) presenting original research results or position statements. Submissions of ongoing work are also strongly encouraged.For more information, see is.haifa.ac.il/~annazam/isralog17.
(New) 14 - 18 August 2017, BLAST 2017: Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology, & Point-free Topology, Nashville TN, U.S.A.Date: 14 - 18 August 2017Location: Nashville TN, U.S.A.Deadline: TBA
The BLAST Conference Series circulates among different universities and focuses on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. This year's installment of the BLAST conference series will take place on the campus of Vanderbilt University from August 14 to August 18, 2017. It honors the life and memory of Bjarni Jónsson. The scientific program will include nine invited lectures, three tutorials and contributed talks. It is worth mentioning that there will be a spectacular solar eclipse in Nashville on August 21st, so perhaps some participants may elect to stay on for a few days after the conference.
This is a preliminary announcement. Additional information will be provided in the beginning of April.
(New) 26 - 27 October 2017, International Conference "I Think, Therefore I Teach: Evolutions in Early Modern Education", Leuven, BelgiumDate: 26 - 27 October 2017Location: Leuven, BelgiumDeadline: Thursday 15 June 2017
The aim of the present conference is to enhance our understanding of the way in which evolutions on the European scene were adopted, refuted, or merely ignored in university teaching of the time. Important focal points are the paradigm shifts in the didactical methods and the curricula, e.g. from late scholasticism to humanism, from Spanish scholasticism to Cartesianism, the influence of Jansenism and Port-Royal. Geographically, the conference will focus on European teaching, and chronologically, on the period from 1500-1800, being a wildly interesting but vastly understudied time segment.
Attention will be paid mainly to the teaching of logic and natural philosophy, since both disciplines - more so than e.g. the teaching of civil and canon law, evolved in tandem with the philosophical and scientific developments on the larger scale of European society.
Abstracts of c. 250 words and a brief CV (one page max.) may be sent to steven.coesemans at kuleuven.be for review *until June 15, 2017*. Further questions may be submitted to the same email address. Early career researchers are especially encouraged to submit a proposal for a paper presentation.
6 - 11 August 2017, Workshop on Theorem proving components for Educational software (ThEdu 2017), Gothenburg, SwedenDate: 6 - 11 August 2017Location: Gothenburg, SwedenDeadline: Sunday 18 June 2017
Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. This CADE'26 workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems.
Interested researchers are invited to submit extended abstracts and system descriptions. Both kinds of submissions should be approximately 5 pages in length and present original unpublished work not submitted elsewhere.For more information, see www.uc.pt/en/congressos/thedu/thedu17.
(New) 23 - 24 September 2017, 12th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2017), Brasilia, BrazilDate: 23 - 24 September 2017Location: Brasilia, BrazilDeadline: Wednesday 21 June 2017
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP, that aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.
Contributions should be written in English and submitted in the form of full papers with a maximum of 16 pages including references or short papers with a maximum of 6 pages including references. Additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere.
6 - 8 July 2017, 2017 Annual Conference of the Australasian Association for Logic (AAL 2017), Adelaide, AustraliaDate: 6 - 8 July 2017Location: Adelaide, AustraliaDeadline: Friday 30 June 2017
The conference will be held in conjunction with the annual conference of the Australasian Association of Philosophy, and overlap by one day, Thu 6 July.
Submissions of papers are now called. Papers can be on any topic in logic. Authors should aim for a time of 45 minutes including discussion. The plan is that the more philosophical papers will be on the day of overlap with the AAP, to enable interested parties from the AAP to attend. The more technical papers will be on one of the later days.
(New) 11 - 15 September 2017, 19th OeMG Congress and Annual DMV Meeting, Section Algebra, Logic & Set Theory, Salzburg, AustriaDate: 11 - 15 September 2017Location: Salzburg, AustriaDeadline: Friday 30 June 2017
Every four years the Austrian Mathematical Society organizes a congress with international outreach. It became a nice tradition that the German Mathematical Society co-organizes this event and has its Annual Meeting at the congress. Altogether, there are 17 different sections scheduled for this meeting. The section on Algebra, Logic and Set Theory is chaired by Agata Ciabattoni (Vienna, Austria) and Vasco Brattka (Munich, Germany).
The invited speakers of this section are Ekaterina Fokina (Vienna, Austria), George Metcalfe (Berne, Switzerland) and Arno Pauly (Brussels, Belgium). At the meeting there will also be a minisymposium on Applied Proof Theory and the Computational Content of Mathematics organized by Thomas Powell (Darmstadt) and Sam Sanders (Munich).
Participants can submit proposals for contributed talks to each section.
The section organizers will decide on these proposals and suggest a program to the organizers of the conference.For more information, see oemg-dmv-2017.sbg.ac.at.
CfP special issue of "Philosophies" on logic, inference, probability, and paradoxDeadline: Thursday 20 July 2017
Reasoning with uncertain knowledge is a growing area of interest, involving several tendencies, such as reasoning with non-standard theories of probability (e.g., theories of probability based on non-classical logics) and combining argumentation systems with probabilities or probabilistic semantics. All such tendencies and areas of investigation are naturally generalized to possibility systems and other credal calculi. This poses new and intriguing questions on the philosophy of probability and credal calculi in general, amplifying the discussions around the correct formal theories of probability and on the interpretations of probability, among the classical, logical, frequentist, propensity, and subjectivist (and possibly others). Dilemmas and paradoxes in probabilities and credal calculi are also a relevant area of research.
This Special Issue intends to contribute to the state-of-the-art of such research topics by gathering together the contribution of authors in interconnected areas including logical, mathematical and conceptual aspects. Research articles, review articles as well as communications are invited. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are refereed through a peer-review process. Guest Editors: Julio Stern Walter Carnielli Juliana Bueno-Soler.
All papers are invited in the following (non-exclusive) topics:
-interpretations of probability, possibility and other credal calculi
-philosophy of probability, possibility and other credal calculi
-probabilistic and possibilistic argumentation and inference
-probability, possibility and uncertain reasoning
-paradoxes in probability, possibility and other credal calculiFor more information, see www.mdpi.com/journal/philosophies/special_issues/paradox or contact walter.carnielli at cle.unicamp.br.
26 - 30 March 2017, 2nd Conference on Artificial Intelligence and Theorem Proving AITP 2017 (AITP 2017), Obergurgl, AustriaDate: 26 - 30 March 2017Location: Obergurgl, Austria
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.For more information, see aitp-conference.org/2017.
27 - 31 March 2017, Phylogenetic Methods in Historical Linguistics, Tuebingen, GermanyDate: 27 - 31 March 2017Location: Tuebingen, Germany
Given the success of the conference "Capturing Phylogenetic Algorithms for Linguistics " in Leiden in October 2015 a follow up event will be held in Tuebingen on March 27-31, 2017. It will be hosted by the Institute of Linguistics of Tuebingen University. The first two days of the conference will be directed especially towards PhD students.For more information, see www.sfs.uni-tuebingen.de/de/as/forschung/phylogenetic-methods-in-historical-linguistics.html or contact workshop.phyloling at semsprach.uni-tuebingen.de.
29 - 31 March 2017, The 8th Workshop on Combining Logic and Probability (PROGIC 2017), Munich, GermanyDate: 29 - 31 March 2017Location: Munich, Germany
Progic 2017 is the 8th Workshop in the series of workshops focusing on the combination of logic and probability. Progic 2017 will focus on 'severe uncertainity'.For more information, see www.progic2017.philosophie.uni-muenchen.de/index.html.
30 - 31 March 2017, 4th (In)Coherence of discourse workshop , Nancy, FranceDate: 30 - 31 March 2017Location: Nancy, France
The objective of the workshop is to discuss the latest advances in the modelling of discourses, in particular the kind held with pathological patients (e.g. schizophrenics). The adopted modelling paradigm is that of formal semantics, which falls within the scope of both linguistics and logic while also making ties to the philosophy of language.
Like the previous (In)Coherence of discourse workshops, the fourth edition is organised by the SLAM (Schizophrenia and Language: Analysis and Modelling) project. The SLAM project aims to systematize the study of pathological conversations as part of an interdisciplinary approach combining Psychology, Linguistics, Computer Science and Philosophy. It focuses particularly on conversations involving people with psychiatric disorders (schizophrenia, bipolar disorder).For more information, see discours.loria.fr.
1 - 2 April 2017, MAMLS at VCU: Mid-Atlantic Mathematical Logic Seminar, Richmond VA, U.S.A.Date: 1 - 2 April 2017Location: Richmond VA, U.S.A.
MAMLS at VCU will be a gathering of set theorists working on large cardinals, inner models, forcing and relative consistency results, sponsored by the NSF and the Department of Mathematics and Applied Mathematics at Virginia Commonwealth University.
Speakers: Omer Ben-Neria, James Cummings, Monroe Eskew, Victoria Gitman, Joel David Hamkins, John Krueger, Dima Sinapova, Hugh Woodin.For more information, see www.people.vcu.edu/~bmcody/mamls2017.
3 April 2017, Cognitive Modelling and Computational Linguistics (CMCL 2017), Valencia (Spain)Date: Monday 3 April 2017Location: Valencia (Spain)
This workshop provides a venue for work in computational psycholinguistics: the computational and mathematical modeling of linguistic generalization, development, and processing. The workshop invites a broad spectrum of work in the cognitive science of language, at all levels of analysis from sounds to discourse and on both learning and processing.For more information, see cmcl2017.osu.edu.
4 April 2017, 2nd Workshop on Coreference Resolution Beyond OntoNotes (CORBON 2017), Valencia, SpainDate: Tuesday 4 April 2017Location: Valencia, Spain
Previous shared tasks on coreference resolution have largely focused on entity coreference. But this constitutes only one of the many kinds of coreference relations that were discussed in theoretical and computational linguistics in the past few decades. In fact, by focusing on entity coreference resolution, NLP researchers have only scratched the surface of the wealth of interesting problems in coreference resolution. This workshop seeks to encourage work on under-investigated coreference resolution tasks (as well as coreference resolution in under-investigated languages) and provide a forum for coreference researchers to discuss and present such work.For more information, see corbon.nlp.ipipan.waw.pl.
6 April 2017, Workshop on the foundations of mathematics and physics, in occasion of Riccardo Pinosio's PhD defenseDate & Time: Thursday 6 April 2017, 14:00-18:00Location: C1.13 (Belle van Zuylenzaal), University Library, Singel 425, AmsterdamTarget audience: Everyone interested in the foundations of mathematics, the foundations of physics, and how the two can interact
This workshop is a chance to discuss the problem of the continuum (broadly construed) in the foundations of mathematics and physics, and how logical tools from the foundations of mathematics can be applied to illuminate issues in contemporary physics. This workshop is associated to Riccardo Pinosio's PhD defense.
8 - 9 April 2017, Group Knowledge & Mathematical Collaboration, Oxford, EnglandDate: 8 - 9 April 2017Location: Oxford, England
In this workshop we aim to explore the social dimensions of mathematics, connecting new work in social epistemology, mathematical practice, and sociology, in order to gain a better understanding of how collaboration in mathematics produces knowledge, proofs and understanding.
Speakers include Patrick Allo (Oxford), Line E. Andersen (Aarhus), Catarina Dutilh Novaes (Groningen) and S. Orestis Palermos (Edinburgh).
10 - 12 April 2017, Workshop Algebra and Coalgebra meet Proof Theory (ALCOP VIII)Date & Time: 10 - 12 April 2017, 09:00-17:00Location: University of Strathclyde, Glasgow
The workshop Algebra and Coalgebra meet Proof Theory (ALCOP) brings together experts in algebraic logic, coalgebraic logic and proof theory to share new results and to strengthen the relationships between these fields.
12 April 2017, BSC Women Lovelace Colloquium 2017, Aberystwyth, WalesDate: Wednesday 12 April 2017Location: Aberystwyth, Wales
The BCSWomen Lovelace Colloquium is an annual one day conference for women students of Computing and related subjects. The event started in 2008, and moves around the country - in 2017 it will be at Aberystwyth Universityon April 12th.
The aims of this event are:
For more information, see www.aber.ac.uk/en/cs/engagement/lovelace-colloquium or contact bcswomenlovelace at gmail.com.
- To provide a forum for undergraduate women and masters students to share their ideas and network
- To provide a stimulating series of talks from women in computing, both from academia and industry
- To provide both formal (talks) and informal (networking) advice to undergraduate women about careers in computing from a female perspective
12 - 13 April 2017, Workshop on Group decision-making in scientific expert committees, Tilburg, The NetherlandsDate: 12 - 13 April 2017Location: Tilburg, The Netherlands
Scientists are regularly called upon to serve as experts advisors for various institutions, be it on the authorization of a new drug, the effects of climate change, or a monetary policy. Typically, expert advisers are constituted in panels, who are to utter their advice collectively. This raises a variety of questions about the decision-making process: How should the group best take advantage of the individual strengths and expertise? How to wager individual opinions and how to ideally deal with peer disagreement? One may want to devise special deliberation procedures to avoid groupthink, and to install voting rules tailored to the situation at hand.
This workshop aims at gathering researchers who tackle these normative questions, from a variety of perspectives. We aim to bring together approaches from fields such as philosophy of science, social epistemology, political philosophy, political science, judgment aggregation, social choice theory, or agent-based modeling that provide inside on these problems. We are particularly looking for papers who are concerned with the specificity of both group decision-making and scientific expertise (compared to, say, an individual scientist giving advice, or a group of friends choosing a restaurant). Submissions may cover abstract work as well as case studies, and may involve formal tools.For more information, see expertgroups17.wordpress.com.
(New) 12 April 2017, ILLC Current Affairs MeetingDate & Time: Wednesday 12 April 2017, 16:00-17:30Location: ILLC Common room (F1.21), Science Park 107, Amsterdam
As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.For more information, contact illc at uva.nl.
14 - 15 April 2017, Logic and Literary Form, Berkeley CA, U.S.A.Date: 14 - 15 April 2017Location: Berkeley CA, U.S.A.
This conference promises to bridge the gap between literary formalism and formal logic by investigating conceptual and historical links between them in a range of subfields and periods. We will identify discrete affinities and analogical resonances among different areas of logic and literature. We will also consider what the cross-fertilization of ideas and practices has meant for logical and literary fields in the past, and might mean for these disciplines in the present.
We will convene amid an unprecedented wave of scholarship addressing historical and theoretical commonalities in literature and logic. Our conference undertakes an interdisciplinary effort to extend and enrich this current surge in research connecting formal logic and literary formalism.For more information, see logicandliteraryform.wordpress.com.
18 - 21 April 2017, CAOS 2017: Cognition & Ontologies, Bath, EnglandDate: 18 - 21 April 2017Location: Bath, England
CAOS is a workshop devoted to the relationship between cognition and ontologies with the purpose to model, simulate and represent cognitive phenomena for artificial intelligence.
CAOS addresses the difficult and topical question how key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology and reasoning, can be formally and ontologically understood, analysed and represented. It moreover seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems in general.For more information, see caos.inf.unibz.it.
19 - 22 April 2017, Scientiae 2017: disciplines of knowing in the early modern world, Padua, ItalyDate: 19 - 22 April 2017Location: Padua, Italy
The major premise of the Scientiae conference series is that knowledge in the early modern world (roughly 1400-1800) was inherently interdisciplinary, involving complex mixtures of theories, practices and objects, which had yet to be separated into their modern 'scientific' configurations. Although centred on attempts to understand and control the natural world, Scientiae addresses natural philosophy, natural history, and the scientiae mixtae within a wide range of related fields, including but not restricted to Biblical exegesis, medicine, artisan practice and theory, logic, humanism, alchemy, magic, witchcraft, demonology, divinatory practices, astronomy, astrology, music, antiquarianism, experimentation and commerce.
This year attention is especially given to the history of early modern knowledge and erudition, the history of universities, particularly though not exclusively the history of the university of Padua, as well as the history of the book and the history of political thought. Our Keynote Speakers will be Paula Findlen (Stanford), Claire Preston (QM London), and Antonio Clericuzio (Roma Tre).
19 - 21 April 2017, Computational Intelligence in Music, Sound, Art and Design (EvoMusArt 2017), Amsterdam, The NetherlandsDate: 19 - 21 April 2017Location: Amsterdam, The Netherlands
The 6th International Conference on Computational Intelligence in Music, Sound, Art and Design (EvoMusArt) will be held in Amsterdam in 19-21 April 2017, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.For more information, see www.evostar.org/2017/cfp_evomusart.php.
20-22 April 2017, 14th Annual Conference on Theory and Applications of Models of Computation (TAMC 2017), Bern, SwitzerlandDate: 20-22 April 2017Location: Bern, Switzerland
TAMC 2017 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. There are two special sessions planned: 'Logic in computer science' and 'New models of computation'.
For more information, see http://www.tamc2017.unibe.ch/
22 - 23 April 2017, 1st joint international workshop on Developments in Implicit Computational complExity (DICE) and FOundational and Practical Aspects of Resource Analysis (FOPARA), Uppsala, SwedenDate: 22 - 23 April 2017Location: Uppsala, Sweden
The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace computation). It aims at studying the computational complexity of programs without referring to external measuring conditions or a particular machine model, but only by considering language restrictions or logical/computational principles entailing complexity properties.
The FOPARA workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (e.g. time, space, energy) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice.
Given the complementarity and the synergy between these two communities, and following the successful experience of co-location of DICE-FOPARA 2015 in London at ETAPS 2015, we will hold the 8th Workshop on DICE and the 5th Workshop on FOPARA together at ETAPS 2017..For more information, see cbr.uibk.ac.at/events/dice-fopara.
27 - 29 April 2017, Workshop "Negation & Negativity in Natural Language", Bochum, GermanyDate: 27 - 29 April 2017Location: Bochum, Germany
Negation and negativity are key features of human languages. While negation is a phenomenon of semantic opposition, negativity adresses a broader spectrum of phenomena. The investigation of the form and meaning of negation and negativity in natural language is at the heart of many debates in philosophy, linguistics, logic and psychology. The aim of this interdisciplinary workshop is to bring together the various perspectives of negation and negativity and thereby force the interdisciplinary research on negation and negativity in natural language.
29 April 2017, Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, SwedenDate: Saturday 29 April 2017Location: Uppsala, Sweden
To show that a developed approach for automated reasoning actually scales to real systems, large case studies are essential. The development of formal models of real systems usually requires translating informal descriptions into a chosen specification formalism, and usually takes a large amount of time, often months or years, without even starting a formal analysis. When publishing the results on a formal analysis in a scientific paper, details of the model have to be skipped due to lack of space, and often the lessons learnt from modelling are not discussed since they are not the main focus of the paper. The workshop aims at discussing exactly these unmentioned lessons.
The workshop emphasises modelling over verification. In particular, we invite papers that present full Models of Real Systems, which may lay the basis for future formal analysis. The workshop will bring together researchers from different communities that all aim at verifying real systems and are developing formal models for such systems. Areas where large models often occur are within networks, (trustworthy) systems and software verification (from byte code up to programming- and specification languages). An aim of the workshop is to present different modelling approaches and discuss pros and cons for each of them.
29 April 2017, 2nd International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST 2017), Uppsala, SwedenDate: Saturday 29 April 2017Location: Uppsala, Sweden
Today's IT systems, and the interactions between them, become increasingly complex. Power grid blackouts, airplane crashes, failures of medical devices and malfunctioning automotive systems are just a few examples of incidents that affect system safety. Determining the root cause(s) of a system-level failure and elucidating the exact scenario that led to the failure is today a complex and tedious task that requires significant expertise. Formal approaches for automated causality analysis, fault localization, explanation of events, accountability and blaming have been proposed independently by several communities - in particular, AI, concurrency, model-based diagnosis, software engineering, security engineering and formal methods. Work on these topics has significantly gained speed during the last years. The goals of this workshop are to bring together and foster exchange between researchers from the different communities, and to present and discuss recent advances and new ideas in the field.
CREST 2017 is a satellite event of ETAPS 2017.
2 - 4 May 2017, PhDs in Logic IX, Bochum, GermanyDate: 2 - 4 May 2017Location: Bochum, Germany
PhDs in Logic is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20 minutes) presentations by PhD students, master students and first-year postdocs on their research. We are happy to announce that the ninth edition of PhDs in Logic will take place at the Ruhr University Bochum, Germany, during 2nd - 4th May 2017.
Confirmed tutorial speakers are: Petr Cintula (Czech Academy of Sciences), María Manzano (University of Salamanca), João Marcos (Federal University of Rio Grande do Norte), Gabriella Pigozzi (University Paris-Dauphine), Christian Straßer (Ruhr-University Bochum) and Heinrich Wansing (Ruhr-University Bochum).For more information, see www.ruhr-uni-bochum.de/phdsinlogicix.
5 - 6 May 2017, Logic at UC BerkeleyDate: 5 - 6 May 2017
A two-day conference in mathematical logic and related areas organized by The Group in Logic and the Methodology of Science at UC Berkeley (logic.berkeley.edu <http://logic.berkeley.edu/>). The conference is partly occasioned by the fact that the Group in Logic turns sixty next year.For more information, see logic.berkeley.edu/events.html.
5 - 13 May 2017, School on Graph Theory, Algorithms and Applications, Erice, ItalyDate: 5 - 13 May 2017Location: Erice, Italy
Graph problems have applications in many fields and typically require multidisciplinary approaches. The fourth edition of this school aims to bring together leading scientists, junior researchers and PhD students from several areas in order to discuss, possibly in a systematic and organic way, different approaches for solving graph problems.
The school is organized in plenary lectures held by internationally renowned speakers.The intended audience consists of PhD students and junior researchers interested in graph problems, coming from several areas including (but not limited to) the design, analysis and experimentation of algorithms, operations research, optimization, and discrete mathematics.For more information, see www.graphalgorithms.it/erice2017.
5 - 6 May 2017, Logic in Bochum III, Bochum, GermanyDate: 5 - 6 May 2017Location: Bochum, Germany
The annual workshop Logic in Bochum gathers logicians from different domains for a two-day workshop at Ruhr University Bochum. This year it will take place on the 5th and 6th of May. The workshop traditionally consists of two parts: the first part (day 1), devoted to a specific area of logic and the second part (day 2) devoted to a variety of topics. Invited speakers include: Joao Marcos, Gabriella Pigozzi, Niko Strobach and Allard Tamminga.For more information, see homepage.ruhr-uni-bochum.de/defeasible-reasoning/Logic-In-Bochum-III.html.
8 - 12 May 2017, The 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21), Maun, BotswanaDate: 8 - 12 May 2017Location: Maun, Botswana
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 21st LPAR will be held will be held in Maun, Botswana, at Cresta Riley's Hotel, 7-12th May 2017.For more information, see www.LPAR-21.info.
8 - 12 May 2017, Brazilian Logic Meeting (XVIII EBL), Pirenopolis, BrazilDate: 8 - 12 May 2017Location: Pirenopolis, Brazil
The Brazilian Logic Meeting (EBL) is a traditional event of the Brazilian Logic Society (SBL). They have been occurring since 1979. It congregates logicians of different fields and the meeting is an important moment for the Brazilian and South-American community to join together and engage in a discussion about the state-of-art of their subject. The areas of Logic covered spread over Foundations and Philosophy of Science, Mathematics, Computer Science, Informatics, Linguistics, and Artificial Intelligence.
12-14 May 2017, The Fifth International Conference on Philosophy of Language and Linguistics (PhiLang 2017), Lodz, PolandDate: 12-14 May 2017Location: Lodz, Poland
As in previous years, the principal aim of our Conference is to bring together philosophers, linguists and logicians. PhiLang2017 will be concerned with "objects of inquiry" (or on "what there is") in language, philosophy, logic, argumentation theory, and literature.
We also invite contributions investigating the general and more specific relations between philosophy of language, philosophy of literature, and philosophy of mind.
For more information, see http://filologia.uni.lodz.pl/philang/
17 - 19 May 2017, Masterclass in the Philosophy of Mathematical PracticeSpeaker: José FerreirósDate: 17 - 19 May 2017Location: Brussels, Belgium
The Centre for Logic and Philosophy of Science (CLWF) of the Vrije Universiteit Brussel (VUB) will host a Masterclass in the Philosophy of Mathematical Practice with Prof. Dr. José Ferreirós (Universidad de Sevilla, Spain) on May, 17-19. The Masterclass will be composed of three lectures based on Prof. Ferreirós’ recent book entitled Mathematical Knowledge and the Interplay of Practices.
The tentative titles for the three lectures are as follows:
Lecture 1 (Wednesday, 17/5): On Truth and History in Mathematics
Lecture 2 (Thursday, 18/5): An Alternative Look at Representations in Set Theory
Lecture 3 (Friday, 19/5): Rethinking Structuralism: a Conceptualist Approach
We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, but also to discuss current work by early career researchers (PhD students and Postdocs). The lectures by Prof. Ferreirós will take place in the mornings, and will be followed by afternoon sessions in which early career researchers in the Philosophy of Mathematical Practice are invited to present their work. The goal is to offer early career researchers an opportunity to discuss their ongoing work in a helpful and constructive environment.
18-19 May 2017, 6th Edition of JéTou (Journées D'Etudes Toulousaines) International Linguistic Conference for Young Researchers (JeTou 2017): Interfaces in Linguistics, Toulouse, FranceDate: 18-19 May 2017Location: Toulouse, France
JéTou (Journées d'études Toulousaines) is an international conference for young researchers bringing together Master's and PhD students, as well as young researchers having defended their thesis less than 3 years ago, working in different areas of Linguistics. The 6th edition will be devoted to the topic "Interfaces in Linguistics".
The main focus of the conference will be on the works at the interface of 1) linguistics and computer science, 2) linguistics, psychology, and neuroscience, and 3) linguistics, language acquisition, language learning and language teaching. However, any work that is interdisciplinary in nature will be given full consideration. Proposals combining theoretical considerations with work on linguistic data are particularly encouraged.
18 - 19 May 2017, Workshop on Ampliative Reasoning in the Sciences, Gent, BelgiumDate: 18 - 19 May 2017Location: Gent, Belgium
Charles Peirce introduced the term 'ampliative' for reasoning in which the conclusion of an argument goes beyond that what is already contained in its premises. The workshop is devoted to the philosophical analysis of different forms of ampliative reasoning as they occur in scientific practice, such as abduction, inductive generalisation, reasoning by analogy and causal reasoning. We aim at a mix of contributions from formal, methodological and historical perspectives.
Keynote speakers: Chiara Ambrosio, Ulrike Hahn and Bert Leuridan.
19 - 20 May 2017, The sixth Automated Formal Methods workshop (AFM 2017), Menlo Park CA, U.S.A.Date: 19 - 20 May 2017Location: Menlo Park CA, U.S.A.
AFM is a workshop centered around the use and integration of highly automated formal verification tools for specification, interactive theorem proving, satisfiability (SAT) and satisfiability modulo theories (SMT), model checking, program verification, static analysis, runtime verification, code generation, and testing, as well as interfaces, documentation, and education.
It consists of both invited talks and contributed papers on May 19, and tutorials covering recent progress in tools such as PVS, SAL/SALLY/HybridSAL, Yices, SeaHorn, Radler, and Bixie. AFM functions both as a user's meeting for SRI's tools such as PVS, SAL, and Yices, and as a workshop for those interested in state of the art automation for formal methods generally.For more information, see fm.csl.sri.com/AFM17.
21 - 25 May 2017, The 13th International Conference on Autonomic and Autonomous Systems (ICAS 2017), Barcelona, SpainDate: 21 - 25 May 2017Location: Barcelona, Spain
The ICAS 2017 (International Conference on Autonomic and Autonomous Systems) is a multi-track event covering related topics on theory and practice on systems automation, autonomous systems and autonomic computing.
Special tracks include FUCOMA (Fuzzy Cognitive Maps), IoIT (Internet of Intelligent and Autonomic Things) and DEMAS (Deliberative Multi-Agent Systems).For more information, see www.iaria.org/conferences2017/ICAS17.html.
22 - 24 May 2017, International Symposiumon Multiple-valued logic (ISMVL 2017), Novi Sad, SerbiaDate: 22 - 24 May 2017Location: Novi Sad, Serbia
The symposium will bring together researchers from computer science, engineering, mathematics, and further disciplines to discuss new developments and directions for future research in the area of multi-valued logic and related fields. The symposium committee is planning to hold a special session tribute to Ivan Stojmenovic in the symposium. Invited Speakers: Dmitriy Zhuk (Moscow State University), Branislav Kisacanin (Nvidia Corporation), Tsutomu Sasao (Meiji University).For more information, see www.mvl.jpn.org/ISMVL2017.
22 - 24 May 2017, Zalta's Lectures: Axiomatic Theory of Abstract ObjectsDate: 22 - 24 May 2017Location: Room F1.15, ILLC, Science Park 107, Amsterdam
In this lecture series, we present a body of theorems formally derivable from the axioms of “object theory”. The axioms are motivated and presented in the first lecture, and once they are in place, we define a variety of abstract objects and systematize them by deriving the their governing principles as theorems. We identify and derive principles governing: truth-values, logical classes, situations, possible worlds, impossible worlds, concepts (including complete individual concepts), Forms, fictions, Fregean senses, Fregean (natural) numbers, and theoretical mathematical individuals and relations generally.
The objectives of the course are to familiarize participants with the theory of objects, developed and defended by Prof. Ed Zalta, and to more generally discuss the topics with which it deals, such as: logical classes, situations, possible and impossible worlds, concepts, Forms, fictions, Fregean senses, Fregean numbers, and mathematical individuals and relations.For more information, see projects.illc.uva.nl/conceivability/Events/event/37/Zaltas-Lectures-Axiomatic-Theory-of-Abstract-Objects.
23 - 25 May 2017, Proofs of Propositions in 14th Century Logic, St Andrews, ScotlandDate: 23 - 25 May 2017Location: St Andrews, Scotland
Paul Spade famously complained in 2000 that four key components of late medieval logic were mysterious to modern scholars. Since then, much has been done to clarify two of them (obligations and supposition), but the other two (exposition and proofs of propositions) remain just as mysterious. The aim of this workshop is to reach a clearer understanding of the genre of 'proofs of propositions' (probationes propositionum) that came to characterize British logic in the second half of the 14th century. We would also welcome contributions that shed some light on the earlier theories of 'exposition' that were subsumed into this new genre.
Our invited speakers are Jennifer Ashworth, Harald Berger, Egbert Bos, Martin Dekarli, Ota PavlÃcek and Joke Spruyt.
26 - 28 May 2017, Formal Epistemology Workshop (FEW) 2017Date: 26 - 28 May 2017Location: Seattle (USA)
The Formal Epistemology Workshop (FEW) is an interdisciplinary conference that showcases current research in epistemology, decision theory, modal logic, foundations of statistics, philosophy of science, and philosophy of language, among other areas.
Keynote speakers: Maria Lasonen-Aarnio (University of Michigan), Johan van Benthem (Amsterdam, Stanford).
29 May - 4 June 2017, 1st School on Foundations of Programming and Software Systems, Braga, PortugalDate: 29 May - 4 June 2017Location: Braga, Portugal
It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portugal, May 29th - June 4th 2017.
Probabilistic programming languages are used for modelling and analysis purposes across multiple areas of computer science, including machine learning, security, and quantitative biology. In particular, they provide a rigorous foundation for machine learning where they are used to describe probabilistic models and to perform inference in presence of uncertain information. Probabilistic programs are also used in cryptography and in privacy for modelling and quantifying security. The goal of the school is to introduce attendants to theoretical and practical aspects of programming languages, and will propose courses that cover the following topics: semantics, analysis, verification, applications to machine learning, privacy, and security. The school will have lectures by Andy Gordon, Catuscia Palamidessi, Christel Baier, Dexter Kozen, Frank Wood, Hongseok Yang, Javier Esparza, Michael Carbin, Peter Selinger, Prakash Panangaden, Sriram Sankaranarayanan, and Vitaly Shmatikov.For more information, see probprogschool2017.di.uminho.pt.
31 May - 2 June 2017, Reasoning and Argumentation in Science, Munich, GermanyDate: 31 May - 2 June 2017Location: Munich, Germany
Progress in science is not only a matter of new models and theories, but also of new ways of reasoning and arguing for specific conclusions. In this conference, we focus on these epistemological features of science and consider the following questions: Which new reasoning and argumentation schemes do contemporary scientists use? How are these schemes justified, and how can they be assessed? Is it possible to come up with a unified normative theory of reasoning and argumentation in science? The conference focuses on reasoning and argumentation in the sciences in general, but there will also be a special focus on reasoning in specific natural and social sciences.
Keynote Speakers: Catarina Dutilh Noaves, Christian List and Wayne Myrvold.For more information, see www.en.cas.uni-muenchen.de/events/conferences/ws_eva_krzyzanowska_hartmann.
5 - 9 June 2017, UCNC 2017: Unconventional Computation and Natural Computation, Fayetteville AR, U.S.A.Date: 5 - 9 June 2017Location: Fayetteville AR, U.S.A.
The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 16th UCNC will take place in Fayetteville, Arkansas, USA, a city nestled in the Ozark Mountains and home to the University of Arkansas.
The conference includes talks by invited speakers Erik Demaine, Masayuki Endo and Jose Felix Costa, tutorials by Jerome Durand-Lose and Makato Naruse, and workshops on 'Membranes/Systems Biology', 'Cortical Computation' and 'Physics and Computation'.
5 - 7 June 2017, Workshop on topics at the intersection between the philosophy of language and linguistics, Zuerich, SwitzerlandDate: 5 - 7 June 2017Location: Zuerich, Switzerland
The Institute of Philosophy at the University of Zurich is organizing a workshop on topics at the intersection between the philosophy of language and linguistics. Invited speakers will be Angelika Kratzer (Amherst), John MacFarlane (Berkeley) and Maribel Romero (Konstanz).For more information, see www.philosophie.uzh.ch/de/seminar/lehrstuehle/theoretische2/langandling.html or contact zurichphilosophyconference at gmail.com.
7 - 9 June 2017, 23rd International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2017), Milano, ItalyDate: 7 - 9 June 2017Location: Milano, Italy
The aim of the AUTOMATA series is:
- To establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS).
- To provide a platform for presenting and discussing new ideas and results.
- To support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned.
- To identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.For more information, see automata17.disco.unimib.it.
8 - 12 June 2017, 12th International Computer Science Symposium in Russia (CSR-2017), Kazan, RussiaDate: 8 - 12 June 2017Location: Kazan, Russia
CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. The topics covered vary from year to year, but in general try to cover as much of the contemporary computer science as possible.
12 - 16 June 2017, 16th International Conference on Artificial Intelligence and Law (ICAIL 2017), London, EnglandDate: 12 - 16 June 2017Location: London, England
The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration.
The conference will feature a main track for technical papers, a demonstration track, workshops, tutorials, a doctoral consortium and best paper prizes.
12 - 16 June 2017, Computability in Europe: Unveiling Dynamics and Complexity (CiE 2017), Turku, FinlandDate: 12 - 16 June 2017Location: Turku, Finland
CiE 2017 is the thirteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
Special sessions include Algorithmics for biology, Combinatorics and algorithmics on words, Computability in Analysis, Algebra, and Geometry, Cryptography and information theory, Formal languages and automata theory, and History and philosophy of computing.
14 June 2017, Workshop "Progress in Science and Society", Hannover, GermanyDate: Wednesday 14 June 2017Location: Hannover, Germany
In a one day workshop at Leibniz Universität Hannover, we will discuss the merits and challenges of the notion of progress. A special emphasis will be put on progress in science and ethics as well as the work of Philip Kitcher regarding these fields. However, progress in further areas (economy, law, politics) as well as contributions unrelated to Kitcher are also welcome. Philip Kitcher will be present at the workshop and give a keynote lecture.For more information, see www.philos.uni-hannover.de/fileadmin/institut_fuer_philosophie/Aushaenge/cfp_progress_kitcher.pdf.
15 - 16 June 2017, 17th Annual Philosophy of Logic, Mathematics, and Physics Graduate Conference, London ON, CanadaDate: 15 - 16 June 2017Location: London ON, Canada
The 17th annual Philosophy of Logic, Mathematics, and Physics Graduate Conference will take place on Thursday-Friday, June 15-16th, 2017, at the University of Western Ontario in London, Ontario, Canada. We are pleased to announce that Aristidis Arageorgis (National Technical University of Athen) will be giving the keynote address.
17 June 2017, "Magic in Science": Grzegorz Rozenberg's 75th Birthday, Turku, FinlandDate: Saturday 17 June 2017Location: Turku, Finland
The symposium, co-located with CiE-2017, celebrates the 75th birthday of Prof. Grzegorz Rozenberg. Grzegorz Rozenberg is is often called the guru of Natural Computing, having started promoting it as a coherent scientific discipline already from the 1970s. He played a central role in the development of theoretical computer science in Europe. His research is very broad in scope and it is a prime example of interdisciplinary research.
The talks given at the symposium will have an overview character and together they will cover a broad range of topics reflecting Grzegorz Rozenberg's broad research interests. Among the topics covered are: P vs NP, stochastic search, natural computing, biologically-inspired models of computation, reaction systems, chemical reaction networks, membrane computing, graph isomorphism, graph polynomials, matroids, synthesis of concurrent systems, Petri nets, formal language theory and combinatorics on words, DNA rearrangements in ciliates, patterns in genomes, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction.
18 June 2017, The 2nd Logic Mentoring Workshop (LMW)Date & Time: Sunday 18 June 2017, 23:00Location: Reykjavik, IcelandTarget audience: Bachelor, Master and PhD studentsCosts: Workshop fee, but scholarships are available (also for travel and accommodation expenses)
The 2nd Logic Mentoring Workshop (LMW) will focus on the technical and practical aspects of a career in logic research, including talks and panel sessions from leaders in the subject. LMW '17 builds on the success of the first edition which took place last year, also colocated with LICS.
LMW invites applications from students (undergraduate, master's and PhD), in all areas of logic for scholarships to attend the Logic in Computer Science (LICS) conference this year. There are scholarships available to cover the workshop and conference fees, and possibly travel and accommodation expenses. The deadline for applications is 31 March 2017.
18 - 22 June 2017, 2nd World Congress on Logic and Religion, Warsaw, PolandDate: 18 - 22 June 2017Location: Warsaw, Poland
After a successful first edition in Brazil (April 1-5, 2015) we are glad to announce the 2nd World Congress on Logic and Religion University of Warsaw, June 18-22, 2017. A wide range of issues concerning the relation between logic and religion, with regional complexities and historical layers of religions, are expected to be discussed.
Confirmed invited speakers: Dov Gabbay (London/Tel Aviv) Michael Heller (recipient of Templeton Prize, Kraków) Laurent Lafforgue (Fields medal, Bures-sur-Yvette) Yuhan Sohrab-Dinshaw Vevaina (Toronto) Jan Wolenski (Kraków)For more information, see logicandreligion.uw.edu.pl.
19 June 2017, Workshop "Women in Logic" (WiL 2017), Reykjavik, IcelandDate: Monday 19 June 2017Location: Reykjavik, Iceland
Women are chronically underrepresented in the LICS community; consequently they sometimes feel both conspicuous and isolated, and hence there is a risk that the under-representation is self-perpetuating. We are holding the first Women in Logic (WiL) workshop as a LICS associated workshop this year. The workshop will provide an opportunity for women in the field to increase awareness of one another and one another's work, to combat the feeling of isolation. It will also provide an environment where women can present to an audience comprised of mostly women, replicating the experience that most men have at most LICS meetings, and lowering the stress of the occasion; we hope that this will be particularly attractive to early-career women.
Invited Speakers: Claudia Nalon (University of Brasilia, Brasil) and Catuscia Palamidessi (INRIA Saclay and LIX, France).For more information, see sites.google.com/site/firstwomeninlogicworkshop.
19 - 23 June 2017, LOGICA 2017, Hejnice, Czech RepublicDate: 19 - 23 June 2017Location: Hejnice, Czech Republic
LOGICA 2017 is the 31st in the series of annual international symposia devoted to logic, to be held at Hejnice, 19 - 23 June 2017. Invited speakers are Hartry Field, Bob Hale, Shahid Rahman, Sonja Smets.
19 - 23 June 2017, Workshop "Context in the explanation and evaluation of human reasoning", Paris, FranceDate: 19 - 23 June 2017Location: Paris, France
It is well known that human beings do not always reason correctly. There are various kinds of fallacies and biases with which we meet in ordinary life, and reasoning problems to which most people give wrong answers in experimental situations. While context has by now been recognized as playing a fundamental role in the philosophy of language as well as in other philosophical fields, its role in the debate about human rationality has not yet been explored systematically. The workshop intends to examine what is the role of context in various approaches to the explanation and the evaluation of reasoning, but also, more generally and ambitiously, whether and how the use of context in the explanation and the evaluation of reasoning can be made more systematic and effective (even to the aim of solving, or dissolving, the traditional puzzles of the rationality debate).
This workshop is part of the 10th International and Interdisciplinary Conference on Modeling and Using Context (Context-17). Workshop organizers: Marina Sbisà and Paolo Labinaz (University of Trieste).For more information, see www2.units.it/ciml/eventi.
20 - 30 June 2017, The Eighth International Conference on Topology, Algebra and Categories in Logic (TACL 2017), Olomouc / Prague (Czech Republic)Date: 20 - 30 June 2017Location: Olomouc / Prague (Czech Republic)
Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).
Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.For more information, see www.cs.cas.cz/tacl2017.
20 - 23 June 2017, Triennial International Conference of the Italian Society for Logic and Philosophy of Science (SILFS 2017), Bologna, ItalyDate: 20 - 23 June 2017Location: Bologna, Italy
SILFS 2017, the triennial international conference of the Italian Society for Logic and the Philosophy of Science, will be held at the Department of Philosophy and Communication of the University of Bologna, 20-23 June 2017.
Confirmed invited speakers: Giovanna D’Agostino (Università di Udine), Francesco Guala (University of Milan), Eleanor Knox (King’s College London), Sabina Leonelli (University of Exeter), Jan von Plato (University of Helsinki) and Dag Westerståhl (University of Stockholm).
21-23 June 2017, 12th International Conference on Flexible Query Answering Systems (FQAS 2017), London, EnglandDate: 21-23 June 2017Location: London, England
FQAS is the premier conference focusing on the key issue in the information society of providing easy, flexible, and intuitive access to information to everybody. In targeting this issue, the conference draws on several research areas, such as information retrieval, database management, data science, information filtering, knowledge representation, knowledge discovery, analytics, soft computing, management of multimedia information, and human-computer interaction. The guiding topic of the FQAS conferences are innovative query systems aimed at providing easy, flexible and human-friendly access to information. Such systems are becoming increasingly important also due to the huge and always growing number of users as well as the growing amount of available information. Thus, the works related to the concepts of data science, data streams querying etc. are very welcome.
For more information, see http://fqas-2017.org/.
21 - 23 June 2017, 15th International Conference on Practical Applications of Agents and multi-agents systems (PAAMS'17), Porto, PortugalDate: 21 - 23 June 2017Location: Porto, Portugal
Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. PAAMS intends to bring together researchers and developers from industry and the academic world to report on the latest scientific and technical advances on the application of multi-agent systems, to discuss and debate the major issues, and to showcase the latest systems using agent based technology. It will promote a forum for discussion on how agent-based techniques, methods, and tools help system designers to accomplish the mapping between available agent technology and application needs. Other stakeholders should be rewarded with a better understanding of the potential and challenges of the agent-oriented approach.For more information, see www.paams.net/workshops/demadie.
26 - 28 June 2017, IACAP 2017: Computing and Philosophy, Stanford CA, U.S.A.Date: 26 - 28 June 2017Location: Stanford CA, U.S.A.
The International Association for Computing and Philosophy promotes philosophical dialogue and interdisciplinary research on all aspects of the computational and informational turn. Coming to these issues from a rich variety of disciplines, IACAP;s members have a tradition of helping to shape philosophical and ethical debates about the nature, development, application, and limits of computation, information technologies, and artificial intelligence.
IACAP's 2017 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists. The meeting will have a single main track focusing on topics at the core of IACAP members' interests. Symposia will also be organized and run by members, or groups of members, to focus on special topics.For more information, see www.iacap.org/iacap-2017.
26 - 29 June 2017, 23rd International Symposium on Methodologies for Intelligent Systems (ISMIS 2017), Warsaw, PolandDate: 26 - 29 June 2017Location: Warsaw, Poland
ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.For more information, see ismis2017.ii.pw.edu.pl.
26 - 30 June 2017, Summerschool Music, Language and CognitionDate: 26 - 30 June 2017Location: Lake Como, ItalyCosts: 250 euro
The Summer School “Music, Language and Cognition” offers an extended overview of complex behavioral events whose existence is time dependent, including language, music and body movement. We focus on how sounds, melodies, rhythm and syntactic information in music and language may afford the extraction of regularities, the generation of expectations, the coordination of perception and action, the directing of attention, and the priming of interactive social behavior. Lecturers will be integrated by brain storming and students presentations.For more information, see mlcs.lakecomoschool.org.
26 - 30 June 2017, 17th Latin American Symposium on Mathematical Logic (SLALM 2017), Puebla, MexicoDate: 26 - 30 June 2017Location: Puebla, Mexico
The SLALM (Simposio Latinoamericano de Lógica Matemática) was conceived in the late 1960′s by Abraham Robinson, who at the time was President of the Association for Symbolic Logic (ASL). The SLALM brings together the community of researchers in logic along Latin America and is nourished by important participations of researchers from around the world. It has grown thanks to the support of the ASL, as well as the local institutions that host the event.
The first two days of the meeting will be devoted to tutorials and the other three days to the plenary talks and the topic sessions. We invite you to be part of this important meeting.
26 - 27 June 2017, Discourse Expectations: Theoretical, Experimental and Computational Perspectives (Detec2017), Nijmegen, The NetherlandsDate: 26 - 27 June 2017Location: Nijmegen, The Netherlands
Studies on discourse processing indicate that natural language interpretation is expectation-driven. Even though it is uncontroversial that both linguistic (e.g. lexical items, morpho-syntactic constructions, prosody) and extra-linguistic factors (e.g. world knowledge, speaker/hearer knowledge) are used to anticipate how discourse is likely to continue, the nature of their interplay is a topic of ongoing research. DETEC approaches this topic in an interdisciplinary fashion by comparing theoretical, experimental, and computational perspectives.
26 - 28 June 2017, 25th International Conference on Case-Based Reasoning, Trondheim, NorwayDate: 26 - 28 June 2017Location: Trondheim, Norway
ICCBR is the premier, annual meeting of the CBR community and the leading international conference on this topic. The theme for ICCBR 2017 is Analogy for Reuse. To encourage this, the ICCBR 2017 program will include keynote addresses, a main technical track, a workshop program, a doctoral consortium, and the Computer Cooking Contest with several connections to this theme.For more information, see research.idi.ntnu.no/cbr/iccbr2017.
27 - 30 June 2017, The 30th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2017), Arras, FranceDate: 27 - 30 June 2017Location: Arras, France
IEA/AIE 2017 continues the tradition of emphasizing applications of applied intelligent systems to solve real-life problems in all areas including engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions.For more information, see www.cril.univ-artois.fr/ieaaie2017.
27 - 30 June 2017, 22nd International Conference on Implementation and Application of Automata (CIAA 2017), Paris, FranceDate: 27 - 30 June 2017Location: Paris, France
The CIAA conference series, which was started in 1996, covers all aspects of implementation, application, and theory of automata and related structures. It aims to attract contributions from both classical automata theory and applications.
The scientific program will consist of invited lectures and presentations of papers selected by the international program committee, based on a thorough peer-reviewing process. Invited speakers include Véronique Cortier (CNRS, LORIA, France), Kim G. Larsen (Aalborg University, Denmark) and Damien Pous (CNRS, ENS Lyon, France).
30 June 2017, ILLC Midsummernight Colloquium 2017Date & Time: Friday 30 June 2017, 16:00-17:30Location: Room F1.15, ILLC, Science Park 107, Amsterdam
The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.
3-7 July 2017, 6th European Set Theory Conference (6ESTC), Budapest, HungaryDate: 3-7 July 2017Location: Budapest, Hungary
We are pleased to announce that the 6th European Set Theory Conference (6ESTC) of the European Set Theory Society will be organized in Budapest, at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, next year, July 3 - 7, 2017. (Date of arrival: July 2, date of departure: July 8.)
For more information, see https://sites.google.com/site/6thestc/
3 - 5 July 2017, Conference on Mereology and Identity, Pisa, ItalyDate: 3 - 5 July 2017Location: Pisa, Italy
The contemporary debate on mereology is largely hinged on the notion of identity. Indeed, classical mereology dictates that complex entities are identical if and only if they have the same proper parts. On the other hand, many scholars who doubt the adequacy of classical mereology point to real or fictional cases in which different wholes would have the same proper parts. The upholders of Composition as Identity think that identity, or a relation analogous to identity, also connects a whole with its parts. By contrast, the opponents of Composition as Identity retort that composition fails to respect some pivotal principles that holds for standard identity, such as the Indiscerniblity of Identicals, coreferentiality or transitivity. Finally, in the debate about Composition as Identity, the so-called Sider-Yi Collapse seems to show that some roles sometimes attributed to identity are incompatible with the standard characterization of plural identity.
The conference will host the main scholars involved in this debate, with the purpose of encouraging innovative solutions to various open problems.
3 - 6 July 2017, 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, FinlandDate: 3 - 6 July 2017Location: Espoo, Finland
LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications.
This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program.
3 - 5 July 2017, 19th International Conference on Descriptional Complexity of Formal Systems (DCFS 2017), Milan, ItalyDate: 3 - 5 July 2017Location: Milan, Italy
DCFS 2017 will be held in Milano, Italy, on July 3-5, 2017. The conference is organized by Department of Computer Science, University of Milano, and by the IFIP Working Group 1.02 "Descriptional Complexity".
Invited Speakers: Jürgen Dassow, Dora Giammarresi, Stavros Konstantinidis and Orna Kupferman.
3 - 7 July 2017, 9th International School on Rewriting (ISR 2017), Eindhoven, The NetherlandsDate: 3 - 7 July 2017Location: Eindhoven, The Netherlands
Rewriting is a branch of computer science whose origins go back to the origins of computer science itself. It has strong links with mathematics, algebra, and logic, it is used in many areas of software engineering, and it is the basis of well-known programming paradigms like functional and equational programming. The 9th International School on Rewriting (ISR 2017) is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.
The school features lectures by renowned researchers in rewriting, and is organized in two parallel tracks: the Basic Track (for students entering the field) and the Advanced Track (consisting of eight shorter courses, showing different areas of rewriting research and applications). There will be the opportunity for participants to present their own research.
3 - 7 July 2017, International Joint Conference on Rough Sets, 2017 (IJCRS-2017), Olsztyn, PolandDate: 3 - 7 July 2017Location: Olsztyn, Poland
It is intended that IJCRS 2017 follows the track already rutted by RSCTC and JRS conferences which aimed at unification of many facets of Rough Set Theory from theoretical aspects of the rough set idea bordering on theory of concepts and going through algebraic structures, topological structures, logics for uncertain reasoning, decision algorithms, relations to other theories of vagueness and ambiguity, then to extensions of the rough set idea like granular structures, rough mereology, and to applications of the idea in diverse fields of applied science including hybrid methods like Rough-Fuzzy, Neuro-Rough, Neuro-Rough-Fuzzy computing.
4 - 7 July 2017, Poznan Reasoning Week (PRW 2017), Poznan, PolandDate: 4 - 7 July 2017Location: Poznan, Poland
Consisting of two workshops, Poznań Reasoning Week 2017 (PRW2017) brings together experts from various disciplines whose research offers both systematic and historical contributions to the study of individual- as well as group-reasoning processes. This particularly includes, but is not restricted to, modelling these processes formally.For more information, see poznanreasoningweek.wordpress.com.
4 - 7 July 2017, Summer School on Social Choice and Ethics, Warwick, UKDate: 4 - 7 July 2017Location: Warwick, UK
The issues of social justice and ethics percolate extensively in various aspects of decision-making including policy choices and business strategies. The last decade, particularly, has witnessed the emergence of novel theoretical and empirical models in social choice theory, welfare economics, and ethics. The Summer School is targeted at doctoral students, postdoctoral researchers and junior faculty in the fields of economics, behavioural science, and management and organisation studies who are interested in learning novel economic and behavioural science approaches to justice, fairness, and ethics.
Application deadline 31 March 2017.For more information, see www2.warwick.ac.uk/fac/soc/wbs/subjects/bsci/events/summerschool2017.
10 - 14 July 2017, Young Set Theory Workshop 2017 (YST 2017): New directions in the higher infinite, Edinburgh, ScotlandDate: 10 - 14 July 2017Location: Edinburgh, Scotland
The aims of the “Young Set Theory Workshops” are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.
The theme of the 2017 workshop is "New directions in the higher infinite".For more information, see ests.wordpress.com/2017/01/25/young-set-theory-2017-registration or contact YoungSetTheory2017 at gmail.com.
10 - 14 July 2017, Workshop on Computer-aided mathematical proof, Cambridge, EnglandDate: 10 - 14 July 2017Location: Cambridge, England
This event is part of the activities for the programme on Big proof (26 June - 4 August 2017). The workshop brings together mathematicians interested in employing proof technology in their research, logicians exploring pragmatic and foundational issues in the formalisation of mathematics, and computer scientists engaged in developing and applying proof technology. It will explore foundational, theoretical, and practical challenges in exploiting proof technology to transform mathematical practice across a range of scientific and engineering disciplines.
Closing date for applications: 8 April.For more information, see www.newton.ac.uk/event/bprw01.
10 - 14 July 2017, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), Warsaw, PolandDate: 10 - 14 July 2017Location: Warsaw, Poland
ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 10.
Invited Speakers: Mikolaj Bojanczyk (University of Warsaw, Poland), Monika Henzinger (University of Vienna, Austria) and Mikkel Thorup (University of Copenhagen, Denmark).For more information, see icalp17.mimuw.edu.pl.
12 - 15 July 2017, International Joint Conference on Rules and Reasoning (RuleML+RR 2017), London, EnglandDate: 12 - 15 July 2017Location: London, England
RuleML+RR 2017 is the leading international joint conference in the field of rule-based reasoning, and focuses on theoretical advances, novel technologies, as well as innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known premier RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.
RuleML+RR 2017 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.
In addition, RuleML+RR 2017 will host an Industry Track, a Doctoral Consortium, the DecisionCAMP, the 11th International Rule Challenge, and the 13th Reasoning Web Summer School. RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017).For more information, see 2017.ruleml-rr.org.
13 - 14 July 2017, 24th International Symposium on Model Checking of Software (SPIN 2017), Santa Barbara CA, U.S.A.Date: 13 - 14 July 2017Location: Santa Barbara CA, U.S.A.
The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software.
The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, symbolic execution, etc. SPIN 2017 will be arranged as a ACM SIGSOFT event, collocated with the International Symposium on Software Testing and Analysis (ISSTA 2017).For more information, see conf.researchr.org/home/spin-2017.
13 - 14 July 2017, 15th Meeting on the Mathematics of Language (MOL 2017), London, EnglandDate: 13 - 14 July 2017Location: London, England
MOL, the biennial conference of the Association for Mathematics of Language, is devoted to the study of mathematical structures and methods that are of importance to the description of language. MOL will feature invited talks by the following distinguished researchers: Stephen Clark (University of Cambridge, UK), Shay Cohen (University of Edinburgh, UK) * Frank Drewes (Umeå University, Sweden). The meeting will precede the 24th Workshop on Logic, Language, Information and Computation.
17-28 July 2017, 29th European Summer School in Logic, Language and Information (ESSLLI 2017), Toulouse, FranceDate: 17-28 July 2017Location: Toulouse, France
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.
For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.
17 - 28 July 2017, ESSLLI 2017 Student Session, Toulouse, FranceDate: 17 - 28 July 2017Location: Toulouse, France
The Student Session of the 29th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Toulouse, France, July 17th to 28th, 2017. The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language, and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).
17 - 28 July 2017, 7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017), Toulouse, FranceDate: 17 - 28 July 2017Location: Toulouse, France
Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.
The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.
In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.For more information, see sites.google.com/site/imla2017toulouse.
17 - 21 July 2017, Formal approaches to the dynamics of linguistic interaction, Toulouse, FranceDate: 17 - 21 July 2017Location: Toulouse, France
It is uncontentious that natural language use involves interaction; between participants in a dialogue, between modalities such as vision, gesture and speech, and between new and existing information in language acquisition, for example. For this ESSLLI 2017 workshop we maintain a broad notion of interaction, roughly the production and exchange of information between agents of some sort, be they natural or artificial (e.g. avatars or modelling devices as in certain types of logics). We favour contributions which focus on the dynamics of the information exchange and discuss formal models to reconstruct it.For more information, see www.christinehowes.com/fadli.
17 - 21 July 2017, ESSLLI-2017 workshop on Quantifiers and Determiners (QUAD), Toulouse, FranceDate: 17 - 21 July 2017Location: Toulouse, France
This workshop aims at gathering mathematicians, logicians, linguists, computer scientists to present their latest advances in the study of quantification.
There is a long history of quantification in the Ancient and Medieval times at the border between logic and philosophy of language, before the proper formalisation of quantification by Frege. But many mathematical and linguistic questions remain open, both on the mathematical side (such as the proof theory of generalised quantifiers or the computational aspects of alternate formulations such as Russel's ioata), and the linguistic side (such as the relation between the syntactic structure and its semantic interpretation, or the relationship between quantification and phenomena like generics, plurals, and mass nouns), as well as the intersection of the two sides (for instance, psycholinguistic experiments that connect formal models and their computational properties to the actual way human do process sentences with quantifiers).
All those aspects are connected in the didactics of mathematics and computer science: there are specific difficulties to teach (and to learn) how to understand, manipulate, produce and prove quantified statements, and to determine the proper level of formalisation between bare logical formulas and written or spoken natural language.For more information, see www.lirmm.fr/quad.
18 - 21 July 2017, 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017), London, EnglandDate: 18 - 21 July 2017Location: London, England
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers.For more information, see wollic.org/wollic2017.
22 - 23 July 2017, 22nd Conference on Formal Grammar (FG 2017), Toulouse, FranceDate: 22 - 23 July 2017Location: Toulouse, France
FG-2017 is the 22nd conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information, which in 2017 will take place in Toulouse, France.
FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.For more information, see fg.phil.hhu.de/2017.
23-29 July 2017, Symposium on History and Philosophy of Computing (HaPoC symposium @ICHST), Rio de Janeiro, BrazilDate: 23-29 July 2017Location: Rio de Janeiro, Brazil
We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.
The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.
For more information, see http://hapoc.org/node/176.
(New) 23 - 29 July 2017, Hilbert-Bernays Summer School on Logic & Computation, Goettingen, GermanyDate: 23 - 29 July 2017Location: Goettingen, Germany
This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.
Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Term Rewriting Systems, Recursion and Complexity, Proof Theory and the Art of Ordinal Analysis, or Geometric Logic-Topos Theory. Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.
23 - 29 July 2017, Symposium "The interface between the study of cultural diversity in science and decision-making in science policy", Rio de Janeiro, BrazilDate: 23 - 29 July 2017Location: Rio de Janeiro, Brazil
The International Association for Science and Cultural Diversity (IASCUD) is hosting a symposium titled "The interface between the study of cultural diversity in science and decision-making in science policy" at the 25th International Congress of History of Science and Technology to be held in Rio de Janeiro, 23-29 July 2017. The organisers of the symposium are Nina Atanasova (Toledo OH, U.S.A.) and Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany).
In this symposium, we wish to explore the actual and potential connections between researchers who study the cultural variety of science from historical, sociological, and philosophical perspectives and the deciders and stakeholders in both local and global science policy: Are policy makers informed about the effects of scientific cultural diversity? If so, how does this affect their decisions? If not, what can researchers of cultural diversity in science do in order to connect to the decision makers?
29 July - 4 August 2017, Set Theory Conference on the occasion of Ronald Jensen's 80th birthday, Muenster, GermanyDate: 29 July - 4 August 2017Location: Muenster, Germany
Tentative list of speakers (incomplete): Gunter Fuchs (CUNY), Moti Gitik (Tel Aviv University), Menachem Magidor (Jerusalem), Adrian Mathias (Reunion), Itay Neeman (UCLA), John Steel (Berkeley), W. Hugh Woodin (Harvard) and Martin Zeman (UC Irvine).For more information, see wwwmath.uni-muenster.de/logik/Personen/rds/set_theory_conference_2017.html.
30 July - 5 August 2017, Summer School on Mathematical Philosophy for Female Students 2017, Munich, GermanyDate: 30 July - 5 August 2017Location: Munich, Germany
The Munich Center for Mathematical Philosophy (MCMP) is organizing the fourth Summer School on Mathematical Philosophy for Female Students. Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems.
This year the focus of the summer school will be to provide a framework for developing expertise in formal approaches used in (1) philosophy of language, (2) philosophy of logic, and (3) philosophy of mathematics. The summer school will offer the opportunity for study in an informal setting, for lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.
The deadline for applications is *March 5, 2017.For more information, see www.mathsummer.philosophie.uni-muenchen.de/index.html or contact Marianna Antonutti at mathsummer2017 at lrz.uni-muenchen.de.
6 - 11 August 2017, The 26th International Conference on Automated Deduction (CADE-26), Gothenburg, SwedenDate: 6 - 11 August 2017Location: Gothenburg, Sweden
CADE is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions.For more information, see www.cade-26.info.
7 - 11 August 2017, 19th European Agent Systems Summer School (EASSS-2017), Gdansk, PolandDate: 7 - 11 August 2017Location: Gdansk, Poland
As was the case with the earlier editions, EASSS-2017 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses are aimed at advanced Master's students, PhD students, and other young researchers, and will be taught by leading researchers in the field.
EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems.
14 - 25 August 2017, Summer School in Dynamic Epistemic Logic, Sapporo, JapanDate: 14 - 25 August 2017Location: Sapporo, Japan
The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.
The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic, main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.
Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.For more information, see here or at hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G070.
19 - 25 August 2017, Twenty-sixth International Joint Conference on Artificial Intelligence (IJCAI-17), Melbourne, AustraliaDate: 19 - 25 August 2017Location: Melbourne, Australia
For nearly a half-century, IJCAI has remained the premier conference bringing together the international AI community in communicating the advances and celebrating the achievements of artificial intelligence research and practice. With the current explosive interest in AI and its applications, this 26th edition of the conference is guaranteed to provide an exciting forum to present and hear about cutting-edge research in AI.
A special theme of IJCAI-17 is Autonomy. Recent developments in the adoption of artificial intelligence and other technologies across many different areas of endeavour have brought new challenges or have made real those that until now had been largely abstract and theoretical. In recognition of this trend, and in support of addressing some of these challenges, this Special Track seeks to foster discussion and debate around the issues brought forward by this new generation of technologies and applications.
The scientific program of IJCAI 2017 will also contain Workshops, Tutorials, Demonstrations, Robotic Exhibitions, a Doctoral consortium, and will host different software, video, and robotics competitions.For more information, see ijcai-17.org.
20 - 24 August 2017, 26th Annual EACSL Conference on Computer Science Logic (CSL 2017), Stockholm, SwedenDate: 20 - 24 August 2017Location: Stockholm, SwedenTarget audience: logicians; computer scientists
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science and is intended for computer scientists whose research involves logic, as well as for logicians working on issues essential for computer science.
CSL2017 is the 26th EACSL annual conference. It will be co-organised by Stockholm University and KTH Royal Institute of Technology, and hosted by Stockholm University. CSL2017 will be co-located with, and immediately preceded by, the Logic Colloquium 2017 (LC2017). There will be a joint session of CSL2017 and LC2017 in the morning of August 20, as well as CSL-affiliated workshops during August 25-26.
21-28 August 2017, The Ninth European Congress of Analytic Philosophy (ECAP 9), Munich, GermanyDate: 21-28 August 2017Location: Munich, Germany
The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.
For more information, see http://analyticphilosophy.eu/ecap9/
21 - 23 August 2017, 3rd Workshop on Philosophy, Logic and Analytical Metaphysics (Filomena 2017), Natal, BrazilDate: 21 - 23 August 2017Location: Natal, Brazil
The third edition of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica), promoted by the Group for Logic and Formal Philosophy from the UFRN, has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy. Logic, a branch of Philosophy on its own, has outgrown its original purposes and found connections with other areas of Philosophy, such as Philosophy of Language, Philosophy of Mathematics, Philosophy of Science and Philosophy of Mind. Logic has proved to be a powerful tool for analyzing different philosophical theories, as well as their foundations and implications; moreover, the birth and development of non-classical logics has expanded its domain of application much beyond the dreams of its progenitors.
Invited Speakers: Tuomas Tahko (University of Helsinki), Jonas Arenhart (Federal University of Santa Catarina) and Giorgio Venturi (State University of Campinas).
23 - 27 August 2017, 3nd international conference on Logic, Relativity, and Beyond (LRB17), Budapest, HungaryDate: 23 - 27 August 2017Location: Budapest, Hungary
There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.
The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful cooperation leading to joint research and publications. This 3rd conference is also dedicated to honoring Hajnal Andréka's birthday.
4 - 7 September 2017, 10th International Conference on Natural Language Generation (INLG2017), Santiago de Compostela, SpainDate: 4 - 7 September 2017Location: Santiago de Compostela, Spain
The International Natural Language Generation conference (INLG) is the conference of the Special Interest Group on Natural Language Generation (SIGGEN) of the Association for Computational Linguistics (ACL).
Notice that the first day will be devoted to Workshops. The Main Conference will run on 5-6 september. And the last day will be for Tutorials and Hackathon.
7 - 12 September 2017, Conference & Workshop on Set Theoretic & Topological Methods in Model Theory, Tezpur, IndiaDate: 7 - 12 September 2017Location: Tezpur, India
The aim of this programme is to bring together mathematicians and logicians working on/interested in various topics on the border of model theory, topology and set theory. The leading themes are topological dynamics and descriptive set theoretic methods in model theory. Apart from the state of the art lectures by leading experts, two tutorials, each consisting of 3 one-hour talks on the main themes of the meeting, are being planned. The meeting will give opportunity for discussion and collaboration between experts from different but related parts of logic. This may result in the future in discovering new interactions between model theory, topology and set theory.For more information, see www.isical.ac.in/~statmath/smsconf.
23 - 27 October 2017, Fourth International Meeting of the Association for Philosophy of Mathematical Practice (APMP IV), Salvador da Bahia, BrazilDate: 23 - 27 October 2017Location: Salvador da Bahia, Brazil
Over the last few years approaches to the philosophy of mathematics that focus on mathematical practice have been thriving. Such approaches include the study of a wide variety of issues concerned with the way mathematics is done, evaluated, and applied, and in addition, or in connection therewith, with historical episodes or traditions, applications, educational problems, cognitive questions, etc. In 2009, a group of researchers in this field gathered to promote the creation of the Association for the Philosophy of Mathematical Practice, APMP. This association aims to become a common forum that will stimulate research in philosophy of mathematics related to mathematical activity, past and present, and foster joint actions. The Fourth International Meeting of the Association for the Philosophy of Mathematical Practice will be held on October 23-27, 2017, in Salvador da Bahia, Brazil.
6 - 8 December 2017, 2nd Amsterdam SMART Cognitive Science Conference: 'SMART Animals', Amsterdam, the NetherlandsDate: 6 - 8 December 2017Location: Amsterdam, the Netherlands
We are happy to announce the second Amsterdam SMART Cognitive Science Conference on the theme of ‘SMART Animals’. The conference will take place at the UvA, from December 6th-8th. The conference will consist of three plenary evening lectures and debates, and three successive workshops devoted to the topics of animal cognition in the broad sense (i.e., including humans).
July 2018, History of Philosophy of Science (HOPOS 2018), Groningen (The Netherlands)Date: July 2018Location: Groningen (The Netherlands)
HOPOS 2018 will take place at the University of Groningen in the Netherlands in July 2018. The local organizers include Professor Martin Lenz, Dr Han Thomas Adriaenssen and Dr Andrea Sangiacomo of the History of Philosophy Department.
The University Groningen Department of the History of Philosophy is the largest in the Netherlands and has considerable strengths in the history of philosophy of science. Following a tradition inspired by John North, a distinguished historian of science at Groningen, the department has continued to attract scholars who work on HOPOS themes, such as Lodi Nauta, winner of the Spinoza Prize, and Detlev Pätzold.