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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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".

Due to the current Covid-19 pandemic it was impossible to hold our congress as planned (6th – 9th September 2020). The congress was therefore postponed by one year, and all events will be held online.

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.

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.

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".

Due to the current Covid-19 pandemic it was impossible to hold our congress as planned (6th – 9th September 2020). The congress was therefore postponed by one year, and all events will be held online.

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.

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.

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 13^th 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.

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".

Due to the current Covid-19 pandemic it was impossible to hold our congress as planned (6th – 9th September 2020). The congress was therefore postponed by one year, and all events will be held online.

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.

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.

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 13^th 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.

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".

Due to the current Covid-19 pandemic it was impossible to hold our congress as planned (6th – 9th September 2020). The congress was therefore postponed by one year, and all events will be held online.

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.

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.

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 13^th 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.

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!

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.

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.

We are happy to announce that the 12th edition of “PhDs in Logic” will finally take place in a hybrid format virtually and at the Freie Universität Berlin, Germany, from September 8 to 10, 2021.
“PhDs in Logic” is an annual graduate conference organized by 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-25 minutes) presentations by PhD students, master students and first-year postdocs on their research.

Invited speakers are:
Marianna Antonutti Marfori (LMU Munich, Germany)
Christoph Benzmüller (FU Berlin, Germany)
Juliana Bueno-Soler (CLE - State University of Campinas, Brasil)
Hannes Leitgeb (LMU Munich, Germany)
Alexander Steen (University of Luxembourg)
Peter Verdée (Catholic University of Louvain, Belgium)

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.

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.

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 13^th 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.

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!

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.

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.

We are happy to announce that the 12th edition of “PhDs in Logic” will finally take place in a hybrid format virtually and at the Freie Universität Berlin, Germany, from September 8 to 10, 2021.
“PhDs in Logic” is an annual graduate conference organized by 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-25 minutes) presentations by PhD students, master students and first-year postdocs on their research.

Invited speakers are:
Marianna Antonutti Marfori (LMU Munich, Germany)
Christoph Benzmüller (FU Berlin, Germany)
Juliana Bueno-Soler (CLE - State University of Campinas, Brasil)
Hannes Leitgeb (LMU Munich, Germany)
Alexander Steen (University of Luxembourg)
Peter Verdée (Catholic University of Louvain, Belgium)

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.

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.

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.

We are happy to announce that the 12th edition of “PhDs in Logic” will finally take place in a hybrid format virtually and at the Freie Universität Berlin, Germany, from September 8 to 10, 2021.
“PhDs in Logic” is an annual graduate conference organized by 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-25 minutes) presentations by PhD students, master students and first-year postdocs on their research.

Invited speakers are:
Marianna Antonutti Marfori (LMU Munich, Germany)
Christoph Benzmüller (FU Berlin, Germany)
Juliana Bueno-Soler (CLE - State University of Campinas, Brasil)
Hannes Leitgeb (LMU Munich, Germany)
Alexander Steen (University of Luxembourg)
Peter Verdée (Catholic University of Louvain, Belgium)

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.

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. Because of the ongoing pandemic, we intend to have a hybrid meeting, to allow for both physical and virtual attendance, the details will be decided later.

Reasoning is at the very heart of logic, constituting its subject matter. In the last few decades, there has been considerable progress both in the purely logical analysis of reasoning and in applied logical investigations of various concrete subject domains, such as philosophical and scientific discourse, logic programming and everyday communication. Along with further elaboration of standard techniques a range of other approaches and semantic modeling of logical systems are being developed. Moreover, there is a powerful tradition of analyzing and evaluating reasoning patterns by means of informal logic and argumentation theory. The aim of the conference is to bring together scholars working in various areas of proof-theoretic, semantic, argumentative and informal logic analysis.

Invited Speakers: Hans van Ditmarsch (French National Centre for Scientific Research, France), Valentin Goranko (Stockholm University, Sweden), Dale Hample (University of Maryland, USA) and Hitoshi Omori (Ruhr-University Bochum, Germany).

Due to the continuing coronavirus pandemic, the event in May 2021 has been suspended, but the organizers hope to hold the conference in Kyiv as soon as circumstances permit, as well as hold the regular conference in May 2022.

