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
11 - 15 September 2018, Poznań Reasoning Week 2018, Poznań, PolandLocation: Poznań, Poland
Poznań Reasoning Week 2018, which is the third edition of PRW, consists of three conferences, aimed at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling:
- Games and Reasoning 2018 (11 september)
- Logic and Cognition 2018 (12-13 september)
- Refutation Symposium 2018 (14-15 september)
The aim of the Games and Reasoning conference is to gather researchers from various fields who use games as tools in their research. The concept of a game includes here serious games, scientific discovery games, gamification techniques in science, games with a purpose as well as the more general approaches using game theoretical framework.
Logic and Cognition is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at shedding the light on actual reasoning processes.
Refutation systems are axiomatic systems applied to non-valid formulas (or sequents). A refutation system consists of refutation axioms and refutation rules. This approach is complementary to standard proof methods. Although refutation systems are not widely known, we believe that the method has potential and can produce results that are both interesting and useful. The goal of the Refutation Symposium is to explain key concepts and techniques, and present new results on refutation systems.
We invite proposals for contributed talks. Please submit an extended abstract of max. 1.000 words, including references, prepared for blind review. As a first key-word, please indicate the event you want to submit your work to (GaR, L&C or RS).
6 - 7 September 2018, Workshop on Proof Theory, Ghent, BelgiumLocation: Ghent, Belgium
The intended audience for the workshop is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy with an interest in Proof Theory in a broad sense.
The workshop will be the inaugural meeting of The Proof Society.
Students are invited to apply with an informal abstract (1 page) to the poster session which will be held as part of the workshop.For more information, see http://www.proofsociety.org/workshop-2018/.
22 - 25 August 2018, The Joint Multi-Conference on Human-Level Artificial Intelligence 2018 (HLAI 2018), Prague, Czech RepublicLocation: Prague, Czech Republic
HLAI 2018 will combine three confernces:
- AGI'18, the Eleventh Annual Conference on Artificial General Intelligence.
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.
Conference site: http://agi-conference.org/2018/
- NeSy'18, the Thirteenth International Workshop on Neural-Symbolic Learning and Reasoning.
NeSy is the premier event worldwide for the study and integration of neural computation and symbolic AI.
Conference site: http://www.neural-symbolic.org/
- BICA'18, the Ninth Annual International Conference on Biologically Inspired Cognitive Architectures.
The annual BICA conference attracts researchers from the edge of scientific frontiers, offering informal brainstorming atmosphere together with publication venues to ambitious ideas, regardless of their immediate practical value or solid empirical justification.
Conference site: http://bica2018.bicasociety.org/
All three conferences welcome contributed papers on their respective conference topics. Deadlines: April 25 (AGP), June 11 (NeSy), and April 1st (BICA).
(New) 24 - 28 September 2018, 41st German Conference on Artificial Intelligence (KI 2018), Berlin, GermanyLocation: Berlin, GermanyDeadline: Sunday 25 March 2018
KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium.
We invite proposals for workshops and tutorials to be held at the beginning (September 24-25) of the conference week (September 24-28). Topics include all subareas of artificial intelligence as well as their foundations and applications. The KI 2018 conference organizers will provide rooms for the workshops and the tutorials as well as determine the dates and times of the tutorials and workshops.
5 - 11 August 2018, 41st International Wittgenstein Symposium 2018: Philosophy of Logic and Mathematics, Kirchberg am Wechsel, AustriaLocation: Kirchberg am Wechsel, AustriaDeadline: Friday 30 March 2018
2. Traditional and Modern Logic
3. The Structural Complexity of Judgements – Propositions – Sentences
4. Logic: Absolute Normativity or Alternatives
5. The Infinite
6. Foundations of Mathematics
Workshop 1: Wittgenstein on the Philosophy of Mathematics, 1937–1939: The Projected Early Version of PI (with Joachim Schulte)
Workshop 2: Logical Paradoxes (with Hannes Leitgeb)
We would like to encourage you to participate in the 41st International Wittgenstein Symposium. Papers can be written in German or English. They should not be submitted elsewhere.For more information, see http://alws.at/index.php/symposium/.
8 July 2018, Second Women in Logic Workshop (WiL 2018), Oxford, EnglandLocation: Oxford, EnglandDeadline: Saturday 31 March 2018
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. The second Women in Logic Workshop (WiL 2018), held as a LICS associated 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.
Topics of interest of this workshop include but are not limited to the usual Logic in Computer Science (LICS) topics. Contributions should be written in English and can be submitted in the form of full papers (with a maximum of 10 pages), short papers (with a maximum of 5 pages), or talk abstracts (1 page).For more information, see https://sites.google.com/site/womeninlogic2018/welcome/.
6 - 10 August 2018, Workshop Bridging formal and conceptual semantics (BRIDGE 2018), Sofia, BulgariaLocation: Sofia, BulgariaDeadline: Saturday 31 March 2018
The main aim of this ESSLLI 2018 workshop is to get together linguists, philosophers and cognitive scientists from the two leading research traditions of natural language meaning, often referred to them as "formal semantics" and "conceptual semantics". The workshop provides a platform to investigate and discuss the ways of possible bridges between the two semantic perspectives, and to initiate a deeper conversation and collaboration between them. The workshop intends to gather approaches that show the way how the two perspectives can strengthen each other.
The workshop holds 6 high-quality contributed talks, each of 45 minutes including discussions, and invited talks by Gemma Boleda (Universitat Pompeu Fabra) and James Pustejovsky (Brandeis University).
The workshop invites high-quality submissions on topics closely related to the main issue of the workshop, for 45 minutes talks (incl. discussion). The submission of the abstracts will be handled via EasyChair. Authors can submit anonymous abstracts of max. 2 pages.
(New) Call for Proposals for volumes in book series "Outstanding contributions in logic"Deadline: Saturday 31 March 2018
Outstanding Contributions to Logic is a book series that forms part of the Studia Logica Library. It is published by Springer in co-operation with Studia Logica. Each volume is devoted to the contributions to logic made by an eminent logician. The series is intended to cover contributions to logic broadly conceived, including philosophical and mathematical logic, logic in computer science, and the application of logic in linguistics, economics, psychology, and other specialized areas of study.
The series editors would like to receive proposals for new volumes in the series. Please tell us whose work in logic (broadly conceived) would be a suitable topic for a volume in this series. The series has its primary focus on logicians who are still active and willing to contribute in some way to the volume (for instance with an autobiographical chapter and/or responses to comments on their work). If you can propose a suitable editor, that would be most helpful. Self-nominations for editorship are most welcome.
10 - 11 August 2018, ICM 2018 Satellite Conference on Mathematical Logic, Niteroi, BrazilLocation: Niteroi, BrazilDeadline: Sunday 1 April 2018
It is our pleasure to announce that the Sociedade Brasileira de Logica (SBL) and the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical Logic, as a satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018.
Invited speakers include Matthias Aschenbrenner, Veronica Becher, Valeria de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco Miraglia, Lou van den Dries and Joris Van Der Hoeven.
The organisers invite all researchers in mathematical logic to submit abstracts of their research for presentation at the conference via our easychair website.For more information, see http://www.dlmpst.org/pages/activities/icm-2018-satellite.php.
17 - 19 May 2018, Masterclass in the Philosophy of Mathematical Practice with Karine ChemlaLocation: Brussels, BelgiumTarget audience: PhDs and PostdocsCosts: FreeDeadline: Sunday 1 April 2018
The Centre for Logic and Philosophy of Science (CLWF) of the Vrije Universiteit Brussel (VUB) will host its Second Masterclass in the Philosophy of Mathematical Practice on May, 17-19, with Prof. Dr. Karine Chemla (SPHERE, Université Paris 7 - CNRS, France). The Masterclass will be composed of three lectures, the tentative titles of which are as follows:
- Practices of Generality in the Mathematics of Ancient China and Beyond
- Working with Diagrams, Interpreting Diagrams. Views Based on Chinese Sources
- The Practices of Abstraction and their Interpretations in the Mathematics of Ancient China
We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. The lectures by Prof. Chemla will take place in the mornings, and will be followed by afternoon sessions with presentations by early career researchers in the History and Philosophy of Mathematical Practice. We ask people to register to the Masterclass by May, 1st.
We invite early career researchers who would be interested to present their work to send us an abstract of at most 1 page by April, 1st. The talks will be of a duration of around 20 minutes (not including discussion). Notification of acceptance will be sent out by the middle of April.
11 - 13 June 2018, Tenth Scandinavian Logic Symposium (SLS 2018), Gothenburg, SwedenLocation: Gothenburg, SwedenDeadline: Sunday 1 April 2018
The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.
The scope of this event covers mathematical, computational, and philosophical logic. The major topics include (but are not limited to) the areas of Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Logic and Computer Science, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other non-classical Logics, Axiomatic Theories of Truth, and Philosophical Logic.
For more information, see scandiavianlogic dot org or contact sls2018 at flov.gu.se.
Abstracts of contributed talks must be submitted as pdf files via EasyChair. The abstracts should be prepared according to the ASL abstract guidelines.
5 - 8 August 2018, Fifteenth International Conference on Computability and Complexity in Analysis (CCA 2018), Lake Kochel, GermanyLocation: Lake Kochel, GermanyDeadline: Monday 2 April 2018
The conference is concerned with the theory of computability and complexity over real-valued data.
Most mathematical models in physics and engineering are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. 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 conference CCA 2018 is held in Honour of Klaus Weihrauch's 75th Birthday, and is preceded by the conference Computability in Europe (CiE 2018) that takes place in Kiel, in the north of Germany, from July 30 to August 3, 2018.
Authors are invited to submit 1-2 pages abstracts in PDF format, including references.For more information, see http://cca-net.de/cca2018/.
28 - 30 May 2018, 37th Journees sur les Arithmetiques Faibles (JAF 37), Florence, ItalyLocation: Florence, ItalyDeadline: Monday 2 April 2018
The 37th Journees sur les Arithmetiques Faible (Days of Weak Arithmetics) will cover traditional topics of the "Days" such as: Provability in weak arithmetics, Definability in weak arithmetics, Weak arithmetics and model theory, Decidability/undecidability of weak logical theories, and Modeling computations in the frameworks of weak arithmetics.
Authors are invited to send an abstract not exceeding three pages in electronic submission in the form of a pdf file.
6 - 10 August 2018, ESSLLI Workshop on Ambiguity: Perspectives on Representation & Resolution (ARR), Sofia, BulgariaLocation: Sofia, BulgariaDeadline: Monday 2 April 2018
There are various approaches to ambiguity from a wide variety of perspectives. This is due to the fact that ambiguity exists and arises on many different levels of natural language. We want to bring together scholars working on different aspects of ambiguity, in particular to approach the following questions:
1. What is the core of this phenomenon?
2. What is the common ground in approaching the phenomenon?
3. What can be gained by combining different approaches?
Our special focus is thus on bringing together approaches seeing ambiguity as a mere computational problem and approaches seeing it as a linguistic phenomenon with some interest in itself.
The conference invites extended abstracts of 2 pages (excluding references) related to the workshop themes. Extended abstracts should lay out original, unpublished research and/or implementation results. We would like to encourage a variety of submissions relating to any dimension of ambiguity. Depending on number and quality of submissions, and interest of authors, we plan to edit a special issue of worked out papers of contributions to the workshop.
(New) 14 - 15 June 2018, Workshop on Dialogue and Perception 2018 (DaP 2018), Gothenburg, SwedenLocation: Gothenburg, SwedenDeadline: Wednesday 4 April 2018
The study of dialogue investigates how natural language is used in interaction between interlocutors and how coordination and successful communication is achieved. However, studies on dialogue have often taken for granted that we align our perceptual representations, an unsustainable assumption when we consider interactions between agents with obviously different perceptual capabilities, such as humans and avators or robots.
Contrarily, studies of perception have focussed on how an agent interacts with and interprets the information from their perceptual environment. In the last decade there has been impressive progress on integrated approaches to language, action, and perception. However, these have a limited integration to the dynamics of dialogue and often fail to take into account the incremental and context sensitive nature of language and the environment.
The aim of this workshop is to initiate a genuine dialogue between these related areas and to examine different approaches from computational, linguistic and psychological perspectives and how these can inform each other. It will feature invited talks by leading researchers in these areas, and high level contributed papers, presented as posters, selected through open competition and rigorous review.
We invite papers of between 2-4 pages of content and up to one additional page for references, following the ACL style guidelines. The conference proceedings will be published online, with an ISSN, on the CLASP website. Authors will have the opportunity to extend their papers for the post-proceedings and will retain the copyright of their papers and be free to publish them elsewhere, with acknowledgement.For more information, see https://clasp.gu.se/news-events/workshop-on-dialogue-and-perception-2018.
29 October - 2 November 2018, 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2018), Groningen, The NetherlandsLocation: Groningen, The NetherlandsDeadline: Friday 6 April 2018
Since 1994, the RAMiCS conference 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.
We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Submissions must not be published or under review for publication elsewhere. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX.For more information, see http://www.ramics-conference.org/.
4 - 7 September 2018, Computer Science Logic 2018 (CSL 2018), Birmingham, EnglandLocation: Birmingham, EnglandDeadline: Saturday 7 April 2018
The Conference 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. CSL 2018 will be the 27th edition in the series. It will be organised by the School of Computer Science of the University of Birmingham.
Submission Submissions will be through EasyChair. Proceedings will be published in the Leibniz International Proceedings in Informatics. After the conference, selected papers will be invited to a special issue of the online open access journal Logical Methods in Computer Science.For more information, see http://events.cs.bham.ac.uk/csl18/.
8 July 2018, 12th International Workshop on Developments in Computational Models (DCM 2018), Oxford, EnglandLocation: Oxford, EnglandDeadline: Sunday 8 April 2018
Several new models of computation have emerged in the last years, and many developments of traditional computation models have been proposed with the aim of taking into account the new demands of users of computer systems and the new capabilities of computation engines.
The aim of this workshop is to bring together researchers who are currently developing new computation models or new features for traditional computation models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.
DCM 2018 will take place in Oxford on July 8, as a one-day satellite event of FLoC 2018, associated to LICS'18.
Authors are invited to submit a short paper (max 8 pages). Topics of interest include all abstract models of computation and their applications to the development of programming languages and systems. After the workshop authors are invited to submit a full paper taking into account the feedback given at their presentation. After a second round of refereeing, accepted contributions will appear in an issue of Electronic Proceedings in Theoretical Computer Science.
11 - 13 June 2018, 6th Workshop on Algebra & substructural logics (AsubL Take 6), Cagliari, ItalyLocation: Cagliari, ItalyDeadline: Sunday 15 April 2018
The workshop AsubL (Algebra & Substructural Logics) is a workshop on algebraic structures related to substructural logics. It is the sixth in the series and it will be held in Cagliari, Italy as an event in the framework of SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics.
Invited speakers: Anatolij Dvurečenskij, Tomasz Kowalski, Hiroakira Ono (Founder of AsubL) and Constantine Tsinakis.
Authors are kindly asked to submit an abstract (not exceeding two pages) for their proposed contributed talks to Francesco Paoli. The duration of the contributed talks will be communicated in a later announcement. We welcome contributions on any topic relevant to the theme of the workshop.
13 July 2018, 19th International Workshop on Logic and Computational Complexity (LCC 2018), Oxford, EnglandLocation: Oxford, EnglandDeadline: Sunday 15 April 2018
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity; deductive formalisms as they relate to complexity; complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. LCC 2018 will be part of FLoC 2018.
The program will consist of invited lectures by Mikolaj Bojanczyk (University of Warsaw) and Ugo Dal Lago (University of Bologna and INRIA Sophia Antipolis), as well as contributed talks selected by the Program Committee.
We welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The program committee checks relevance and may provide additional feedback. Submissions must be in English and in the form of an abstract of about 3-4 pages.For more information, see http://www.cs.swansea.ac.uk/lcc/.
7 - 8 July 2018, Workshop "Programming & Reasoning on Infinite Structures" (PARIS), Oxford, EnglandLocation: Oxford, EnglandDeadline: Sunday 15 April 2018
Developing formal methods to program and reason about infinite data, whether inductive or coinductive, is challenging and subject to numerous recent research efforts. The understanding of the logical and computational principles underlying these notions is reaching a mature stage as illustrated by the numerous advances that have appeared in the recent years. The workshop aims at gathering researchers working on these topics as well as colleagues interested in understanding the recent results and open problems of this line of research.
For outsiders, the workshop will offer tutorial sessions and survey-like invited talks. For specialists of the topic, the workshop will permit to gather people working with syntactical or semantical methods, people focusing on proof systems or programming languages, and foster exchanges and discussions benefiting from their various perspectives. The workshop is affiliated with FSCD 2018, as part of the Federated Logic Conference of 2018 and is funded by French ANR, RAPIDO project.
We are seeking for short submissions (~3-4 pages long) presenting (i) new completed results (ii) work in progress, or (iii) advertising recently published results. Suggested, but not exclusive, topics of interest for the workshop are: Proof systems, Calculi, Type systems, Curry-Howard correspondence, Semantics, Tools, and Proof theory and verification.
(New) 7 - 8 July 2018, Workshop on Proof Complexity 2018 (PC 2018), Oxford, EnglandLocation: Oxford, EnglandDeadline: Sunday 15 April 2018
Proof complexity is the study of the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F and a proof system P, what is the size of the smallest proof of F in the system P? Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions, which bare tight relations to intricate theoretical open problems from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT/QBF solving.
The workshop will be part of FLoC and will be affiliated with the conferences SAT'18 and LICS'18.
We welcome 1-2-page abstracts presenting (finished, ongoing, or if clearly stated even recently published) work on proof complexity. Particular topics of interest are Proof Complexity, Bounded Arithmetic, Relations to SAT/QBF solving, and Relations to Computational Complexity. The abstracts will appear in electronic pre-proceedings that will be distributed at the meeting. Accepted communications must be presented at the workshop by one of the authors.For more information, see http://easychair.org/smart-program/PC2018/.
9 - 10 July 2018, Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems (FMLAMAS 2018), Stockholm, SwedenLocation: Stockholm, SwedenDeadline: Sunday 15 April 2018
The FMLAMAS 2018 workshop will provide a working meeting and discussion forum for researchers working on various formal methods and logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It will address a wide range of issues that arise in these contexts, from theoretical foundations to algorithmic methods, implemented tools, and applications.
Submissions are invited of short abstracts (preferably up to 2 pages) reporting either original, ongoing, or recently published good quality work in the area of the workshop. Published work can be submitted for presentation in full, though an extended abstract would be preferable. Submissions for relevant talks presented elsewhere are welcome, too. The submissions are not anonymous and will be subjected to light reviewing and selection.
18 July 2018, 3rd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018), Oxford, EnglandLocation: Oxford, EnglandDeadline: Sunday 15 April 2018
The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. Non-classical logics - such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, relevance logic - have many applications in AI, Computer Science, Philosophy, Linguistics and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The workshop will provide a forum for researchers to present and discuss recent developments in this area.
We welcome contributions from computer scientists, linguists, philosophers, and mathematicians. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications and describe example problems and benchmarks.
7 - 8 July 2018, 6th International Workshop on Strategic Reasoning (SR 2018), Oxford, EnglandLocation: Oxford, EnglandDeadline: Sunday 15 April 2018
Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent-based reasoning that take into account the likely behavior of adversaries.
The SR international workshop, held within FLOC 2018, aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.
The morning sessions will be devoted to tutorials on topics closely related to strategic reasoning, namely cooperative game theory (by Edith Elkind) and parity games (by Marcin Jurdziński).
We invite submissions reporting on published work, original contributions, and challenging open problems. In all three categories, submissions will be evaluated using he usual high standards of research publications. Strong preference will be given to papers whose topic is of interest to a broad, interdisciplinary audience and all contributions should be written so that they are accessible to such an audience.For more information, see http://projects.lsv.fr/sr18/index.php.
24 - 26 June 2018, Summer School and Conference on Topos Theory "Toposes in Como" , Como, ItalyLocation: Como, ItalyDeadline: Sunday 15 April 2018
The event "Toposes in Como", which represents the second edition of the conference "Topos à l'IHES" held in France in 2015, will consist of a three-day school, offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day conference featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis and computer science.
There is room for a few short communications (20-25 minutes long); if you want to submit a one-page abstract for a short talk at the conference, please upload it while registering on the conference website before the 15th of April.
18 - 21 September 2018, 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), LuxembourgLocation: LuxembourgTarget audience: researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areasDeadline: Friday 20 April 2018
RuleML+RR 2018 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.
RuleML+RR 2018 will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018).
RuleML+RR welcomes original research from all areas of Rules and Reasoning. High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited.
Particularly encouraged are submissions that combine one or several of the conference topics with the overall focus theme of the LuxLogAI Summit: Methods and Tools for Responsible AI.
We accept the following submission formats for papers:
- Full papers (presenting original and significant research results)
- Technical Communications (intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions, and optionally accompanied by a demo).
In addition to regular submissions, RuleML+RR 2018 will host an Industry Track, a Doctoral Consortium and the 12th International Rule Challenge.
28 - 31 August 2018, Logic, Algebra and Truth Degrees 2018 (LATD 2018, Berne, SwitzerlandLocation: Berne, SwitzerlandDeadline: Sunday 22 April 2018
Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy. The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.
We invite contributions on any relevant aspects of logical systems (including many-valued, fuzzy, substructural, modal and quantum logics). Abstracts of contributed talks, 2-4 pages, are to be prepared using the EasyChair class style and submitted via EasyChair.For more information, see http://www.latd2018.unibe.ch.
23 - 28 July 2018, Logic Colloquium 2018 (LC 2018), Udine, ItalyLocation: Udine, ItalyDeadline: Friday 27 April 2018
The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) , an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry.
LC 2018 will include tutorials by Katrin Tent (WWU Münster) and Ulrike Sattler (University of Manchester), a Gödel Lecture by Rod Downey (Victoria University of Wellington), and 6 special sessions on the topics of Descriptive set theory and dynamical systems, Model theory, Proof theory and constructivism, Temporal and multivalued logics, Computability theory, and Philosophy of Logic and Mathematics.
Abstracts of contributed papers must be submitted as pdf file via EasyChair. Abstract should be prepared using the ASL abstract style.
CfP special issue of Logic Journal IGPL on Non-classical Modal and Predicate LogicsDeadline: Monday 30 April 2018
This special issue is solely dedicated to modal and predicate non-classical logics. Its aim is to bring together papers on both pure and applied aspects of various branches of non-classical logics, to present recent advances in particular fields, and to foster the exchange of ideas between researchers focusing on (1) separate branches of non- classical logic and (2) foundational and applied issues. Guest editors: Petr Cintula (Czech Academy of Sciences) Shier Ju (Sun Yat-sen University) Zach Weber (University of Otago).
We invite submissions on topics from all branches of mathematical logic (e.g., proof-theory, model theory, game theory, computational complexity, etc.), and applications in mathematics, computer science, linguistics, philosophy, and beyond.
(New) 1 - 3 August 2018, International Conference "Varieties of Mathematical Abstraction", Vienna, AustriaLocation: Vienna, AustriaDeadline: Monday 30 April 2018
Mathematical abstraction is a general phenomenon, a process by which we generalize from the properties and relations of particular objects to the abstract, mathematical structure that those objects exhibit. It is a process that can be iterated to achieve higher levels of abstraction, and plays an important role in shaping how we think about and understand empirical phenomena. The main objective of this conference is to explore the philosophical significance of mathematical abstraction from different perspectives: metaphysically, epistemologically, historically, and practically. Particular attention will be devoted to the role of abstraction in mathematical practice.
We invite the submission of abstracts, suitable for a 40 minute presentation (followed by 20 minutes for questions), on topics related to any aspects of mathematical abstraction. We encourage submissions from early career researchers and PhD students. Abstracts should be prepared for blind review.For more information, see https://structuralism.phl.univie.ac.at/events/.
26 - 28 July 2018, Workshop on Decision Theory & the Future of Artificial Intelligence, Munich, GermanyLocation: Munich, GermanyDeadline: Monday 30 April 2018
This workshop will continue in the tradition established last year of bringing together philosophers, decision theorists, and AI researchers in order to promote research at the nexus between decision theory and AI. Our plan for the second installment is to make connections between decision theory and burgeoning research programs that may play a prominent role in the near future of the discipline - e.g., quantum information theory, social network analysis, and causal inference.
Confirmed Speakers Hans Briegel (University of Innsbruck), Tina Eliassi-Rad (Northeastern University), Dominik Janzing (Max Planck Institute - Tübingen), Teresa Scantamburlo (University of Bristol) and Wolfgang Spohn (University of Konstanz).
We invite submissions for contributed talks in the form of a short abstract (up to 150 words) and an extended abstract (up to 1000 words) through the EasyChair submission system. The conference language is English; contributions in other languages will not be considered. The abstract should not contain any identifying information.For more information, see http://www.decision-ai.org/2018/.
1 - 2 October 2018, International Conference "Formal Philosophy", Moscow, RussiaLocation: Moscow, RussiaDeadline: Monday 30 April 2018
The international conference "Formal Philosophy" will be held from 1st to 2nd October 2018 ( Moscow, Higher School of Economics). Conference topics include philosophical logic, formal epistemology, formal ontology, formal ethics and other branches of formal and mathematical philosophy. Invited speakers: Jacek Malinowski (Institute of Philosophy and Sociology, Polish Academy of Sciences), Ahti-Veikko Pietarinen (Nazarbayev University), Allard Tamminga (University of Groningen) and Paul Weingartner (University of Salzburg).
We are pleased to invite papers on any of the conference topics. Authors are asked to submit an abstract up to 1000 words via the EasyChair system. Abstracts should be prepared for blind review (all identifying information should be removed from the abstract). We accept abstracts in PDF format only (12pt, single spacing, 2cm margin). The Programme Committee reserves the right to reject abstracts that do not fit into the scope of the workshop.For more information, see https://sites.google.com/site/formalphilosophy2018 or contact Vitaliy Dolgorukov at formphil2018 at gmail.com..
CfP special issue of Games on "Logic & Game Theory"Deadline: Tuesday 1 May 2018
"Games" journal is an open access journal devoted to game theory. Logicians and game theorists have long found that ideas from each other's fields can usefully inform their own. While the majority of work at the intersection of logic and games has arguably focused on zero-sum/win-lose games, there has recently been much interest in the logical foundations of general sum games, and solution concepts, such as Nash equilibrium. The aim of this Special Issue is to profile the state-of-the-art in logic and game theory, and showcase the key problems and directions that are driving research in the area.
Submissions are invited from those working in logic and game theory, as well as cognate disciplines such as computer science, artificial intelligence, and philosophy. Research articles, review articles as well as short communications are invited. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). We intend the scope of the Special Issue to be broad, but all published articles must clearly have both a logic and game theoretic component. Preference will be given to articles that appeal to a broader audience; all articles should take into account the readership of the journal.For more information, see http://www.mdpi.com/journal/games/special_issues/logic or contact mjw at cs.ox.ac.uk.
15 - 17 October 2018, 25th International Symposium on Temporal Representation and Reasoning (TIME 2018), Warsaw, PolandLocation: Warsaw, PolandDeadline: Monday 7 May 2018
TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th 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 four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications.
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. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics.For more information, see https://time2018.ipipan.waw.pl/.
7 - 8 July 2018, Fifth Workshop on Natural Language and Computer Science (NLCS 2018), Oxford, EnglandLocation: Oxford, EnglandDeadline: Thursday 10 May 2018
Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop, affiliated with Federated Logic Conference (FLoC) 2018, invites papers on both topics. Invited speaker: Ann Copestake, University of Cambridge.
Specific topics includes, but are not limited to: logic for semantics of lexical items, sentences, discourse and dialog, continuations in natural language semantics, formal tools in textual inference, such as logics for natural language inference, applications of category theory in semantics, linear logic in semantics, formal approaches to unifying data-driven and declarative approaches to semantics.For more information, see http://www.indiana.edu/~iulg/nlcs.html.
30 October - 2 November 2018, 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe AZ, U.S.A.Location: Tempe AZ, U.S.A.Deadline: Sunday 13 May 2018
Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents.
The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018.
KR also features a Doctoral Consortium program, a student mentoring program bringing together PhD students and senior researchers from the area of KR. Application deadline: June 24, 2018.
We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. We invite two kinds of submissions: full papers and short papers.
For its 2018 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 October to 1 November 2018. The deadline for proposal submissions is 21 February 2018.For more information, see http://reasoning.eas.asu.edu/kr2018/.
5 - 7 September 2018, 14th International Conference on Grammatical Inference (ICGI 2018), Wroclaw, PolandLocation: Wroclaw, PolandDeadline: Tuesday 15 May 2018
ICGI, which has been organized bi-annually since early nineties, is the major forum for presentation and discussion of original research papers on all aspects of grammatical inference. The theme of ICGI 2018 will include theoretical and experimental analysis of various models of grammatical inference and algorithms for induction of different classes of languages and automata. This year we especially encourage submissions related to the domain of bioinformatics, which will be presented at a special joint session with the collocated Polish Bionformatics Society symposium.
The confirmed keynote speakers include: Colin de la Higuera (Nantes), Johannes Söding (Goettingen), and Frits Vaandrager (Nijmegen).
We invite three types of papers: formal and/or technical papers describing original solutions (theoretical, methodological or conceptual), exploratory papers describing completely new research positions or approaches, and tool papers describing a new tool for grammatical inference. Additionally, you can present your work in progress during a designated session of ICGI, and attending a special session GI in Bioinformatics conjoined with a poster exhibition.
6 - 10 August 2018, 10th Conference on Boolean Algebras, Lattices, Algebraic Logic and Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2018), Denver CO, U.S.A.Location: Denver CO, U.S.A.Deadline: Tuesday 15 May 2018
After a full decade of being hosted in various universities, BLAST returns to its birthplace. BLAST aims at bringing together researchers and students in the above-mentioned diverse areas and the scientific program will include three tutorials exposing the audience to various aspects of the these areas. There will also be seven invited lectures and contributed talks.
The call for papers and information on submission of abstracts will be available sometime in Spring 2018.
9 - 12 September 2018, 3rd International Workshop on AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18), Poznan, PolandLocation: Poznan, PolandDeadline: Tuesday 15 May 2018
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 the conference topics. Authors should submit draft papers (as Postscript, PDF or MSWord file) not exceeding 10 pages IEEE style (including tables, figures and references). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop. Extended versions of selected papers presented during the conference will be published as Special Issue(s).
(New) 6 - 12 August 2018, Summer School and Workshop "Concepts in Action - Representation, Learning & Application" (CARLA), Osnabrueck, GermanyLocation: Osnabrueck, GermanyDeadline: Sunday 20 May 2018
The summer school will bring together researchers from different disciplines with the goal of providing participants with knowledge about concept research outside of their own fields and to initiate interdisciplinary exchanges and research. The subsequent and co-located international workshop provides an excellent opportunity to present and discuss ongoing research on concepts.
Both events will focus on (but not be restricted to) three core questions: How can we formally describe and model concepts? Where do concepts come from, and how are they acquired? How are concepts used in cognitive tasks?
Both the school participants and external researchers are invited to submit abstracts to the workshop for oral or poster presentations. The organizers invite ontributions from all fields related to cognitive science, including (but not limited to) linguistics, artificial intelligence, psychology, philosophy, logic, and computer science. Although the workshop is open for research on any aspect of concepts, there exists a set of core topics that are of special interest: Representation, Learning, and Application.For more information, see https://www.conceptuccino.uni-osnabrueck.de/carla_workshop/carla_2018.html or contact concepts at uni-osnabrueck.de.
17 - 21 December 2018, 13th International Conference on Computability, Complexity and Randomness (CCR 2018), Santiago de Chile, ChileLocation: Santiago de Chile, ChileDeadline: Friday 25 May 2018
The theme of the conference is algorithmic randomness and related topics in computability, complexity and logic such as Kolmogorov complexity and reverse mathematics. This year, the conference has special attention to the connections between these topics and dynamical systems and ergodic theory.
Authors are now invited to submit an abstract in PDF format of typically about 1 or 2 pages, via EasyChair.For more information, see http://www.mat-unab.cl/~ccr2018/.
17 - 18 September 2018, Workshop "Once upon a time... Semantic approaches to fiction, literature, and narrative", Groningen, the NetherlandsLocation: Groningen, the NetherlandsDeadline: Friday 25 May 2018
We seem to approach a text that we know to be a work of fiction rather differently than a newspaper article, or a conversation about the weather. An influential view in philosophy is that fictional narratives are prescriptions for the reader to imagine some fictional world, while regular assertions are proposals to update the common ground. But whatever the eventual diagnosis, the (apparent) difference between the interpretation of fiction and of non-fiction already raises interesting linguistic questions: How does a reader even know that a text is fiction? Are there linguistic clues an author may leave that mark a given text as such? And is our formal semantic toolkit, developed for dealing with assertions in every day communication, suitable and sufficient for dealing with the peculiarities of narrative fiction and literary style?
In this workshop we want to bring together linguists and philosophers interested in applying formal semantic tools to linguistic phenomena characteristic of fiction/narrative.
We invite submissions of anonymous two-page abstracts (including references etc.) for 25 minute talks (plus 10 minutes discussion), via Easychair. With enough high quality submissions we'll also organize a poster session with lightning talks.
24 - 27 September 2018, Trends in Logic XVIII: Fine-Grained Semantics for Modal Logic, Milan, ItalyLocation: Milan, ItalyDeadline: Wednesday 30 May 2018
In the last few decades an impressive amount of foundational research in philosophical logic has been devoted to the development of semantical tools which provide sufficiently fine-grained semantics to deal with important topics of pure and applied modal logic, such as the representation of situations, states of affairs, structured contents, hyperintensional contexts, and agent-related attitudes, like epistemic and prohairetic attitudes. A number of different modal frameworks have emerged to tackle these themes. The aim of this conference is to study the potential of these approaches and to explore new connections between them, by providing a forum to present new ideas and analytical methods.
Invited Speakers: Sergei Artemov (New York), Marta Bilkova (Prague), Hannes Leitgeb (Munich) and Sonja Smets (Amsterdam).
We invite submissions for 30 minute presentations, with 10 additional minutes for discussion. We welcome both logical contributions, providing novel solutions to crucial problems in the field, and foundational contributions, focusing on the conceptual frameworks underlying these approaches and the possibility of combining them. We plan to publish Studia Logica special issue on the subject of fine grained semantics based on best conference submissions.For more information, see http://www.unicatt.it/meetings/trends2018.
(New) 24 - 27 September 2018, Ninth conference on Non-Classical Logic: Theory and Applications, Torun, PolandLocation: Torun, PolandDeadline: Thursday 31 May 2018
The conference is devoted to non-classical logics: modal, many-valued, temporal, paraconsistent, epistemic, deontic, substructural, and nonmonotonic logic, and their applications in computer science, artificial intelligence, formal linguistics, cognitive studies, as well as the deeper analysis of traditional philosophical problems. We will also celebrate the 25th anniversary of the journal Logic and Logical Philosophy published by the Nicolaus Copernicus University in Toruń and edited by the Department of Logic.
The conference is organized by Departament of Logic and Methodology of Sciences of Lodz University and Department of Logic of Nicolaus Copernicus University.
Submissions to the conference should be made via easychair.org. We prefer latex source + pdf submissions, but other formats (e.g. doc or pdf itself) are also accepted. Submissions should not exceed the capacity of two pages LaTeX standard format text.
CfP special issue of Synthese on "Enabling Mathematical Cultures"Deadline: Friday 1 June 2018
Traditionally, philosophy of mathematics focused on the formal component of mathematics and ignores the human and social components of the mathematical discipline. In the last decades, some philosophers of mathematics have challenged this traditional view and claimed that many of the features of the discipline of mathematics depend at least partially on interpersonal context and cultural embedding. The special issue entitled "Enabling Mathematical Cultures" aims to cover this broadly interdisciplinary scope, studying the social and cultural features of mathematical research practice and its philosophical ramifications.
Guest editors: Benedikt Loewe, Ursula Martin, Alison Pease.
We encourage authors to submit papers that discuss cultural aspects of mathematical practices, using methods from philosophy, psychology, education, sociology, history, or other disciplines. Papers that deal with social, technological and conceptual tools for sharing and construction of group knowledge in mathematics are particularly welcome, but this is not a necessary requirement for acceptance of a paper. Engagement with the relevant philosophical literature as well as discussion of the philosophical implications are strongly encouraged. All submitted papers will be peer-reviewed according to the high standards of the journal Synthese.For more information, see here .
24 - 28 September 2018, 1st workshop of Formal Reasoning and Semantics (FORMALS 2018), Dubrovnik, CroatiaLocation: Dubrovnik, CroatiaDeadline: Friday 1 June 2018
The 1st workshop of Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018). The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).
The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).
Invited speakers: Vivek Nigam.
We have several 30 min slots available for contributed talks. All contributions which broadly fit the main goal of the project - mutual enrichment of pure and applied logic - are welcome.
8 - 10 November 2018, 22nd Workshop on Semantics and Pragmatics of Dialogue (SemDial 2018 / AixDial), Aix-en-Provence (France)Location: Aix-en-Provence (France)Deadline: Friday 1 June 2018
AixDial will be the 22nd 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 2018 the workshop will be hosted by Aix Marseille University, and organized by the Language and Speech Lab (LPL) as well as the Computer Science Lab (LIS). It will be collocated with the Workshop on Prosody and Meaning: Information Structure and Beyond.
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). There will be a later a call for 2-page abstracts describing system demonstrations and/or ongoing projects relevant to the topics of the workshop.For more information, see http://semdial.hypotheses.org/.
20 - 21 October 2018, The 4th Asian Workshop on Philosophical Logic (AWPL-2018), Beijing, ChinaLocation: Beijing, ChinaTarget audience: Logicians and philosophers who interested in non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciencesDeadline: Friday 1 June 2018
The Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences. The second and third workshop took place successfully in Guangzhou (2014) and Taipei (2016), respectively. And the two post conference proceedings were published in the Studia Logica book series "Logic in Asia" (http://www.springer.com/series/13080?detailsPage=titles) with Springer.
The Fourth Asian Workshop on Philosophical Logic (AWPL 2018) will be held in Beijing, China, on 20-21 October 2018, organized by the Tsinghua-UvA Joint Research Centre for Logic at Tsinghua University.
All submissions should present original works not previously published. Submissions should be typeset in English with single-space and 12pt-size, be prepared as a .pdf file with at most 12 (A4-size) pages (including reference list, appendixes, acknowledgements, etc.), and be sent to the workshop electronically via EasyChair (https://easychair.org/conferences/?conf=awpl2018) by the corresponding author on time. It is assumed that, once a submission is accepted, at least one of its authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and submit to a post conference proceedings, to be published in the "Logic in Asia" series.
26 - 28 September 2018, Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), Saarbruecken, GermanyLocation: Saarbruecken, GermanyDeadline: Wednesday 13 June 2018
The aim of GandALF 2018 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.
Authors are invited to submit original research or tool papers on all relevant topics in the conference areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome. Submitted papers should not exceed fourteen (14) pages using EPTCS format, be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission.For more information, see https://www.react.uni-saarland.de/gandalf2018/.
26 - 29 October 2018, 31st International Workshop on Description Logics(DL 2018), Tempe AZ, U.S.A.Location: Tempe AZ, U.S.A.Deadline: Friday 29 June 2018
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. The 31st edition will be collocated with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).
We invite contributions on all aspects of description logics.
Submissions may be of two types: regular submissions (consisting of 11 pages LNCS plus references) and papers accepted at some conference elsewhere (with a 2-page abstract that also specifies where the paper has been accepted).For more information, see http://dl.kr.org/dl2018/.
CfP special issue of Computational Linguistics on "Computational approaches in historical linguistics"Deadline: Sunday 15 July 2018
Computational approaches play an increasingly important role in historical linguistics and typology. During the last two decades, scholars have made significant advances in automatizing and formalizing specific aspects of the workflow of the classic comparative method. But despite the growing interest in automated approaches to historical linguistics, it is obvious that automatic approaches are still far away from being able to replace human experts, and the majority of approaches still makes broad use of manually annotated datasets. More than two decades after the quantitative turn in historical linguistics, we think it is time to reconsider how computational approaches in historical linguistics can be further improved, and where their current limits can be found.
We invite submissions of papers which address one or several of the following questions:
1. How can we improve the automatic identification of cognates?
2. How can computational methods help to infer deeper genetic relations between the world’s language families?
3. How can big data approaches from computational linguistics help to improve classical approaches to historical linguistics?
4. What are the strengths and shortcomings of phylogenetic methods?
5. How does demography and geography influence the spread of languages through time and space?
6. Are there universal tendencies in the evolution of the world’s languages?
7. How to integrate typological features with lexical features for inferring language phylogenies and predicting typological features for ancestral languages?
For more information, see http://calc.digling.org/resources/call-si-cl.pdf.
CfP special issue of Synthese on "Varieties of Entailment"Deadline: Tuesday 31 July 2018
On August 26, 2017, our colleague Carolina Blasio fell victim to a fatal car accident in Campinas, Brazil, only one day after successfully defending her PhD thesis "Sobre Noções de Consequência Generalizadas e Lógicas Plurivalentes" (On generalized notions of consequence and plurivalent logics) at UNICAMP (Brazil). She was a young and promising researcher, besides being the administrator of the Brazilian discussion group on Logic, an active member of the Brazilian LaTeX community, and a diligent feminist campaigner. This special issue of Synthese, on Varieties of Entailment, is dedicated to her memory, and is concerned with topics in logic and philosophy of logic related to her fields of interest.
Contributions must be original and not under review elsewhere. Each submission should include a separate title page containing the contact details for the author(s), a brief abstract and list of five keywords.
CfP special issue of the Artificial Intelligence Journal (AIJ) on Epistemic PlanningDeadline: Monday 1 October 2018
Epistemic planning is the enrichment of automated planning with epistemic notions such as knowledge and belief. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine state of the art from several such sub-areas of artificial intelligence that have so far been considered mostly in separation. Epistemic planning has applications in game playing, human-robot interaction, social robotics, etc.
For this special issue of AIJ, we invite papers on theory, applications, and implemented systems of epistemic planning.
8 January - 26 April 2018, Applied Category Theory 2018 Adjoint SchoolLocation: Online and at the Lorentz Center, LeidenTarget audience: Graduate students and early career researchers
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
22 - 23 March 2018, Fourth Symposium on the History and Philosophy of Programming (HaPoP 4), Oxford, EnglandLocation: Oxford, England
In a society where computers have become ubiquitous, it is necessary to develop a deeper understanding of the nature of computer programs, not just from the technical viewpoint, but from a broader historical and philosophical perspective.
A historical awareness of the evolution of programming not only helps to clarify the complex structure of computing, but it also provides an insight in what programming was, is and could be in the future. Philosophy, on the other hand, helps to tackle fundamental questions about the nature of programs, programming languages and programming as a discipline.
An interdisciplinary approach is necessary for understanding programming with its multifaceted nature. As such, we welcome participation by researchers and practitioners coming from a diversity of backgrounds, including historians, philosophers, computer scientists and professional software developers.
25 - 30 March 2018, 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, FranceLocation: Aussois, France
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 http://aitp-conference.org/2018.
4 - 6 April 2018, 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART 7), Parma, ItalyLocation: Parma, Italy
The 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) will be held in Parma in 4-6 April 2018, 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 http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.
4 - 7 April 2018, Workshop "Foundations in Mathematics: Modern Views" (FMV 2018), Munich, GermanyLocation: Munich, Germany
The workshop is a continuation of a series of conferences on logic and foundations of mathematics (Formal Mathematics, Bonn 2015; FOMUS, Bielefeld 2016; LMP, Goettingen 2017). The meeting is designed as a hybrid between a research conference and a winter school. The workshop focuses on investigating the landscape of current views on the foundations of mathematics. In addition to the scientific debate, it aims to foster a community of young scientists concerned with foundational questions.
6 - 24 April 2018, ILLC MasterClass Cognition 2018Location: University of Amsterdam, The Netherlands
The ILLC will organise a MasterClass Cognition intended for up to 40 secondary school students. The MasterClass will consist of 4 days with lectures and excursions. The dates of the four days are the following:
ILLC MasterClass Day 1: Friday 6 April 2018
ILLC MasterClass Day 2: Thursday 12 April 2018
ILLC MasterClass Day 3: Wednesday 18 April 2018
ILLC MasterClass Day 4: Tuesday 24 April 2018For more information, see http://events.illc.uva.nl/MasterClass/Cognitie2018/ or contact Peter van Ormondt at P.vanOrmondt at uva.nl.
7 - 9 April 2018, 29th International Conference on Algorithmic Learning Theory (ALT 2018), Lanzarote, SpainLocation: Lanzarote, Spain
The ALT 2018 conference is dedicated to all theoretical and algorithmic aspects of machine learning. This is a new ALT: new submission time, new conference time, new program, and a new ambition, to substantially grow its audience and let ALT be known as the best conference in algorithmic and theoretical machine learning. ALT 2018 will have both a best student paper award (E.M. Gold Award) and a best paper award.
The conference will be co-located with AISTATS 2018, which immediately follows ALT 2018.
7 - 8 April 2018, Mathematical Collaboration IILocation: St Andrews, Scotland
This is a joint Arché-Oxford event, following up on Group Knowledge and Mathematical Collaboration held in Oxford in April 2017.
In this second edition, we will look at the social virtues that lead to good mathematics in such collaborative settings, drawing on research in mathematical practice, social epistemology, sociology, ethnography and philosophy of science to answer questions about which features of our practices lead to successful and unsuccessful collaborationsFor more information, see https://www.st-andrews.ac.uk/arche/event/group-knowledge-and-mathematical-collaboration-workshop-ii/ or contact Fenner Tanswell at ft34 at st-andrews-ac.uk.
8 - 12 April 2018, 12th International Conference on Language and Automata Theory and Applications (LATA 2018), Ramat Gan, IsraelLocation: Ramat Gan, Israel
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
10 April 2018, SURF Research BootcampLocation: Wibauthuis, Wibautstraat 3b, 1091 GH AmsterdamCosts: 75 EUR excl. VAT
Are you interested in using new ICT technology to boost your research?
Want to learn how to use high performance computing to speed up your calculations? Can you imagine the possibilities of scientific visualisation, and would you like to explore the power of big data analysis?
Discover new possibilities, experience the practical impact and do more with your data at the SURF Research Bootcamp.For more information, see https://surfresearchbootcamp.nl/.
12 - 13 April 2018, 25th Automated Reasoning Workshop (ARW 2018), Cambridge, EnglandLocation: Cambridge, England
The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike.
The workshop will be highly interactive, giving all attendees an opportunity to participate. There will be sessions for displaying posters and open discussion sessions organised around specific topics such as "Automated Reasoning and Artificial Intelligence". Invited speakers: Ekaterina Komendantskaya (Heriot-Watt University) and Lawrence Paulson (University of Cambridge).
14 - 15 April 2018, 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS'18), Thessaloniki, GreeceLocation: Thessaloniki, Greece
Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.
CMCS'18 will be co-located with ETAPS 2018. Invited speakers: Clemens Kupke (Strathclyde) and Daniela Petrisan (Diderot). Invited tutorial speakers: Bob Coecke (Oxford) and Aleks Kissinger (Radboud).For more information, see http://www.coalg.org/cmcs18/.
14 - 15 April 2018, 13th Workshop on Games for Logic and Programming Languages (GaLoP 2018), Thessaloniki, GreeceLocation: Thessaloniki, Greece
GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials.
Invited Speakers: Guy McCusker, Matteo Mio and Ulrich Schöpp.For more information, see http://www.gamesemantics.org.
17 - 19 April 2018, Tenth NASA Formal Methods Symposium (NFM 2018): 30 Years of Formal Methods at NASA, News VA, U.S.A.Location: News VA, U.S.A.
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
30 April - 4 May 2018, Applied Category Theory 2018 (ACT 2018), Leiden, the NetherlandsLocation: Leiden, the NetherlandsTarget audience: researchers and practitioners of applied category theory
The workshop is heavily slanted toward discussion and collaboration. We want to instigate a multi-disciplinary research program in which concepts, structures, and methods from one discipline can be reused in another. Tangibly and in the short-term, we will bring together people from different disciplines in order to write an expository survey paper that grounds the varied research in applied category theory and lays out the parameters of the research program.
A limited number of speakers will give overview talks intended to instigate discussion, including Samson Abramsky (Oxford), John Baez (UC Riverside), Kathryn Hess (EPFL), Mehrnoosh Sadrzadeh (Queen Mary) and David Spivak (MIT).
30 April - 2 May 2018, Workshop on Medieval Logic & its Contemporary Relevance, St. Andrews, ScotlandLocation: St. Andrews, Scotland
Studying medieval logic can make us aware of the consequences of certain ideas in at least two ways. First, the problems that medieval logicians were tackling are in many cases still with us today and still unresolved, more so than in some more recent periods. Secondly, though medieval academia was small in comparison to its modern counterpart, logic played a key role in the medieval curriculum and was the object of close attention by some remarkably perceptive thinkers. So the study of medieval logic has particular contemporary relevance and can yield many insights into contemporary puzzles in philosophy of logic. The object of the workshop is to encourage investigation into these connections and to showcase notable examples.For more information, see https://www.st-andrews.ac.uk/arche/event/medieval-logic-and-its-contemporary-relevance/ or contact slr at st-andrews.ac.uk.
1 - 4 May 2018, PhDs in Logic X, Prague, Czech RepublicLocation: Prague, Czech Republic
"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 minute) presentations by PhD students, master students and first-year postdocs on their research. The tenth edition of "PhDs in Logic" will take place at the Institute of Philosophy of the Czech Academy of Sciences.
The tutorial speakers are: Chris Fermüller (TU Wien, Austria), Radek Honzík (Charles University, Czech Republic), Jan Krajíček (Czech Academy of Sciences, Czech Republic), Roman Kuznets (TU Wien, Austria) and Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne, France).For more information, see https://logic.ff.cuni.cz/research/conferences/phd-logic/.
3 - 9 May 2018, Summer School on Types, Sets, & Constructions, Bonn (Germany)
This school provides an introduction to some of the main topics of the trimester program; the lectures are mainly directed at PhD students and young postdocs.
Speakers and topics:
Peter Aczel: Constructive set theory
Robert Constable: Proof assistants and formalization
Thierry Coquand: Constructive algebra
Martín Escardó: Univalent type theory
Matthew Hendtlass: Constructive analysis
Simon Huber: Homotopy type theory
Rosalie Iemhoff: Structural proof theory
Ulrich Kohlenbach: Extraction of information from proofs
Peter Dybjer: Intuitionistic type theory
Andreas Weiermann: Higher proof theory and combinatorics
12 May 2018, Workshop on Replicability and Reproducibility of Research Results in Science and Technology of Language (4REAL Workshop 2018), Miyazaki, JapanLocation: Miyazaki, Japan
Reproduction and replication of research results are at the heart of the validation of scientific knowledge and of the scientific endeavor. But despite their key importance, reproduction and replication have not been sufficiently encouraged given the prevailing procedures and priorities for the reviewing, selection and publication of research results. This workshop seeks to foster the discussion and the advancement on a topic that has been given insufficient attention in the research area of language processing tools and resources and that has been an important topic emerging in other scientific areas. The workshop will be collocated with LREC 2018 11th Language Resources and Evaluation Conference.For more information, see http://4real2018.di.fc.ul.pt.
14 - 18 May 2018, Logical Perspectives 2018, St Petersburg, RussiaLocation: St Petersburg, Russia
Thanks to the support of the Euler International Mathematical Institute, a new conference initiative called Logical Perspectives will start in 2018. The initiative aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations.
The topics include, but are not limited to:
- the foundations of mathematics and those of computing;
- logical methods in philosophy (e.g. in epistemology, the philosophy of mathematics or that of language);
- logical methods in mathematics;
- logical methods in computer science.
There will be only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to know more about the field.For more information, see http://www.pdmi.ras.ru/EIMI/2018/LP/.
14 - 17 May 2018, Fifth International Conference on the Nature and Ontology of Spacetime, Albena, BulgariaLocation: Albena, Bulgaria
The spacetime conferences bring together physicists and philosophers and provide a forum where aspects and implications of the nature and ontology of spacetime are discussed.
To mark the 110th anniversary of Hermann Minkowski's groundbreaking lecture "Space and Time" the main theme of the Fifth International Conference on the Nature and Ontology of Spacetime will be the nature of spacetime - whether spacetime should be regarded merely as an abstract mathematical notion modelling an evolving present or spacetime represents a block universe or a growing block universe.For more information, see http://www.minkowskiinstitute.org/conferences/2018/ or contact 2018conference at minkowskiinstitute.org.
18 - 20 May 2018, 46th annual meeting of the Society for Exact Philosophy, Storrs CT, U.S.A.Location: Storrs CT, U.S.A.
The Society for Exact Philosophy is an international scholarly association, founded in 1970, to provide sustained discussion among researchers who believe that rigorous methods have a place in philosophical investigations. To this end, the Society meets annually, alternating between locations in Canada and the U.S.
2018 Keynote Speakers: Elaine Landry (UC Davis), Joan Rand Moschovakis (UCLA) and Craige Roberts (NYU/Ohio State).
28 - 29 May 2018, Third Conference on Computational Linguistics in Bulgaria (CLIB 2018), Sofia, BulgariaLocation: Sofia, Bulgaria
CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics focused on but not limited to Bulgarian.
Our invited speakers will be: Dr. Zornitsa Kozareva (Amazon), Dr. Sujith Ravi (Google), and Prof. Ruslan Mitkov (University of Wolverhampton).
(New) 30 May - 1 June 2018, Workshop on Deliberation, Belief Aggregation, and Epistemic Democracy, Paris, FranceLocation: Paris, FranceCosts: none
This interdisciplinary conference will bring together researchers in philosophy, theoretical economics, formal political science, computer science and mathematics who have been independently studying similar questions: namely, opinion formation dynamics, peer interactions and deliberation in social groups, and the implications of these phenomena for the epistemic competency of collective decisions.For more information, see https://sites.google.com/view/dbaed/.
16 - 26 June 2018, 6th World Congress & School on Universal Logic (UNILOG 2018), Vichy, FranceLocation: Vichy, France
UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.
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).
16 - 20 June 2018, Workshop on "Logic, Probability, and their generalisations" at UNILOG 2018, Vichy, FranceLocation: Vichy, France
Logic and Probability have a long partnership, having survived together as a legacy from Leibniz, Bernoulli, De Morgan, Boole, Bolzano, Peirce, Keynes, Carnap, Popper and several other contemporary thinkers. According to this tradition, the problem of generalizing logical consequence relations raises questions that transcends both logic and probability, as a consequence of modern logical pluralism. This also leads to a probability pluralism, represented by non-standard theories of probability (i.e., theories of probability based on non-classical logics) that open new avenues and pose new challenges to theory and to applications.
All such tendencies and areas of investigation are naturally generalized to possibility logics, necessity logics and other credal calculi that extend probability, considering that belief can be regarded as generalized probability or as evidence. This workshop intends to contribute to the state-of-the-art of such research topics, emphasizing the connections between all such topics.
16 - 26 June 2018, Workshop on Model Theory at UNILOG 2018, Vichy, FranceLocation: Vichy, France
We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).
Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.
16 - 17 June 2018, 2nd Chinese Conference on Logic & Argumentation (CLAR 2018), Hangzhou, ChinaLocation: Hangzhou, China
The interplay between logic and argumentation has a long history, from ancient Aristotle's logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China.
18 - 22 June 2018, 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018), Edinburgh, ScotlandLocation: Edinburgh, Scotland
Diagrams 2018 is the tenth conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.For more information, see http://www.diagrams-conference.org/2018/.
18 - 22 June 2018, LOGICA 2018, Hejnice (Czech Republic)Location: Hejnice (Czech Republic)
LOGICA 2018 is the 32nd in the series of annual international symposia devoted to logic to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), on 18 – 22 June 2018.
Invited speakers are Samson Abramsky, Francesco Berto, Danielle Macbeth, and Jaroslav Peregrin. A tutorial will be given by Carles Noguera i Clofent.
18 - 22 June 2018, Conference "From the Fundamental Lemma to Discrete Geometry, to Formal Verification" (60th birthday of Thomas Hales), Pittsburgh PA, U.S.A.Location: Pittsburgh PA, U.S.A.
The conference, held in honor of Thomas C. Hales on the occasion of his 60th birthday, will feature talks on representation theory, discrete geometry, and formal verification, with 1.5 days dedicated to each of these topics and with broadly accessible public lectures at the interfaces.
18 - 22 June 2018, 20th European Agent Systems Summer School (EASSS-2018), Maastrict, The NetherlandsLocation: Maastrict, The Netherlands
As was the case with the earlier editions, EASSS-2018 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 will be taught by leading researchers in the field and are aimed at Masters and PhD students, but can be attended by any interested researcher.
EASSS 2018 is organised under the auspices of EURAMAS, the European Association for Multi-Agent Systems.For more information, see https://project.dke.maastrichtuniversity.nl/easss/ or contact easss at maastrichtuniversity.nl.
20 - 22 June 2018, 16th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Toledo, SpainLocation: Toledo, Spain
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 https://www.paams.net/workshops/demadie.
21 - 26 June 2018, Workshop on Logical Correctness at UNILOG 2018, Vichy (France)Location: Vichy (France)
Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.
Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).For more information, see http://www.uni-log.org/wk6-logical-correctness.html or contact schangfabien at gmail.com.
21 - 26 June 2018, Workshop on Proof Theory at UNILOG 2018, Vichy, FranceLocation: Vichy, France
We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.
21 - 23 June 2018, IACAP 2018: Computing & Philosophy, Warsaw, PolandLocation: Warsaw, Poland
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 2018 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists to explore these topics. Keynote speakers include Ned Block (NYU) and Ed Zalta (Stanford).For more information, see http://www.iacap.org/iacap-2018/.
22 June 2018, Workshop "Approaches to contradiction: old and new", Leeds, EnglandLocation: Leeds, England
You are invited to a one day workshop on the logic of contradictions in Leeds on 22nd June. What follows from a contradiction: everything, something (but not everything), or nothing? What have philosophers and logicians thought historically? What are people saying now?
Speakers: Graham Priest (CUNY), Sara Uckelmann (Durham), Catarina Dutilh Novaes (Groningen) and Alex Douglas (St Andrews). Attendance is free and refreshments will be provided. However, you are asked to register on-line since places will be limited,
The day before the workshop, 21st June, there will be a student workshop introducing current themes in philosophical logic. Graham Priest and Berta Grimau will be speaking at this.For more information, see https://www.eventbrite.co.uk/e/approaches-to-contradiction-old-and-new-tickets-42077868036 or contact Simon Hewitt at s.hewitt at leeds.ac.uk.
23 - 29 June 2018, 8th North American Summer School in Logic, Language and Information (NASSLLI 2018), Pittsburgh PA, U.S.A.Location: Pittsburgh PA, U.S.A.
The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.
NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.
23 - 24 June 2018, Workshop on Practices of Reading & Writing in Logic at UNILOG 2018, Vichy, FranceLocation: Vichy, France
The presently announced workshop aims at an account of logic as construed from logicians' practices of writing and reading, both when working a problem in logic. and when communicating logical problems and solutions with othres. Further interests are activities of commenting or reviewing, and of publishing and collecting. In order to take an interdisciplinary stance, the workshop will allow for a variety of approaches.
Keynote speakers: Prof. Dr. Volker Peckhaus (University of Paderborn), Editor-in-Chief of History and Philosophy of Logic Prof. Dr. Dirk Schlimm (McGill University Montreal / LMU Munich) PD. Dr. Matthias Wille (University of Paderborn).
24 - 25 June 2018, Workshop "Logic & Music" at UNILOG 2018, Vichy, FranceLocation: Vichy, France
Keynote Speaker: Thomas Noll (Barcelona, Spain)
Description: This workshop shall represent a privileged platform to make an important step forward to new universal approaches to logic(s) of music. The Workshop focuses on the relatively autonomous approaches to logic(s) of music and musical logic, i.e. logic in pieces of musical compositions. We invite composers, conductors, musicians and musicologists interested in the interplay between logic and music to submit a paper or just active participation. Another objective is to bring together researchers from all over the world into closer contact.
25 June 2018, Workshop on Logical Geometry and its Applications (WoLGA) at UNILOG 2018, Vichy, FranceLocation: Vichy, France
The Workshop on Logical Geometry and its Applications (WoLGA) at UNILOG 2018 aims to deepen our theoretical understanding of the logical and diagrammatic behavior of Aristotelian diagrams, as well as to broaden our perspective on their (historical and contemporary) applications.
The keynote speaker at WoLGA will be Amirouche Moktefi (Talinn University of Technology, Estonia).For more information, see http://www.logicalgeometry.org/WoLGA-UNILOG2018.htm or contact lorenz.demey at kuleuven.be.
25 - 29 June 2018, XXIInd European Symposium on Medieval Logic & Semantics (ESMLS XXII), Düsseldorf, GermanyLocation: Düsseldorf, Germany
The XXIInd European Symposium on Medieval Logic and Semantics will have the topic "Language, Thought, and Reality: The Continental and British Traditions of Medieval Logic Revisited".For more information, see http://preben.nl/ESMLS.html.
25 June - 9 July 2018, Fifth EPICENTER Spring Course in Epistemic Game Theory 2018, Maastricht University, Maastricht, The NetherlandsLocation: Maastricht University, Maastricht, The Netherlands
The EPICENTER, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.For more information, see http://www.epicenter.name/springcourse/.
25 - 29 June 2018, 11th Young Set Theory Workshop, Lausanne, SwitzerlandLocation: Lausanne, Switzerland
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.
Tutorials: Ilijas Farah (York University), Assaf Rinot (Bar-Ilan University), Christian Rosendal (University of Illinois at Chicago) and Dima Sinapova (University of Illinois at Chicago).For more information, see http://youngsettheory2018.altervista.org/.
25 - 27 June 2018, 7th International Workshop on Computational Social Choice (COMSOC-2018), Troy, NY (USA)Location: Troy, NY (USA)
Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.For more information, see http://www.cs.rpi.edu/~xial/COMSOC18/main.html.
25 - 29 June 2018, 9th International Workshop on Physics and Computation (P&C 2018) , Fontainebleau, FranceLocation: Fontainebleau, France
P&C 2018 is an interdisciplinary meeting which aims to bring together researchers from various domains with interests in physics and computation. Research and important issues relating to the interface between physics and the theories of computation, computability and information, including their application to physical systems, will be presented and discussed. The workshop will be held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which is being held from 25-29 June 2018.
Invited Speakers: Judit X. Madarász, Oron Shagrir
26 - 27 June 2018, Ninth Workshop on the Philosophy of Information: Information Visualisation, Brussels, BelgiumLocation: Brussels, Belgium
The workshops in the Philosophy of Information bring together various philosophical perspectives on the nature and dynamics of information, and focus in particular on novel philosophical questions that arise in the information society. The central theme for the 9th workshop in the series is information visualisation.
Our aim is to focus on informational artefacts that encode or convey information in order to try and explain why visualisations can play a certain epistemic role and why certain visualisation are more effective than others. A special attention will be given to the study of how scientists rely on visualisations and how visual artefacts are designed in the sciences. On this basis, we wish to explore convergences between the philosophy of information and the philosophy of science as well as between the formal sciences (logic, computing) and the philosophy of information.
29 - 30 June 2018, Workshop "DMV-Studierendenkolleg: UnDecidability", Hamburg, GermanyLocation: Hamburg, Germany
This two days DMV Studierendenkolleg is concerned with the topic of undecidability. In several talks and workshops we will be introduced to the topic and receive an overview, also concerning the intersections with other topics in mathematics (here infinite combinatorics). Finally we will catch a glimpse of today's scientific borders in two research talks.
Speakers: Carolin Antos (U Konstanz), Nathan Bowler (U Hamburg), Martin Goldstern (TU Vienna), Pascal Gollin (U Hamburg), Regula Krapf (U Koblenz-Landau), Christian Reiher (U Hamburg) and Daniel T. Soukup (U Vienna).
(Updated) 1 - 6 July 2018, 2nd School on Foundations of Programming and Software Systems (FOPSS): Logic and Learning, Oxford, EnglandLocation: Oxford, England
Using logic as the foundation to understand machine learning to obtain the best of both worlds is a major challenge. The Logic & Learning School is an opportunity to learn from, and interact with, the world's experts leading recent progress in understanding the relationships between logic and learning. These experts come from both academia and some of the leading industrial research labs (Amazon Research and DeepMind).
The programme of the Logic & Learning School consists of ten lectures of three hours each, starting with four introductory courses on computational and statistical learning theory, reinforcement learning and Bayesian inference, and six advanced courses on exciting and recent developments relating logic and learning. The lectures target an audience of logicians and computer scientists broadly construed and do not assume any knowledge on machine learning. The summer school is perfectly aligned for students who want to attend the four-yearly Federated Logic Conference (FLOC) taking place in Oxford after the summer school.For more information, see http://fopss18.mimuw.edu.pl/.
2 - 7 July 2018, Summer School on the Foundations of Geometry in Historical Perspective, Leipzig, GermanyLocation: Leipzig, Germany
The Max Planck Institute for Mathematics in the Sciences in Leipzig organizes a Summer School on the Foundations of Geometry in Historical Perspective. The School deals with a selection of topics in history of geometry, philosophy of geometry, and the history and the contemporary perspectives on the foundations of geometry. The School is open to PhD students writing a dissertation in any of the related field, as well as to Master Students in their final years who have a strong interest in the discipline, and post-doctoral researchers who have obtained their PhD since no more than five years and whose main field of research are the history and the foundations of geometry.
The six days of the School are dedicated to an intensive series of lectures and discussions on various aspects of the history of the foundations of geometry, given by leading experts in the field: Andrew Arana (Université Pantheon-Sorbonne), Vincenzo De Risi (CNRS, Paris), Jeremy Gray (Open University, Milton Keynes), Gerhard Heinzmann (Archives Poincaré, Nancy), Jürgen Jost (MPI MiS, Leipzig), and Victor Pambuccian (Arizona State University, Phoenix).For more information, see https://www.mis.mpg.de/calendar/conferences/2018/geometry2018.html.
3 - 6 July 2018, 14th International Conference on Deontic Logic and Normative Systems (DEON 2018), Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law.
In addition to these general themes, DEON 2018 will encourage a special focus on the topic: 'Deontic reasoning for responsible AI'.For more information, see https://deon2018.sites.uu.nl.
6 - 19 July 2018, 7th Federated Logic Conference (FLoC'18), Oxford, EnglandLocation: Oxford, England
FLoC 2018 brings together nine major international conferences related to mathematical logic and computer science:
- International Conference on Computer Aided Verification (CAV)
- IEEE Computer Security Foundations Symposium (CSF)
- International Symposium on Formal Methods (FM)
- International Conference on Formal Structures for Computation and Deduction (FSCD)
- International Conference on Logic Programming (ICLP)
- International Joint Conference on Automated Reasoning (IJCAR)
- International Conference on Interactive Theorem Proving (ITP)
- Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- International Conference on Theory and Applications of Satisfiability Testing (SAT)
Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the School on Foundations of Programming and Software Systems (FoPSS, 30 June - 6 July).
We have already begun confirming exciting lineup of speakers, including keynotes by Shafi Goldwasser and Georges Gonthier; plenary lectures by Peter O'Hearn and Byron Cook; and a public lecture by Stuart Russell at the Sheldonian Theatre. We will also hold an Oxford Union-style debate on ethics for autonomous robots. There will be banquets, receptions and other social events in historic venues across the city.For more information, see http://www.floc2018.org/.
7 July 2018, Seventh International Workshop on Classical Logic and Computation (CL&C 2018), Oxford, EnglandLocation: Oxford, England
CL&C is focused on the interplay between, on one side, the exploration of the computational content of classical mathematical proofs, and on the other side, the languages and the semantical models proposed in computer science for this task: continuations, game models, denotational models, learning models and so forth. The scientific aim of this workshop is to bring together researchers from both proof theory and computer science and to exchange ideas. This year, CL&C will be held as a satellite workshop of FSCD 2018 (former TLCA + RTA).
Invited Speaker: Alex Simpson.
9 - 12 July 2018, 12th International Congress of the International Society for the History of Philosophy of Science (HOPOS 2018), Groningen (The Netherlands)Location: Groningen (The Netherlands)
HOPOS is devoted to promoting serious, scholarly research on the history of the philosophy of science. We construe this subject broadly, to include topics in the history of related disciplines and in all historical periods, studied through diverse methodologies. We aim to promote historical work in a variety of ways, but especially through encouraging exchange among scholars through meetings, publications, and electronic media.
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. Keynote speakers: Karen Detlefsen (University of Pennsylvania) and Martin Kusch (University of Vienna).
9 - 12 July 2018, 9th International Conference on Interactive Theorem Proving (ITP 2018), Oxford, EnglandLocation: Oxford, England
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.
9 - 12 July 2018, Third International Conference on Formal Structures for Computation and Deduction (FSCD'18), Oxford, EnglandLocation: Oxford, England
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. FSCD'18 is part of The Federated Logic Conference, FLoC 2018.For more information, see http://fscd-conference.org/editions/fscd-2018.
9 - 12 July 2018, Twenty-first International Conference on Theory & Applications of Satisfiability Testing (SAT 2018), Oxford, EnglandLocation: Oxford, England
The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. SAT 2018 will take place as part of the Federated Logic Conference (FLoC) in Oxford.
9 - 13 July 2018, Workshop on Ramsey Theory & Computability Theory, Rome, ItalyLocation: Rome, Italy
The intention of the workshop is to bring together researchers in Ramsey theory, computability theory, and related areas in combinatorics and logic, to share ideas and results, and to begin or continue collaborations. To this end, the workshop will combine talks with free time for discussions and collaboration.For more information, see http://rome2018.computabilitytheory.com.
(New) 9 - 13 July 2018, Summer School on Logic, Uncertainty, & Games (LUG 2018), Lake Como, ItalyLocation: Lake Como, Italy
The goal of the Logic, Uncertainty and Games School is to contribute towards the creation of cross-disciplinary common grounds for research on rational reasoning and (interactive) decision making under uncertainty. To this end the School will feature three eight-hour tutorials delivered by leading experts in the fields of Logic, Uncertainty and Games.
Each tutorial is followed by one (or more) example-class session aimed at developing in greater detail one specific topic (e.g. the full proof of a theorem or a generalisation of a notion which is being used in a particular case).
Finally, graduate students and junior researchers will deliver Work-in-progress sessions. This will provide them a unique opportunity to receive feedback from the School lecturers, while developing strong inter-disciplinary communication skills.
14 - 17 July 2018, 9th International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, EnglandLocation: Oxford, England
IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks.
IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods).For more information, see http://www.ijcar2018.org.
16 - 18 July 2018, Thirteenth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 13), Milan, ItalyLocation: Milan, Italy
This is the 13th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. The three-day conference will give opportunity for paper presentations and discussions.
Among the topics of particular relevance are:
- Modal logics for games and protocols
- Foundations of game and decision theory
- Learning and information-processing models
- Bounded rationality approaches to game and decision theory.For more information, see http://faculty.econ.ucdavis.edu/faculty/bonanno/loft.html.
16 - 27 July 2018, 2nd Crete Summer School of Linguistics, Crete, GreeceLocation: Crete, GreeceTarget audience: MOL and PhD students
There will be introductory courses and advanced seminars on syntax, phonology, sign language, morphology, semantics, syntax-semantics interface, phonology-syntax interface, language evolution, animal communication and historical linguistics.
24 - 27 July 2018, 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018), Bogota, ColombiaLocation: Bogota, Colombia
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 http://wollic.org/wollic2018/.
30 July - 3 August 2018, Computability in Europe 2018 (CiE 2018), Kiel, GermanyLocation: Kiel, Germany
CiE 2018 is the fourteenth 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.
The conference will feature Special Sessions on Approximation and Optimisation, Bioinformatics and Bio-inspired Computing, Computing with Imperfect Information, Continuous Computation, History and Philosophy of Computing, and SAT-Solving. Tutoral Speakers: Pinar Heggernes (Bergen, Norway) and Bakhadyr Khoussainov (Auckland, NZ). Invited Speakers: Kousha Etessami (Edinburgh, UK), Johanna Franklin (Hempstead, US), Mai Gehrke (Paris, France), Alberto Marcone (Udine, Italy), Alexandra Silva (London, UK) and Jeffrey O. Shallit (Waterloo, Canada).
6 - 17 August 2018, 30th European Summer School in Logic, Language and Information (ESSLLI 2018), Sofia, BulgariaLocation: Sofia, Bulgaria
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.
6 - 17 August 2018, ESSLLI 2018 Student Session, Sofia, BulgariaLocation: Sofia, Bulgaria
The Student Session of the 30th European Summer School in Logic, Language and Information (ESSLII 2018) 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).
11 - 12 August 2018, 23rd Conference on Formal Grammar (FG 2018), Sofia, BulgariaLocation: Sofia, Bulgaria
FG-2018 is the 23rd conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2018, will take place in Sofia, Bulgaria.
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 http://fg.phil.hhu.de/2018/.
22 - 26 August 2018, Second SYSMICS Summer School, Les Diablerets, SwitzerlandLocation: Les Diablerets, SwitzerlandTarget audience: Master's and PhD studentsCosts: CHF 652 (single room) / CHF 556 (shared double room)
The second summer school for the EU RISE project SYSMICS (Syntax meets Semantics - Methods, Interactions, and Connections in Substructural Logics) will take place 22-26 August 2018 at Hotel Les Sources in Les Diablerets, Switzerland. This school will precede two logic conferences taking place in Bern the following week: Logic, Algebra and Truth Degrees (LATD) 2018 and Advances in Modal Logic (AiML) 2018.
Tutorials will be given each morning by Peter Jipsen (Chapman University), David J. Pym (University College London), and Alexandra Silva (University College London), and in the early evening there will be lectures by Johan van Benthem (University of Amsterdam), Laura Kovács (Vienna University of technology), and Fred Wehrung (University of Caen). Since places for the school are limited, we ask students to register online via the webpage before 30 April 2018.
22 - 24 August 2018, KNAW Academy Colloquium "Generalised Baire Spaces", Amsterdam, The NetherlandsLocation: Amsterdam, The Netherlands
The study of generalised Baire spaces has developed into a research area in its own right with a rich overarching theory, internally motivated open questions (cf. Khomskii, Laguzzi, Loewe, Sharankou 2016) and an active research community, combining methods and techniques from several branches of set theory as well as classical model theory. While many concepts from the classical setting can be transferred to generalised Baire space and some classical results remain true at uncountable cardinals, in general the rich combinatorial nature of uncountable cardinals causes the theory of the corresponding spaces to differ significantly, e.g., notions which are equivalent in the classical setting can lead to different notions in the generalised theory. Phenomena like this shed light on structures and properties otherwise hidden in the classical setting.
This Academy Colloquium is a reunion of the research community after a hiatus of two years. The Colloquium will be preceded by an associated KNAW Master Class for postgraduate students in order to prepare them for the talks at the Colloquium.For more information, see http://events.illc.uva.nl/KNAW2018/.
27 - 31 August 2018, 12th International Conference on Advances in Modal Logic (AiML 2018), Bern, SwitzerlandLocation: Bern, Switzerland
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2018 is the 12th conference in the series, and will be co-located with the sixth edition of the conference "Logic, Algebra and Truth Degrees" (LATD 2018).
2 - 5 September 2018, 1st International Summer School on Proof Theory, Ghent, BelgiumLocation: Ghent, BelgiumTarget audience: advanced master students, PhD students postdocs and experienced researchers in mathematics, computer science and philosophy
The aim of the summer school is to cover basic and advanced topics in proof theory. The focus of the first edition will be on structural proof theory, ordinal analysis, provability logic, automated theorem proving, and philosophical aspects of proof. The summer school is co-located with a workshop on proof theory in Ghent (6-7 September), which will also cover other areas like reverse mathematics, proof mining, and proof complexity.For more information, see http://www.proofsociety.org/summer-school-2018/.
3 September 2018, Mini-Symposium "Mathematical Logic" at the 18th EWM meeting, Graz, AustriaLocation: Graz, Austria
The 18th European Women in Mathematics General Meeting focuses on female mathematicians and their achievements. As part of this event, the Mini-Symposium on Mathematical Logic concentrates on recent results that demonstrate the fruitfulness of working at the interface between different parts of logic -- that is, model theory, set theory, recursion (or computability) theory and proof theory -- or between logic and other areas of mathematics. Our speakers therefore come from different fields of mathematical logic and are interested in cross-connections between their fields and areas of application such as topology, group theory, real geometry and combinatorics. For the general audience we are planning an introductory lecture on recent developments in model theory and its applications to real geometry.
Invited speakers: Laura Fontanella (Université Aix Marseille), Charlotte Kestner (Imperial College, London) Salma Kuhlmann (University of Konstanz), Heike Mildenberger (Albert-Ludwigs University of Freiburg), Diana Carolina Montoya (Kurt Gödel Research Center, Vienna).For more information, see http://www.math.uni-konstanz.de/~thomas/ewm2018logic/.
5 - 7 September 2018, SuB 23: Sinn & Bedeutung, Barcelona, SpainLocation: Barcelona, Spain
The Sinn und Bedeutung (SuB) conference has in recent years emerged as one of the biggest venues for formal semantics and pragmatics representing the full breadth of the field, and we aim to maintain this tradition.
Invited speakers: Berit Gehrke, Wolfram Hinzen, Beth Levin and Judith Tonhauser.For more information, see https://easychair.org/conferences/?conf=sub23.
11 - 14 September 2018, Twenty-first International Conference on Text, Speech, & Dialogue (TSD 2018), Brno, Czech RepublicLocation: Brno, Czech Republic
The conference focuses on all that is new in artificial intelligence such as natural language processing, speech processing and human-computer communication and interaction. In its field, this conference is a special event attracting about 150 experts from 30 countries from around the world every year. The fact that the conference proceedings are published by Springer-Verlag in its series of Lecture Notes in Artificial Intelligence further attests to the international prestige of the conference.
The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. Papers will be presented in plenary or topic oriented sessions. The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee. Keynote speaker: Kenneth Church, IBM Thomas J. Watson Research Center, USA.
1 - 5 November 2018, 6th World Congress on the Square of Opposition, Chania/Crete (Greece)
This will be the 6th world congress organized about the square of opposition after very successful previous editions in Montreux 2007, Corsica 2010, Beirut, 2012, Vatican, 2014, Easter Island, 2016. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitive scientists, artists, linguists and computer scientists.
16 - 19 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation, GeorgiaLocation: Georgia
The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. There have been ten 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), Tbilisi (2015) and Lagodekhi (2017).