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
CfP commemorative issue of "Theory of Computing Systems" in memory of Alan Selman of ToCSDeadline: Saturday 31 July 2021
We are editing a commemorative issue in memory of Alan Selman, former editor-in-chief of the journal Theory of Computing Systems and community leader in computational complexity, who passed away on 22nd January 2021.
We solicit contributions in the form of new research investigations, technical surveys, and memoirs. A technical contribution may include a section describing Alan’s inﬂuence on the authors, both on their academic careers and personal lives.For more information, see https://www.springer.com/journal/224/updates/18863610.
20 - 27 September 2021, The 8th Workshop on Probabilistic Logic Programming (PLP 2021), VirtualLocation: VirtualDeadline: Sunday 1 August 2021
Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms.
The workshop encompasses all aspects of combining logic, algorithms, programming and probability and provides a forum for the exchange of ideas, presentation of results and preliminary work. After seven successful editions of this workshop, the eighth edition of PLP will be held at the ICLP virtual conference organised by the University of Porto. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ICLP.
Submissions will be managed via EasyChair. Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results; work in progress; and technical summaries of recent substantial contributions. Papers presenting new results should be 6-15 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution.For more information, see http://stoics.org.uk/plp/plp2021.
4 - 6 October 2021, Reasoning and Interaction Conference (ReInAct2021), Virtual and Goeteborg, SwedenLocation: Virtual and Goeteborg, SwedenDeadline: Friday 6 August 2021
Reasoning and Interaction (ReInAct) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP), at the Department of Philosophy, Linguistics and Theory of Science (FLoV). It is sponsored by SIGSEM, the ACL special interest group on semantics. The ReInAct conference proceedings will be published online in the ACL Anthology for 2021 as a SIGSEM workshop event.
ReInAct will bring together researchers interested in computationally relevant approaches to reasoning and interaction in natural language. ReInAct is open to Machine Learning, Symbolic and Experimental approaches, as well as combinations of these. ReInAct will also involve a shared task on Dialogue Natural Language Inference (DNLI).
We welcome all computational and/or computationally relevant approaches to reasoning and interaction in natural language. Papers are invited on topics in these and closely related areas.
ReInAct2021 will feature three types of submissions: long papers, student papers, and short papers. Long papers must describe original research, and they must not exceed 8 pages excluding references. Student papers describe original research, and the first author must be a student, or at least 2/3 of the work on a paper should be done by students. Student papers must not exceed 6 pages excluding references. Short papers present work in progress, or they describe systems and/or projects. They must not exceed 4 pages excluding references. Position papers are also accepted. These should be formatted in the same way as long papers. Submissions should be pdf files and use the Latex or Word templates provided for ACL 2021 submissions.For more information, see https://sites.google.com/view/reinact2021/.
19 - 24 September 2021, Workshop Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2021) , VirtualLocation: VirtualDeadline: Monday 30 August 2021
CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.
Invited Speakers: Suguman Bransal (U Penn), Franz Brauße (U Manchester), Sewon Park (KAIST), Monika Seisenberger (Swansea U) and Michael Yampolsky (U Toronto). Tutorial Speaker: André Platzer (CMU).
Extended abstracts (1-2 pages) of original work are welcome. The workshop specifically invites contributions in the areas of Exact real number computation, Correctness of algorithms on infinite data, Computable analysis, Complexity of real numbers, real-valued functions, etc. Effective descriptive set theory, Domain theory, Constructive analysis, Category-theoretic approaches to computation on infinite data, Weihrauch degrees, And related areas.For more information, see http://www.cs.bham.ac.uk/~axj/ccc2021.
6 - 8 December 2021, Trends in Logic XXI "Frontiers of connexive logic", Bochum, GermanyLocation: Bochum, GermanyDeadline: Tuesday 31 August 2021
The 21st Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from December 6-December 8, 2021 under the title 'Frontiers of connexive logic'. It is organized by the chairs of Logic and Epistemology and Nonclassical Logic at the Department of Philosophy I of Ruhr University Bochum, in co-operation with Studia Logica.
Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, after six annual workshops, the Trends in Logic XXI aims at discussing directions for future research in connexive logics.
Any papers related to connexive logics are welcome. Moreover, we will have a special session on contra-classical logics, and thus any papers related to contra-classical logics are welcome. Submissions of extended abstracts (up to three pages) should be submitted electronically as pdf documents using the EasyChair submission page. At least one author of each accepted paper must register for, and attend, the conference to present their work. Full versions of selected papers will be published in a special issue of Studia Logica after an open call for papers.
23 - 26 November 2021, 3rd international conference on Non-classical Modal and Predicate Logics (NCMPL 2021), Bochum, GermanyLocation: Bochum, GermanyDeadline: Wednesday 1 September 2021
Modalities and predicates have since ancient time been central notions of logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of a non-classical treatment of quantifiers and modalities and the accommodation of quantifiers and modalities in non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.
NCMPL is a conference series solely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.
The scope includes theoretical works on the conference topics coming from all branches of formal logic (proof-theory, model theory, game theory, computational complexity, philosophical and historical aspects), as well as their applications in computer science, linguistics, philosophy, etc. Strong papers on propositional logics can also be accepted, provided they relate to the themes in the main scope of the conference (e.g., the study of completions in algebraic semantics, infinitary logics, etc.). Full versions of selected papers will be published in a special issue of an international peer-reviewed journal (to be specified).
10 - 13 January 2022, Symposium on Logical Foundations of Computer Science (LFCS'22), Deerfield Beach, Florida, U.S.A.Location: Deerfield Beach, Florida, U.S.A.Deadline: Sunday 12 September 2021
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.
LFCS topics of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.
Traditionally, LFCS symposia are located in the spectacular Wyndham Deerfield Beach Resort, Deerfield Beach, Florida. We will decide about the format (online, in person, or hybrid) of LFCS'22 later.
Proceedings will be published in the Springer LNCS series. Submissions should be made electronically via easychair. Submitted papers must be in pdf/12pt format and of no more than 15 pages, present work not previously published, and must not be submitted concurrently to another conference with refereed proceedings.
A traditional post-conference volume of selected LFCS'22 papers will be published in the Journal of Logic and Computation in 2022.
LFCS issues the best student paper award named after John Barkley Rosser Sr. (1907-1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science.
12 - 16 January 2022, Symposium on Logic and Artificial Intelligence (SLAI-2022), VirtualLocation: VirtualDeadline: Monday 18 October 2021
The Symposium on Logic and AI (SLAI) is annually organized by the International Society for Logic and Artificial Intelligence in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. SLAI-2022 is devoted to the World Logic Day (January 14, 2022). Round tables are planned to ensure an open debate on the state of the art and new directions.
Collocated to SLAI-2022 events are
- Moldovan Prizes in Logic and Artificial Intelligence
- Romanian Prizes in Logic and Artificial Intelligence
- Ukrainian Seminar on Logic and its Applications
Any original contributions are welcome. Submitted papers are required to be 6-16 pages in English, and using the MFOI templates. Papers are submitted through EasyChair System. One author can submit at most 3 papers.
CfP special issue of Topoi on "Mathematical Practice & Social Ontology"Deadline: Wednesday 1 December 2021
The relationship between mathematics and social ontology is often guided by the question of the possibility of applying mathematics to social sciences, especially economy. As interesting as these questions may be, they neglect the inverse possibility of applying a conceptual analysis derived from social ontology to mathematics. The issue will be devoted to the question whether the distinction between social object and social fact, on the one hand, and between different theoretical approaches to the notion of social fact, can be successfully applied to mathematical practice.
All papers will be double-blind peer-reviewed. Submission is organized through TOPOI's online editorial manager. Papers should not exceed 8000 words (excluding notes).For more information, see https://www.springer.com/journal/11245/updates/18364346 or contact Paola Cantù at paola.cantu at univ-amu.fr, or Italo Testa at italo.testa at unipr.it.
CfP Special Issue of Annals of Pure and Applied Logic (APAL) on “Combining Probability and Logic”Deadline: Friday 31 December 2021
We invite submissions for a Special Issue on “Combining Probability and Logic”, to be published with Annals of Pure and Applied Logic.
Classically, logic and probability offer competing representations of partial or incomplete information, with the former assuming a qualitative perspective on uncertainty and the latter focusing on a quantitative account. Both provide their own policies for updating on new information, combining evidence from different sources, and acting under partial information.
We solicit submissions of original papers that bridge these two perspectives. These could, for instance, connect representations of inductive reasoning in either setting, but they may also apply to specific sub-areas, such as game theory, network theory, causal modelling, machine learning, or maximum entropy reasoning. Likewise, the Special Issue is interested in articles that apply probabilistic tools to the study of logical systems or that use logical frameworks, classical or substructural, for understanding probabilistic approaches.For more information, see here or at https://www.journals.elsevier.com/annals-of-pure-and-applied-logic/call-for-papers/special-issue-on-combining-probability-and-logic or contact Soroush Rafiee Rad at soroush.r.rad at gmail.com.
26 July - 13 August 2021, 32nd European Summer School in Logic, Language and Information (ESSLLI 2021), OnlineLocation: Online
Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world.
The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures.
The circumstances around the coronavirus (COVID-19) pandemic forced the organizers to postpone the 32nd edition of ESSLLI, planned for 2020 in Utrecht as ESSLLI-2020, to 26 july-13 august 2021, as well as hold it online. In view of the online format, the program is spread over three weeks so as to facilitate attendance.
26 July - 13 August 2021, ESSLLI 2021 Student Session, OnlineLocation: OnlineTarget audience: PhD and Master students
The Student Session of the 32nd European Summer School in Logic, Language, and Information (ESSLLI) will take place online during ESSLLI 2021 at Utrecht University, the Netherlands, August 2nd to 13th, 2021.
26 - 28 July 2021, Eighteenth International Conference on Computability and Complexity in Analysis (CCA 2021), VirtualLocation: Virtual
The conference is concerned with the theory of computability and complexity over real-valued data. The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.For more information, see http://cca-net.de/cca2021/.
26 - 31 July 2021, Workshop on Natural Formal Mathematics (NatFoM 2021), VirtualLocation: Virtual
In mathematics there has always existed a strong informal sense of "naturality". Natural theories, notions, properties, or proofs are prefered over technical, convoluted, or counterintuitive approaches. If formal mathematics is to become part of mainstream mathematics, its formalizations and user experience have to become more natural. This workshop, following a first edition in 2020, broadly addresses the issue of naturality in formal mathematics.
NatFoM 2021 wil be held as part of the 14th Conference on Intelligent Computer Mathematics (CICM 2021).. Invited speaker: Jeremy Avigad.For more information, see https://cicm-conference.org/2021/cicm.php?event=NFM.
27 - 30 July 2021, 37th Conference on Uncertainty in Artificial Intelligence (UAI) , VirtualLocation: Virtual
The Conference on Uncertainty in Artificial Intelligence (UAI) is one of the premier international conferences on research related to learning and reasoning in the presence of uncertainty. UAI 2021 will be held fully online from 27 to 30 July 2021.
29 - 30 July 2021, ESSLLI 2021 Workshop "Workshop on automated synthesis", VirtualLocation: Virtual
The workshop aims to bring together work on using logic, games and automata for automatically generating plans and strategies for AI agents, especially under uncertainty and resource constraints. Topics include, but are not limited to: reactive synthesis, behaviour and service composition, strategy synthesis under resource constraints, epistemic planning.
The workshop will consist of a mixture of invited talks introducing topics in the area of the workshop and contributed talks by PhD students. Workshop participants are required to register for ESSLLI 2021.For more information, see https://esslli2021.unibz.it/page/workshop/workshop_on_automated_synthesis/ or contact Natasha Alechina at n.a.alechina at uu.nl.
(Updated) 1 - 4 August 2021, Spatial Cognition 2020/1 (SC 2020/1), Online (Zoom)Location: Online (Zoom)
Spatial Cognition is concerned with the acquisition, development, representation, organization, and use of knowledge about spatial objects in real, virtual or hybrid environments and processed by human or artificial agents. Spatial Cognition includes research from different fields insofar as they are concerned with cognitive agents and space. Research issues in the field range from the investigation of human spatial cognition to mobile robot navigation. SC 2020 will bring together researchers working on spatial cognition from all of these perspectives.
The conference is single-track, and the final program will be the result of a selective review process. The program will include oral and poster presentations of refereed papers, and keynote talks by Sara I. Fabrikant, Steve Franconeri and Laure Rondi-Reig.
The initial conference was scheduled August 2020 to be held in Riga, Latvia; this is the postponed version of it.The participants will receive the details and updates about Zoom events by email when the registration closes on July 25, 2021.
(Updated) 9 - 13 August 2021, ESSLLI-2021 Workshop "Approaches to Implicature", Online via ZoomLocation: Online via Zoom
Recent work in implicature has seen a great deal of activity within two lines of research: the rational choice approach associated with game-theoretic pragmatics and the Bayesian Rational Speech Act framework, and the exhaustification-based approach. While these frameworks have generally been thought to be in theoretical tension, there are also underexplored ways to combine them, with the potential to benefit both approaches. The workshop will explore explicit comparisons between the two frameworks as well as efforts to combine them, with the hope of producing a more unified theory of implicature and a more general understanding of the data that such a theory must account for.For more information, see https://sites.google.com/view/approachestoimplicature/ or contact Dan Lassiter at danlassiter at stanford.edu.
(Updated) 9 - 11 August 2021, 17th Algorithms and Data Structures Symposium (WADS 2021), VirtualLocation: Virtual
The Algorithms and Data Structures Symposium, WADS, which alternates with the Scandinavian Symposium and Workshops on Algorithm Theory, SWAT, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures.
WADS 2021 will be fully online. CCCG 2021, the 33rd Canadian Conference on Computational Geometry, is planned for August 10-12, and was originally planned to be held at the same location.For more information, see https://projects.cs.dal.ca/wads2021/.
9 - 10 August 2021, ESSLLI Workshop on Logics of Dependence & Independence (LoDE 2021), OnlineLocation: Online
Logics of dependence and independence are novel extensions of classical logics aiming at characterizing dependence and independence notions in sciences. This field of research has grown rapidly in recent years. The framework of the logics has found applications also in fields like database theory, linguistics, social choice, quantum physics and so on. This workshop will bring together researchers from all these relevant areas and provide a snapshot of the state of the art of logics of dependence and independence.
This workshop is organized as part of the 32nd European Summer School in Logic, Language and Information (ESSLLI 2021): https://www.esslli.eu. The workshop has a 2-day program. The exact dates will be announced soon, see ESSLLI homepage for updates.
9 - 10 August 2021, ESSLLI 2021 Workshop "Computational and Experimental Explanations in Semantics and Pragmatics"Location: Online
The field of natural language semantics has undergone what some refer to as an 'experimental turn' and is arguably currently undergoing a 'computational turn'. By expanding the toolbox available to the semanticist, these two turns have the effect of expanding the phenomena that can be explained and the varieties of semantic explanations that can be offered.
Given this wider toolbox and purview, we aim to gather a workshop to showcase exciting new work that develops new semantic explanations using experimental and computational methods, as well as to invite broader reflection on the methodology of semantics now and in its future.For more information, see https://www.jakubszymanik.com/CoSaQ/events/explanations-semantics/ or contact Jakub Szymanik at jakub.szymanik at gmail.com.
(Updated) 16 - 20 August 2021, 25th International Conference on Developments in Language Theory (DLT 2021), Virtual and/or Porto (Portugal)Location: Virtual and/or Porto (Portugal)
DLT is International Conference Series under the auspices of the European Association for Theoretical Computer Science (EATCS). The purpose of this conference is to bring together members of the academic, research, and industrial community who have an interest in formal languages, automata theory, and related areas.
DLT 2021 will be held at Faculty of Sciences of University of Porto in an hybrid format with both in person and online participation.
23 - 27 August 2021, The 15th International Conference on Grammatical Inference (ICGI 2020/21), OnlineLocation: Online
Initially scheduled on August 26-28 2020 at NYC SUNY Global Center, ICGI’20 will be held on-line at the end of the summer 2021. This bi-annual conference focuses on all aspects of grammar learning, including (but not limited to) theoretical and experimental analysis of different models of grammar induction, and algorithms for induction of different classes of languages and automata.
This edition will provide a particular insight on the relation with connectionist models such as neural networks: tutorials of the first day will focus on that subject and authors are encouraged to submit works on that subject.
23 - 27 August 2021, 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), VirtualLocation: Virtual
The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
FMICS 2021 is part of the QONFEST umbrella conference. This year, a special session will be included on Formal Methods for Blockchain-based Smart Contracts along with a panel on this topic. Keynote Speaker: Joe Kiniry (Galois Inc. and Free & Fair, US).For more information, see https://qonfest2021.lacl.fr/fmics21.php.
27 - 28 August 2021, Mathematics & Analogical Reasoning, Munich, GermanyLocation: Munich, Germany
Sometimes particular mathematical structures serve scientists as heuristic devices in their own right by giving indications of structural similarities between otherwise unrelated physical systems. And in philosophical discourse, it is often not singular mathematical formulas, but the entire structure of mathematics that is used as an argumentative point of reference. The goal of this conference is to investigate the role of mathematics as a heuristic device for analogical reasoning in science and philosophy.
The conference has been postponed to 2021 due to the COVID-19 epidemic.For more information, see https://silviajonas.wixsite.com/mathematicsanalogies or contact Silvia Jonas at silvia.jonas at lmu.de.
30 August - 2 September 2021, 37th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXVII / MFPS 2021), Virtual and/or Salzburg (Austria)Location: Virtual and/or Salzburg (Austria)
MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.
MFPS 2021 is co-located with the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Due to the pandemic situation, the conference will take place online. Should the situation improve and allow some international travel, we will do our best to organize a small component of the meeting in Salzburg for those participants who wish to attend the meeting in person.
31 August - 3 September 2021, 9th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), Virtual and/or Salzburg (Austria)Location: Virtual and/or Salzburg (Austria)
CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). It aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. The 9th edition will be held in Salzburg, Austria, colocated with MFPS XXXVII.For more information, see https://www.coalg.org/calco-mfps2021/calco/.
1 - 3 September 2021, Third Biennial Conference on Language, Data and Knowledge (LDK2021), Zaragoza (Spain) and virtualLocation: Zaragoza (Spain) and virtual
This conference aims at bringing together researchers from across disciplines concerned with the acquisition, curation and use of language data in the context of data science and knowledge-based applications. This builds upon the success of the inaugural event held in Galway, Ireland in 2017 and the second LDK in Leipzig, Germany in 2019.
In order to allow more people to attend the Conference physically, and due to the current state in the COVID-19 pandemic in Europe, we decided to postpone LDK 2021 to early September. The conference will allow remote presentations by participants who cannot attend the conference in person owing to COVID-19 travelling restrictions, but we do think that physical encounter and gossip leads to better research.For more information, see http://2021.ldk-conf.org/.
September 2021, CL2020: Colloquium Logicum 2020, Konstanz, GermanyLocation: Konstanz, Germany
The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence. In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.
Keynote Speakers: Laurent Bienvenu (Bordeaux), Catrin Campbell-Moore (Bristol), Wesley Holliday (Berkeley), Christian Ikenmeyer (Liverpool), Angeliki Koutsoukou-Argyraki (Cambridge), Alison Pease (Dundee) and Margaret Thomas (West Lafayette).
Postponed (due to pandemic) to September 2021.
5 - 8 September 2021, Logic @ DGPhil, Erlangen, GermanyLocation: Erlangen, Germany
There will be a section on Logic and Philosophy of Mathematics at the XXVth Congress of the German Society for Philosophy (DGPhil), "The True, the Good, and the Beautiful".
Unfortunately, due to the current Covid-19 pandemic it is impossible to hold our congress as planned (6th – 9th September 2020). It is not yet clear whether it would even be legally possible to hold it this year. However, it is clear that it would require very severe restrictions, so that essential goals of the congress could not be achieved. The congress is therefore postponed by one year.For more information, see https://dgphil2020.fau.de/en/.
5 - 10 September 2021, 6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021), Virtual & Aussois (France)Location: Virtual & 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, mathematics, physics, relations to general AI, Formal Abstracts, linguistic processing of mathematics/science, 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/2021.
6 - 9 September 2021, Twenty-fourth International Conference on Text, Speech and Dialogue (TSD2021), Olomouc (Czech Republic) or VirtualLocation: Olomouc (Czech Republic) or Virtual
The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. The conference program will include presentation of invited papers (keynote speeches), oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions.
TSD2021 is going to take place in the beautiful city of Olomouc, Czech Republic. Thus, it is nicely colocated with Interspeech 2021 which is going to be held in Brno, Czech Republic. But as the situation in September 2021 cannot be easily predicted, the TSD2021 organizing committee is ready to organize a virtual conference, if necessary.
6 - 9 September 2021, The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021), Birmingham (UK) and VirtualLocation: Birmingham (UK) and Virtual
TABLEAUX is the main international conference at which research on all aspects -- theoretical foundations, implementation techniques, systems development and applications -- of tableaux-based reasoning and related methods is presented.
TABLEAUX 2021 will be co-located with the 13th International Symposium on Frontiers of Combining Systems (FroCoS 2021). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.
8 - 10 September 2021, The 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), VirtualLocation: Virtual
Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects etc.). Powerful algorithms have been developed during the past decades for the major subareas of symbolic computation: computer algebra and computational logic. Meanwhile, artificial intelligence methods and machine learning algorithms are widely used nowadays in various domains and, in particular, combined with symbolic computation. Several approaches mix artificial intelligence and symbolic methods and tools deployed over large corpora to create what is known as cognitive systems. Cognitive computing focuses on building systems which interact with humans naturally by reasoning, aiming at learning at scale.
The purpose of SCSS 2021 is to promote research on theoretical and practical aspects of symbolic computation in software science, combined with modern artificial intelligence techniques.For more information, see https://www.risc.jku.at/conferences/scss2021/.
8 - 10 September 2021, The 17th Reasoning Web Summer School (RW 2020) , VirtualLocation: Virtual
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers carefully selected to cover a wide range of topics relevant to the school (see below).
The summer school is part of Declarative AI 2021 and is co-located with RuleML+RR 2021 and DecisionCAMP 2021. The students attending the RW school are particularly encouraged to also apply to the Doctoral Consortium of RuleML+RR. The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process.For more information, see https://declarativeai2021.net/reasoning-web.
9 - 10 September 2021, Seventh International Workshop on Controlled Natural Language (CNL 2020)Location: AmsterdamTarget audience: researchers and practitionersCosts: €200 (small changes are possible)
This workshop on Controlled Natural Language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.
Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop.
Due to Covid-19, the workshop is postponed to 2021!
11 - 18 September 2021, 5th International Workshop on Cognition and Ontologies (CAOS 2021), Bolzano (Italy) & VirtualLocation: Bolzano (Italy) & Virtual
The purpose of the workshop is to bridge the gap between the cognitive sciences and research on ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation. More specifically CAOS investigates how key cognitive phenomena and concepts (and the involved terminology) can be found across language, psychology and reasoning and how they can be formally and ontologically understood and analysed. It moreover seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems in general.For more information, see https://caos.inf.unibz.it.
12 - 18 September 2021, 5th International Autumn School "Proof and Computation" , Herrsching, GermanyLocation: Herrsching, GermanyTarget audience: Graduate or PhD students and young postdoctoral researchers
The aim of the autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.
Unfortunately because of the present situation we had to cancel the event. More precisely, it will be shifted to September 12-18, 2021.For more information, see http://www.mathematik.uni-muenchen.de/~schwicht/pc20.php or contact xu at math.lmu.de.
13 - 17 September 2021, Logic, Algebra and Truth Degrees 2020 (LATD 2020) , Tbilisi, GeorgiaLocation: Tbilisi, Georgia
This is one of the main events of the Tbilisi Autumn of Logic, a series of conferences and summer schools taking place in Tbilisi promoting research in pure and applied logic at an international level.
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.
The conference will be preceded by the Sixteenth International Tbilisi Summer School in Logic and Language devoted to courses on core topics of LATD 2020.
We regret to announce that due to the coronavirus pandemic LATD has been postponed to September 2021.For more information, see https://www.logic.at/latd2020/.
13 - 16 September 2021, 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), Bolzano (Italy) and VirtualLocation: Bolzano (Italy) and Virtual
The FOIS conference is a meeting point for all researchers with an interest in formal ontology. Formal ontology is the systematic study of the types of entities and relations making up the domains of interest represented in modern information systems. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA) and aims to be a nexus of interdisciplinary research and communication, inclusive of researchers from many domains engaging with formal ontology.
FOIS 2021 is planned as a hybrid event: there will be a physical meeting in Bozen-Bolzano, Italy, with a remote participation option. FOIS 2021 includes a number of activities: FOIS conference (single track program), workshops, tutorials, an early-career symposium, a demo and industry track, and an ontology show and tell.For more information, see https://fois2021.inf.unibz.it/.
13 - 15 September 2021, 22th Italian Conference on Theoretical Computer Science (ICTCS 2021), Virtual (Bologna, Italy)Location: Virtual (Bologna, Italy)
The Italian Conference on Theoretical Computer Science (ICTCS) is the conference of the Italian Chapter of the European Association for Theoretical Computer Science. The purpose of ICTCS is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, ICTCS provides an ideal environment where junior researchers and PhD students can meet senior researchers.For more information, see http://helm.cs.unibo.it/ictcs2021/index.html.
16 - 19 September 2021, Third international workshop "Concepts in Action, Representation, Learning, & Application" (CARLA 2021), Bolzano (Italy) and VirtualLocation: Bolzano (Italy) and Virtual
"Concepts in Action: Representation, Learning, and Application" (CARLA) is an international workshop aimed at fostering interdisciplinary exchange about research on concepts. The workshop is open for research on any aspect of concepts, but there are three overarching topics that are of special interest with the following (not exhaustive) list of exemplary subtopics:
- Representation: How can we formally describe and model concepts?
- Learning: Where do concepts come from and how are they acquired?
- Application: How are concepts used in cognitive tasks?
This workshop provides an excellent opportunity to present and discuss ongoing research on concepts, both from theoretical/formal and applied/experimental viewpoints. CARLA 2021 is currently planned to be conducted as a *hybrid* event allowing for both physical and virtual attendance. Invited Speakers: Monique Flecken and Antonio Lieto.For more information, see https://www.conceptuccino.uni-osnabrueck.de/carla_workshop/carla_2021.html.
19 - 22 September 2021, 34th International Workshop on Description Logics (DL 2021), Bratislava, Slovenia or VirtualLocation: Bratislava, Slovenia or Virtual
The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.
20 - 24 September 2021, 14th-15th International Conference on Language and Automata Theory and Applications (LATA 2020 & 2021), Milan, ItalyLocation: Milan, Italy
LATA is a conference series on theoretical computer science and its applications. LATA 2020 & 2021 will consist of invited talks and peer-reviewed contributions, and 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.
LATA 2020 & 2021 will merge the scheduled program for LATA 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.
Keynote speakers: Eric Allender (Rutgers University), Laure Daviaud (City, University of London), Christoph Haase (University College London), Artur Jeż (University of Wrocław), Jean-Éric Pin (CNRS), and Thomas Place (University of Bordeaux).For more information, see https://irdta.eu/lata2020-2021/.
20 - 21 September 2021, International Joint Workshop on “Semantic Web and Ontology Design for Cultural Heritage” (SWODCH 2021), Virtual and Bolzano, ItalyLocation: Virtual and Bolzano, Italy
SWODCH 2021 is the association of the 2nd edition of WODHSA and the 4th edition of SW4CH. It is also in continuation of the 1st edition of ODOCH and the special issue of the Semantic Web journal on "Semantic Web for Cultural Heritage".
The purpose of WODHSA is to gather original research work about both application and foundational issues emerging from the design of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH). The aim of SW4CH is to bring together stakeholders from various scientific fields, Computer Scientists, Data Scientists and Digital Humanists, involved in the development or deployment of Semantic Web solutions for Cultural Heritage. The overall goal of SWODCH 2021 is to provide a scientific forum where scholars and stakeholders will have the opportunity to exchange ideas, experiences, and analyses, while presenting realizations and outcomes of relevant projects and discussing the related challenges.
Due to the COVID-19 restrictions, the workshop will have a hybrid format, allowing both physical and virtual participation.For more information, see https://swodch2021.inf.unibz.it/.
20 - 22 September 2021, Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Virtual and/or Padua (Italy)Location: Virtual and/or Padua (Italy)
The aim of GandALF 2021 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.
This year, GANDALF will be organised together with the 3rd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2021). The OVERLAY workshop focuses on the relationships between Artificial Intelligence and Formal Methods, and discusses on the opportunities and challenges at the border of the two areas.
GANDALF 2021 is planned to be a hybrid conference. We aim at organizing an in-presence event, but there will be possibilities for virtual participation for delegates affected by travel restrictions.For more information, see https://gandalf2021.math.unipd.it/.
20 - 22 September 2021, 25th Workshop on the Semantics and Pragmatics of Dialogue (SemDial 2020 / PotsDial), Virtual and/or Potsdam (Germany)Location: Virtual and/or Potsdam (Germany)
PotsDial will be the 25th 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 2021 the workshop will be hosted by the Department of Linguistics at the University of Potsdam, Germany. (If the pandemic situation allows for it, there will be a local component for those who want to travel to Potsdam, but fully remote participation, including presentation, will be possible. Please see the website for updates closer to the date.)
20 - 27 September 2021, 37th International Conference on Logic Programming (ICLP 2021), VirtualLocation: Virtual
Since the first conference held in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming.
Besides the main track, ICLP 2021 will host additional tracks and special sessions:
- Applications Track
- Recently Published Research Track
- MentorLP - Mentoring Workshop on Logic Programming
- Fall School on Logic and Constraint Programming
- Doctoral Consortium: the Doctoral Consortium (DC) on Logic
- Tutorials and Co-located Workshops.
20 - 24 September 2021, 4th workshop Formal Reasoning and Semantics (FORMALS 2021), Dubrovnik (Croatia) and VirtualLocation: Dubrovnik (Croatia) and Virtual
The 4th workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC), as a part of the 10th conference Logic and Applications (LAP 2021) 20-24 September 2021. Virtual participation is also possible.
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).
20 - 22 September 2021, Conference "Explanation between Logic & Philosophy", Online via ZoomLocation: Online via Zoom
The topic of the conference is the study of the notion of explanation in the context of logic and philosophy. Particular attention will be devoted to the history of the investigation on explanation, to the connections with conceptual and metaphysical grounding, and to related philosophical issues such as logical pluralism and anti-exceptionalism about logic. The conference is organised in the framework of the ANR JCJC project Bolzano's Insights. The conference will be held online through Zoom and will be open to anyone who is interested.
- Fabrice Correia (University of Geneva, Switzerland)
- Orna Harari (Tel Aviv University, Israel)
- Ole Hjortland (University of Bergen, Norway)
- Carrie Jenkins (University of British Columbia, Canada)
21 - 24 September 2021, Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), Prague, Czech RepublicLocation: Prague, Czech Republic
The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, applications, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.For more information, see http://ecsqaru.utia.cas.cz/.
22 - 25 September 2021, 10th International Conference on Non-Classical Logics, Theory & Applications, Łódź, PolandLocation: Łódź, Poland
The Conference - devoted to non-classical logics - was initially held in Łódź in September 2008 and 2009. The conference serves as a forum to effectively exchange novel results and to survey works in widely understood non-classical logics and their applications.This year's tenth edition of the Conference will be an occasion to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic, established in 1971.
During this year's edition of the conference there will be a special session devoted to formal ontology, broadly conceived.
Due to the current situation concerning COVID-19 and very uncertain predictions about what will happen in the autumn, after several consultations the organizers of the conference decided to postpone it until the year 2021.For more information, see http://ncl.uni.lodz.pl/.
28 - 30 September 2021, 12th International Conference on the Theory and Application of Diagrams (Diagrams 2021), VirtualLocation: Virtual
Diagrams 2021 is the twelth conference in the 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.
In addition to the Philosophy track, Diagrams 2021 will have two further tracks: Main, and Psychology and Education.For more information, see http://www.diagrams-conference.org/2021.
5 - 8 October 2021, 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2021), VirtualLocation: Virtual
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. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021.
WoLLIC 2021 is planned to have a special session with the exhibition of a one-hour documentary film 'Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani' about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.For more information, see http://wollic.org/wollic2021/.
6 - 8 October 2021, Special Session on Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21) at DCAI'21, Salamanca, Spain and OnlineLocation: Salamanca, Spain and OnlineTarget audience: Computational linguists, Logicians
Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, agents, and context dependency, which are signature features of information in nature, natural languages, and reasoning.
The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of thought, mental states, reasoning, and other cognitive processes.For more information, see https://www.dcai-conference.net/special-sessions/clirai or contact Roussanka Loukanova at rl.stpuu at gmail.com.
7 - 9 October 2021, 13th French Philosophy of Maths Workshop (FPMW 13), Nice (France) or VirtualLocation: Nice (France) or Virtual
The thirteenth edition of the French Philosophy of Mathematics Workshop (FPMW) will be held from the 7th to the 9th of October 2021 at the Université Côte d'Azur in Nice - with the possibility of modifications linked to the ongoing health crisis.
Each year, the workshop program consists of five talks by invited speakers, and five contributed talks,
This year, the invited speakers are: Hourya BENIS SINACEUR (CNRS, IHPST), Valeria GIARDINO (CNRS, Institut Jean-Nicod), Patrick POPESCU-PAMPU (Université de Lille, laboratoire Paul-Painlevé), Dominique PRADELLE (Sorbonne Université, Archives Husserl) and Dirk SCHLIMM (McGill University).
11 - 13 October 2021, Third Workshop on Argument Strength (ArgStrength2021), Hagen (Germany) or VirtualLocation: Hagen (Germany) or Virtual
Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.
Originally planned for 2020 in Koblenz, Germany, after consideration the organizers decided to postpone the workshop in light of the current COVID-19 crisis.For more information, see http://argstrength2021.argumentationcompetition.org/.
16 - 18 October 2021, The Eighth International Conference on Logic, Rationality and Interaction (LORI-VIII), Xi'an (China)Location: Xi'an (China)
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.
20 - 22 October 2021, Fourth International Conference on Logic and Argumentation (CLAR 2021), Hangzhou (China) or virtualLocation: Hangzhou (China) or virtual
CLAR 2021 will be held in Hangzhou at Zhejiang University City College. Due to the uncertainties of the epidemiological situation, the conference will be held in a HYBRID format (virtual and physical attendance both accepted), and we encourage physical participation if possible.
The CLAR 2021 conference will highlight recent advances in logic and argumentation and foster interaction between these areas within and outside China.
27 - 29 October 2021, 6th International Conference on the History and Philosophy of Computing (HaPoC 2021), Virtual & Zürich (Switzerland)Location: Virtual & Zürich (Switzerland)
The growing cultural import of computing practices has become ever more pressing in our days in all dimensions of social life. The global and collective nature of the challenges our epoch is facing (e.g. climate change, global pandemics, systemic inequalities, resurgence of totalitarianism, to name a few) requires a comprehensive perspective on computing, where social and cultural aspects occupy a central position. For these reasons, thinking about machines asks today for an interdisciplinary approach, where art is as necessary as engineering, anthropological insights as important as psychological models, and the critical perspectives of history and philosophy as decisive as the axioms and theorems of theoretical computer science.
For more than a decade, the 'History and Philosophy of Computing' Conference (HaPoC) has contributed to building such an interdisciplinary community and environment. We aim to bring together historians, philosophers, computer scientists, social scientists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, to take part in the collective construction of a comprehensive image of computing.
2 - 5 November 2021, 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021), Marseille, FranceLocation: Marseille, France
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 methodologica tools in computer science and beyond.
6 - 12 November 2021, 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021), Hanoi, VietnamLocation: Hanoi, Vietnam
Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR 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. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, 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.For more information, see https://kr2021.kbsg.rwth-aachen.de.
6 - 8 November 2021, 19th International Workshop on Non-Monotonic Reasoning (NMR-2021), Hanoi, Vietnam (Virtual attendance)Location: Hanoi, Vietnam (Virtual attendance)
NMR is the premier forum for results in the area of Non-Monotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.
NMR-21 will be co-located with the International Conference on Principles of Knowledge Representation and Reasoning (KR 2021).
6 - 8 November 2021, Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021), VirtualLocation: Virtual
Second-order quantifier elimination (SOQE) is the problem of equivalently reducing a formula with quantifiers upon second-order objects such as predicates to a formula in which these quantified second-order objects no longer occur. In slight variations, SOQE is known as forgetting, projection, predicate elimination, and uniform interpolation. It can be combined with various underlying logics, including propositional, model, description and first-order logics. It is attractive as a logic-based approach to various computational tasks.
The workshop aims to bring together researchers working on SOQE and all these related topics to present, discuss and compare issues shared by problems emerging from different special contexts, interesting open research problems (perhaps with partial solutions), new applications and implementation techniques. SOQE will be associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021).For more information, see http://2021.soqe.org/.
6 - 8 November 2021, 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2021) , Hanoi, Vietnam (Virtually)Location: Hanoi, Vietnam (Virtually)
The problem of explaining why a consequence does or does not follow from a given set of axioms has been considered for full first-order theorem proving since at least 40 years, but there usually with mathematicians as users in mind. In knowledge representation and reasoning, efforts in this direction are more recent, and were usually restricted to sub-areas of KR such as AI planning and description logics. The purpose of this workshop is to bring together researchers from different sub-areas of KR and automated deduction that are working on explainability in their respective fields, with the goal of exchanging experiences and approaches.
Sheila McIlraith and Joe Halpern will deliver the keynotes. The workshop will be co-located with KR 2021.For more information, see https://xlokr21.ai.vub.ac.be/.
18 - 20 November 2021, 32nd Novembertagung on the History and Philosophy of Mathematics "Mathematics in Times of Crisis", VirtualLocation: Virtual
The Novembertagung on the History and Philosophy of Mathematics is an annual international conference aimed at graduate students in the history and philosophy of mathematics and neighboring fields. It provides an opportunity for young researchers to present and discuss their research in a safe, informal environment, and serves as a place for them to share experience and advice, as well as to establish new contacts. Participants are welcome from around the world.
On the Theme: Crisis, instability and times of uncertainty undoubtedly influenced the development of the sciences, and mathematics is no exception. Throughout history, mathematicians found themselves facing wide-ranging challenges, both internal and external to mathematics, to which they had to respond in new and creative ways. Inspired by contemporary global events, this conference is interested in the ways that times of crisis shaped the development of mathematics. The time of uncertainty might be frustrating and confounding for the mathematicians, but from a historical perspective it can be viewed as an engine of mathematical creativity.
14 - 19 February 2022, CSL 2022: Computer Science Logic, Göttingen (Germany) & VirtualLocation: Göttingen (Germany) & Virtual
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'22 will be held on February 14 - 19, 2022, in Göttingen, Germany. Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component. Invited speakers: Annabelle McIver Macquarie (University, Sydney, Australia), Udi Boker (IDC Herzliya, Israel), Martin Escardo (University of Birmingham, UK), Rosalie Iemhoff (Utrecht University, The Netherlands) and Karen Lange (Wellesley College, USA).
1 - 11 April 2022, 7th World Congress and School on Universal Logic (UNILOG 2021), Chania/Crete (Greece)Location: Chania/Crete (Greece)
UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.
Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. In one year the event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include 20 workshops, the World Logic Prizes Contest and a Secret Speaker.For more information, see https://sites.google.com/view/unilog-2022/.
5 - 17 July 2022, Seventh EPICENTER Spring Course in Epistemic Game Theory 2020, Maastricht University, Maastricht, The NetherlandsLocation: Maastricht University, Maastricht, The Netherlands
The EPICENTER, the 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.
Due to the Corona-outbreak, the edition of 2020 had to be cancelled. The next edition will be in 2022.
14 - 18 July 2022, 13th Panhellenic Logic Symposium (PLS13), Volos (Greece) or VirtualLocation: Volos (Greece) or Virtual
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
PLS13 will have Special Sessions on Computer Science and Philosophical Logic, as well as Tutorials, Invited and Contributed Talks, a Poster Session and a Mentoring Session.
The meeting is postponed to July 2022, due to the uncertainties related to the pandemic. Exact dates will be decided at a later stage.
8 - 19 August 2022, 33rd European Summer School in Logic, Language and Information (ESSLLI 2022), Galeway, IrelandLocation: Galeway, Ireland
Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.
The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.