Reasoning is at the very heart of logic, constituting its subject matter. In the last few decades, there has been considerable progress both in the purely logical analysis of reasoning and in applied logical investigations of various concrete subject domains, such as philosophical and scientific discourse, logic programming and everyday communication. Along with further elaboration of standard techniques a range of other approaches and semantic modeling of logical systems are being developed. Moreover, there is a powerful tradition of analyzing and evaluating reasoning patterns by means of informal logic and argumentation theory. The aim of the conference is to bring together scholars working in various areas of proof-theoretic, semantic, argumentative and informal logic analysis.

Invited Speakers: Hans van Ditmarsch (French National Centre for Scientific Research, France), Valentin Goranko (Stockholm University, Sweden), Dale Hample (University of Maryland, USA) and Hitoshi Omori (Ruhr-University Bochum, Germany).

Due to the continuing coronavirus pandemic, the event in May 2021 has been suspended, but the organizers hope to hold the conference in Kyiv as soon as circumstances permit, as well as hold the regular conference in May 2022.

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 held as an online workshop from 13th to 14th September 2021.

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.

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.

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.

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.

Reasoning is at the very heart of logic, constituting its subject matter. In the last few decades, there has been considerable progress both in the purely logical analysis of reasoning and in applied logical investigations of various concrete subject domains, such as philosophical and scientific discourse, logic programming and everyday communication. Along with further elaboration of standard techniques a range of other approaches and semantic modeling of logical systems are being developed. Moreover, there is a powerful tradition of analyzing and evaluating reasoning patterns by means of informal logic and argumentation theory. The aim of the conference is to bring together scholars working in various areas of proof-theoretic, semantic, argumentative and informal logic analysis.

Invited Speakers: Hans van Ditmarsch (French National Centre for Scientific Research, France), Valentin Goranko (Stockholm University, Sweden), Dale Hample (University of Maryland, USA) and Hitoshi Omori (Ruhr-University Bochum, Germany).

Due to the continuing coronavirus pandemic, the event in May 2021 has been suspended, but the organizers hope to hold the conference in Kyiv as soon as circumstances permit, as well as hold the regular conference in May 2022.

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 held as an online workshop from 13th to 14th September 2021.

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.

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.

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.

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 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.

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.

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.

Please join us for an online workshop on Stereotypes in Language which will be held on the afternoons of September 15th and September 17th, 2021. The workshop will feature talks from linguists, psychologists and NLP researchers and aims to discuss current research on stereotypes from a diversity of view points.

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).

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.

CPP 2022 will be co-located with POPL 2022 in Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

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.

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.

Please join us for an online workshop on Stereotypes in Language which will be held on the afternoons of September 15th and September 17th, 2021. The workshop will feature talks from linguists, psychologists and NLP researchers and aims to discuss current research on stereotypes from a diversity of view points.

"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.

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.

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.

Please join us for an online workshop on Stereotypes in Language which will be held on the afternoons of September 15th and September 17th, 2021. The workshop will feature talks from linguists, psychologists and NLP researchers and aims to discuss current research on stereotypes from a diversity of view points.

"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.

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.

CAOS 2021 is going to happen at the Bolzano Summer of Knowledge, BOSK 2021, in September 2021, organised as a FOIS 2021 workshop.  CAOS 2021 is planned as a hybrid event.

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.

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).

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.

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).

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.

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.

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.)

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.

Keynote speakers:

- 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)

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).

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).

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.

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.

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. 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 a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

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.

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).

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.

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.

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.)

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.

Keynote speakers:

- 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)

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).

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).

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.

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.

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.

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.

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).

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.

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.)

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.

Keynote speakers:

- 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)

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).

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).

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.

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.

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.

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).

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).

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).

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.

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.

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.

The objectives of this new international workshop are:
1. to bring together practitioners and researchers from academia, industry and research institutions who are interested in the foundations and applications of cognition from the perspective of their areas of expertise and aim at a synergistic effort in integrating approaches from different areas;
2. to nurture cooperation among researchers from different areas and establish concrete collaborations;
3. to present formal methods to cognitive scientists as a general modelling and analysis approach, whose effectiveness goes well beyond its application to computer science and software engineering.

Keynote speaker: Martin Davis (New York University, USA) on "The Brain As a Computer".

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).

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).

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).

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.

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.

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.

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.

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.

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.

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.

The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

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.

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.

It is often said, that all of mathematics can be reduced to first-order logic and set theory. The derivation indicator view says that all proofs stand in some relation to a derivation, i.e. a mechanically checkable syntactical objects following fixed rules, that would not have any gaps. For a long time this was a mere hope. There may have been proofs of concepts from early logicists but derivation never played a big role in mathematical practice. The modern computer might change this. Interactive and automated theorem provers promise to make the construction of a justification without any gaps feasible for complex mathematics. This minisymposium brings together philosophers, educators and linguist to study both proofs as they can be found in real textbook as well as in the logical sense, i.e. derivations.

This is an affiliated minisymposium to the DMV and ÖMG-annual meeting.

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.

This minisymposium will be devoted to recent developments in the theory of large cardinals, a central concept of contemporary set theory that allows the measurement of the consistency strength of mathematical theories and the ordering of these theories into a canonical hierarchy. Seminal results show that large cardinal assumptions themselves answer many important questions left open by the standard axiomatization of set theory and this leads many set theorists to think that these axioms should be included in the correct axiomatization of mathematics. In the last fifty years, set theorists have developed a deep and canonical theory of large cardinals and, in recent years, breakthrough results in vastly different regions of the large cardinal hierarchy were obtained. The talks in our symposium will cover this wide spectrum of research, from virtual large cardinal axioms in the lower reaches of this hierarchy all the way up to axioms of infinity that contradict the Axiom of Choice.

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.

This minisymposium will be devoted to recent developments in the theory of large cardinals, a central concept of contemporary set theory that allows the measurement of the consistency strength of mathematical theories and the ordering of these theories into a canonical hierarchy. Seminal results show that large cardinal assumptions themselves answer many important questions left open by the standard axiomatization of set theory and this leads many set theorists to think that these axioms should be included in the correct axiomatization of mathematics. In the last fifty years, set theorists have developed a deep and canonical theory of large cardinals and, in recent years, breakthrough results in vastly different regions of the large cardinal hierarchy were obtained. The talks in our symposium will cover this wide spectrum of research, from virtual large cardinal axioms in the lower reaches of this hierarchy all the way up to axioms of infinity that contradict the Axiom of Choice.

This workshop aims at bringing together scholars from the field of inductive and abductive reasoning. It will focus on discussing the following four recent monographs: Igor Douven's "The theory and Practice of Abduction" (forthcoming), Ilkka Niiniluotto's "Truth-Seeking by Abduction" (2018), John Norton's "The Material Theory of Induction" (2021), and Gerhard Schurz' "Hume's Problem Solved" (2019). Each of these monographs will be discussed in form of a comprehensive comment as well as replies and reflections by the authors. The workshop will also host specialist talks from leading scholars in this field of research.

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.

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.

This minisymposium will be devoted to recent developments in the theory of large cardinals, a central concept of contemporary set theory that allows the measurement of the consistency strength of mathematical theories and the ordering of these theories into a canonical hierarchy. Seminal results show that large cardinal assumptions themselves answer many important questions left open by the standard axiomatization of set theory and this leads many set theorists to think that these axioms should be included in the correct axiomatization of mathematics. In the last fifty years, set theorists have developed a deep and canonical theory of large cardinals and, in recent years, breakthrough results in vastly different regions of the large cardinal hierarchy were obtained. The talks in our symposium will cover this wide spectrum of research, from virtual large cardinal axioms in the lower reaches of this hierarchy all the way up to axioms of infinity that contradict the Axiom of Choice.

This workshop aims at bringing together scholars from the field of inductive and abductive reasoning. It will focus on discussing the following four recent monographs: Igor Douven's "The theory and Practice of Abduction" (forthcoming), Ilkka Niiniluotto's "Truth-Seeking by Abduction" (2018), John Norton's "The Material Theory of Induction" (2021), and Gerhard Schurz' "Hume's Problem Solved" (2019). Each of these monographs will be discussed in form of a comprehensive comment as well as replies and reflections by the authors. The workshop will also host specialist talks from leading scholars in this field of research.