This is the 14th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. The three-day conference will give opportunity for paper presentations and discussions.

Among the topics of particular relevance are:
- Modal logics for games and protocols
- Foundations of game and decision theory
- Learning and information-processing models
- Bounded rationality approaches to game and decision theory

The purpose of BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers.

The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, game theory, types, languages and logics.

BCTCS 2020 is being held together with the Fourth AlgoUK workshop which includes a session on Verification of Railway Control Systems. There will also be a special evening public forum on Formal Methods in Software Engineering.

Computational Creativity (or CC) is a discipline with its roots in Artificial Intelligence, Cognitive Science, Engineering, Design, Psychology and Philosophy that explores the potential for computers to be autonomous creators in their own right. ICCC is an annual conference that welcomes papers on different aspects of CC, on systems that exhibit varying degrees of creative autonomy, on frameworks that offer greater clarity or computational felicity for thinking about machine (and human) creativity, on methodologies for building or evaluating CC systems, on approaches to teaching CC in schools and universities or to promoting societal uptake of CC as a field and as a technology, and so on.

The evolution of the COVID-19 crisis, the concerns about safety and well-being of the participants and the current travel constraints have taken the organisation of turning ICCC’20 100% digital.

Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration.

CICM 2020 Invited Speakers: Kevin Buzzard (Imperial College, London, UK), Catherine Dubois (ENSIIE, CNRS, Evry, France) and Christian Szegedy (Google Research, Mountain View, CA, USA).

Peano's axioms for arithmetic, published in 1889, are ubiquitously cited in the writings on modern axiomatics. And his Formulary is often quoted as the precursor of Russell's Principia Mathematica, but a comprehensive historical and philosophical evaluation of the contributions of the Peano School to mathematics, logic, and the foundation of mathematics is still to be achieved.

Several reasons explain the loss of philosophical interest for the member of the school: the non-academic nature of the group, the multiform topics of interest (going from mathematical analysis to geometry, from linguistics to universal languages, from philosophical pragmatism to logicism), the scarce attention given to the transformation of mathematics and to the development of set theory after 1910, and the non monolithic philosophical perspective developed in the school. Yet the views held by Peano and other members of the school not only had a strong impact on the writings by Frege, Russell, Carnap and Gödel, but can also be fruitfully explored in order to understand the development of certain philosophical isms, such as logicism and structuralism.

The thematic issue will publish two kinds of contributions: historical analyses of the logical, mathematical, foundational and didactical writings by Peano and the members of the school; philosophical investigations on the relation between Peano's axiomatics and the approaches by Dedekind, Frege, Hilbert, Russell, Carnap, and Gödel. Manuscripts should be submitted in French, English, or German, and prepared for anonymous peer review.

The 21st Workshop on the Roots of Pragmasemantics will be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on February 28 - March 2, 2020. On top of our general theme, this year's special theme is Reference.

This year's invited speakers are:

Maria Aloni (University of Amsterdam)
Ethan Nowak (King's College London)
Peter Sutton (Heinrich Heine University Düsseldorf)
Sarah Zobel (University of Oslo)

The 21st Workshop on the Roots of Pragmasemantics will be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on February 28 - March 2, 2020. On top of our general theme, this year's special theme is Reference.

This year's invited speakers are:

Maria Aloni (University of Amsterdam)
Ethan Nowak (King's College London)
Peter Sutton (Heinrich Heine University Düsseldorf)
Sarah Zobel (University of Oslo)

The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The ITRS 2020 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Part of the program is organised under the auspices of EUTypes.

Invited speakers: Ulrik Buchholtz, Pierre Marie-Pédrot, Leonardo de Moura and Sara Negri.

LATA is a conference series on theoretical computer science and its applications. LATA 2020 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.

The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The ITRS 2020 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Part of the program is organised under the auspices of EUTypes.

Invited speakers: Ulrik Buchholtz, Pierre Marie-Pédrot, Leonardo de Moura and Sara Negri.

LATA is a conference series on theoretical computer science and its applications. LATA 2020 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.

The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The ITRS 2020 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Part of the program is organised under the auspices of EUTypes.

Invited speakers: Ulrik Buchholtz, Pierre Marie-Pédrot, Leonardo de Moura and Sara Negri.

LATA is a conference series on theoretical computer science and its applications. LATA 2020 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.

The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The ITRS 2020 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Part of the program is organised under the auspices of EUTypes.

Invited speakers: Ulrik Buchholtz, Pierre Marie-Pédrot, Leonardo de Moura and Sara Negri.

LATA is a conference series on theoretical computer science and its applications. LATA 2020 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.

The conference brings together researchers working on the mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, category-theoretic structures, formal languages, semantic methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.

QPL 2020 will be co-located with the 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020).

LATA is a conference series on theoretical computer science and its applications. LATA 2020 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.

Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry's type assignment system and to provide a characterization of the strongly normalizing terms of the Lambda Calculus.

Although intersection types were initially intended for use in analyzing and/or synthesizing lambda models as well as in analyzing normalization properties, over the last twenty years the scope of the research on intersection types and related systems has broadened in many directions.

The ITRS 2020 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. ITRS workshops have been held every two years.

On Friday the 6th of March the Institute for Logic, Language and Computation is organising a memorial event in honour of Anne Troelstra.

WatchDial will be the 24th 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 2020 the workshop will be hosted by the programs in Linguistics and in Computational Linguistics, in collaboration with the departments of Computer Science and Philosophy at Brandeis University, and will be collocated with the North American Summer School in Logic, Language, and Information.

This is the 14th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.

Among the topics of particular relevance are:
 - Modal logics for games and protocols
 - Foundations of game and decision theory
 - Learning and information-processing models
 - Bounded rationality approaches to game and decision theory.

"Formal Philosophy 2020" is the 3rd annual international conference, organized by the International Laboratory for Logic, Linguistics and Formal Philosophy in National Research University Higher School of Economics, Moscow, Russia. Formal Philosophy-2020 will be dedicated to various topics in the field of formal epistemology, formal ontology, formal ethics, philosophy of logic, an epistemology of logic and other branches of formal and mathematical philosophy.

"Formal Philosophy 2020" is postponed until November 2020.

The theoretical aspects of disagreements in fields such as ontology, logic, epistemology, and ethics have already received extensive treatment in the philosophical literature. There is a plethora of views debated at an increased level of sophistication at a very high level of abstraction (e.g. conciliationist vs steadfast views in the epistemology of disagreement). What is much less discussed are the practical consequences of these theoretical models of disagreement. The conference 'Disagreements: from Theory to Practice' aims to bridge the gap between theory and practice and inquire into the implications of theoretical positions for real life disagreements. Our confirmed speakers include Margit Sutrop, Daniel Cohnitz and Folke Tersman.

The theoretical aspects of disagreements in fields such as ontology, logic, epistemology, and ethics have already received extensive treatment in the philosophical literature. There is a plethora of views debated at an increased level of sophistication at a very high level of abstraction (e.g. conciliationist vs steadfast views in the epistemology of disagreement). What is much less discussed are the practical consequences of these theoretical models of disagreement. The conference 'Disagreements: from Theory to Practice' aims to bridge the gap between theory and practice and inquire into the implications of theoretical positions for real life disagreements. Our confirmed speakers include Margit Sutrop, Daniel Cohnitz and Folke Tersman.

Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation.

The SR international workshop series aims at bringing together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. SR 2020 will be held with ECAI 2020 in Santiago de Compostela, Spain.

The theoretical aspects of disagreements in fields such as ontology, logic, epistemology, and ethics have already received extensive treatment in the philosophical literature. There is a plethora of views debated at an increased level of sophistication at a very high level of abstraction (e.g. conciliationist vs steadfast views in the epistemology of disagreement). What is much less discussed are the practical consequences of these theoretical models of disagreement. The conference 'Disagreements: from Theory to Practice' aims to bridge the gap between theory and practice and inquire into the implications of theoretical positions for real life disagreements. Our confirmed speakers include Margit Sutrop, Daniel Cohnitz and Folke Tersman.

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2020 will encourage a special focus on the topic "Norms in Social Perspective". We are happy to announce that the keynote speakers for DEON 2020 will be: Marcia Baron (Indiana University, Bloomington), Emiliano Lorini (IRIT-CNRS, Toulouse University, France), Shyam Nair (Arizona State University, Tempe), and Sonja Smets (ILLC, University of Amsterdam).

DEON 2020 will be co-located with the Summer School on Mathematical Philosophy for Female Students, to be held in Munich from 26th until 31st July 2020.

Due to the Covid-19 crisis the DEON 2020 has to be postponed to 2021.

The international Conference "ULTRAMATH 2020" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals:
- Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
 - Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

Given the current situation and prospects regarding the COVID-19 pandemic disease, the organizers regret to inform that we decided to postpone the UltraMath 2020 Conference to next year.

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.

In response to COVID-19, the program committee and local organization decided to move LSFA 2020 to a full online conference.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2020 is the 13th conference in the series.

Invited Speakers:
Bahareh Afshari (University of Amsterdam and Gothenburg University)
Nick Behanishvilii (University of Amsterdam)
Melvin Fitting (City University of New York)
Nina Gierasimczuk (Danish Techical University, Copenhagen)

From the end of the 19th century, mathematical and philosophical literature has often portrayed a contrast between visual intuition and logical rigor. However, the terms "rigour" and "intuition" have rich associations and connotations in different historical contexts, and well before the turn of the 20th century. The goal of our workshop is to study the historical evolution of these notions within the mathematical practice, and the epistemological debates that they have raised.

Confirmed keynote speakers are: Helena Durnova (Masaryk University, Brno) Michael Friedman (Humboldt University, Berlin) Eduardo Giovannini (University of Wien) Marco Panza (CNRS, Universit́e Paris 1/Chapman University) Vincenzo de Risi (CNRS, Universit́e Paris 7).

Note: the event as it was scheduled cannot unfortunately take place in December due to covid measures, but will be postponed to the next year, possibly September 2021 or December 2021.

First-order modal logic is a natural specification language for describing properties of many infinite-state systems, but it is notoriously undecidable, in the sense that even simple fragments (like the two-variable fragment) are undecidable. Despite this, in the recent few years, researchers have managed to find some useful syntactic restrictions that yield decidability. The workshop is intended as a review of this rapidly evolving direction of research. We seek to identify new potential techniques for constructing decision procedures.

Due to the Coronavirus outbreak, the workhop is cancelled!

Around thirty years after the fall of Hilbert's program, the proofs-as-programs paradigm established the view that proofs should consist in computational or epistemic objects conveying evidence to mathematical propositions. The relationship between formal derivations and proofs should then be analogous to the one between words and their meanings. This view naturally gives rise to questions such as 'which conditions should a formal arrangement of symbols satisfy to represent a proof?' or 'when do two formal derivations represent the same proof?'. These questions underlie past and current research in proof theory both in the theoretical computer science community (e.g. categorical logic, domain theory, linear logic) and in the philosophy community (e.g. proof-theoretic semantics).

In spite of these common motivations and historical roots, it seems that today proof theorists in philosophy and in computer science are losing sight of each other. This workshop aims at contributing to a renaissance of the interaction between researchers with different backgrounds by establishing a constructive environment for exchanging views, problems and results.

In addition to regular invited talks, the workshop includes two tutorials, aimed at introducing recent ideas on the correspondence between proofs, programs and categories as well as to the historical and philosophical aspects of the notions of infinity and predicativity.

Due to the Coronavirus outbreak, the workhop is cancelled!

Around thirty years after the fall of Hilbert's program, the proofs-as-programs paradigm established the view that proofs should consist in computational or epistemic objects conveying evidence to mathematical propositions. The relationship between formal derivations and proofs should then be analogous to the one between words and their meanings. This view naturally gives rise to questions such as 'which conditions should a formal arrangement of symbols satisfy to represent a proof?' or 'when do two formal derivations represent the same proof?'. These questions underlie past and current research in proof theory both in the theoretical computer science community (e.g. categorical logic, domain theory, linear logic) and in the philosophy community (e.g. proof-theoretic semantics).

In spite of these common motivations and historical roots, it seems that today proof theorists in philosophy and in computer science are losing sight of each other. This workshop aims at contributing to a renaissance of the interaction between researchers with different backgrounds by establishing a constructive environment for exchanging views, problems and results.

In addition to regular invited talks, the workshop includes two tutorials, aimed at introducing recent ideas on the correspondence between proofs, programs and categories as well as to the historical and philosophical aspects of the notions of infinity and predicativity.

The philosophy department at the University of Bergen is pleased to invite applications for participation in an early-career masterclass on logical epistemology, with tutorials from both Gila Sher and Michael Devitt. Participants will also have the opportunity to present their own work in the philosophy of logic with a 30-minute presentation, and receive feedback from experts in the field.

The masterclass immediately follows the Bergen Workshop on Logical Evidence, from the 26th-27th May. Participants of the masterclass are welcome to attend the workshop for no fee.

Due to the covid-19 pandemic, both the workshop and the masterclass are postponed.

This workshop will aim to bring together researchers whose interests bridge between AI and other disciplines such as Cognitive Science, Language and Philosophy, to study how computational argumentation can form an underlying theoretical and practical basis for modeling cognition and building human-centric AI systems.
The main general questions that will concern the workshop are:
- Can argumentation provide the basis for computational models of human reasoning that are cognitively adequate?
- How can we form a synthesis between computational argumentation and theories of cognition that will give us models of computational cognition for the development of AI systems?

Due to the COVID-19 pandemic, ECAI-2020 will be held as a virtual conference, and so will the COGNITAR-2020 workshop.

This meeting has been cancelled due the coronavirus outbreak.

The 11th SEEMOD (South and East of England Model Theory) workshop will take place at the University of East Anglia on 23rd March. The speakers are: Alexis Chevalier (Oxford) , Mark Kamsma (UEA), Charlotte Kestner (Imperial College London), Vincenzo Mantova (Leeds), and Nicholas Ramsey (UCLA).

Cancelled due to the Corona crisis.

This Masterclass in proof theory (MCPT) is primarily aimed at graduate students and early career researchers in mathematics, philosophy, and computer science with an interest in foundational questions in mathematics. The four-day event consists of introductory classes on proof theory by Michael Rathjen (Leeds) on 'Proof Theory: From Arithmetic to Set Theory' and Peter Schuster (Verona) on 'The finite content of transfinite methods'. These will be enriched through advanced evening lectures by other senior researchers, incl. Norbert Gratzl (MCMP, LMU Munich) and Helmut Schwichtenberg (LMU Munich). The event will take place on the premises of the Carl Friedrich von Siemens Foundation, right next to Munich's picturesque Nymphenburg Palace and Gardens.

Graduate students in mathematics can apply for participation scholarships of E150 funded by the German Mathematical Association (DMV).

Cancelled due to the Corona crisis.

This Masterclass in proof theory (MCPT) is primarily aimed at graduate students and early career researchers in mathematics, philosophy, and computer science with an interest in foundational questions in mathematics. The four-day event consists of introductory classes on proof theory by Michael Rathjen (Leeds) on 'Proof Theory: From Arithmetic to Set Theory' and Peter Schuster (Verona) on 'The finite content of transfinite methods'. These will be enriched through advanced evening lectures by other senior researchers, incl. Norbert Gratzl (MCMP, LMU Munich) and Helmut Schwichtenberg (LMU Munich). The event will take place on the premises of the Carl Friedrich von Siemens Foundation, right next to Munich's picturesque Nymphenburg Palace and Gardens.

Graduate students in mathematics can apply for participation scholarships of E150 funded by the German Mathematical Association (DMV).

Cancelled due to the Corona crisis.

This Masterclass in proof theory (MCPT) is primarily aimed at graduate students and early career researchers in mathematics, philosophy, and computer science with an interest in foundational questions in mathematics. The four-day event consists of introductory classes on proof theory by Michael Rathjen (Leeds) on 'Proof Theory: From Arithmetic to Set Theory' and Peter Schuster (Verona) on 'The finite content of transfinite methods'. These will be enriched through advanced evening lectures by other senior researchers, incl. Norbert Gratzl (MCMP, LMU Munich) and Helmut Schwichtenberg (LMU Munich). The event will take place on the premises of the Carl Friedrich von Siemens Foundation, right next to Munich's picturesque Nymphenburg Palace and Gardens.

Graduate students in mathematics can apply for participation scholarships of E150 funded by the German Mathematical Association (DMV).

Cancelled due to the Corona crisis.

This Masterclass in proof theory (MCPT) is primarily aimed at graduate students and early career researchers in mathematics, philosophy, and computer science with an interest in foundational questions in mathematics. The four-day event consists of introductory classes on proof theory by Michael Rathjen (Leeds) on 'Proof Theory: From Arithmetic to Set Theory' and Peter Schuster (Verona) on 'The finite content of transfinite methods'. These will be enriched through advanced evening lectures by other senior researchers, incl. Norbert Gratzl (MCMP, LMU Munich) and Helmut Schwichtenberg (LMU Munich). The event will take place on the premises of the Carl Friedrich von Siemens Foundation, right next to Munich's picturesque Nymphenburg Palace and Gardens.

Graduate students in mathematics can apply for participation scholarships of E150 funded by the German Mathematical Association (DMV).

Argumentation and exchange of information help groups to coordinate, deliberate and decide. On the other hand, debates often generate detrimental large-scale phenomena such as polarization, informational cascades and echo-chambers, where the behavior of entire groups shifts in seemingly irrational ways.

Understanding the deep mechanisms of informational and social influence that underlie these phenomena in the age of social media is a challenge that engages methods from different disciplines, including philosophy, artificial intelligence, computer and social sciences and psychology.

This workshop brings together scholars with different theoretical approaches. Its broader aim is to foster an interdisciplinary understanding of the mechanisms that determine the behavior of individuals in a social context from multiple perspectives. The workshop will last two and a half days. The first half-day of it will be dedicated to an introductory seminar on abstract argumentation, held by Professor Pietro Baroni (Brescia).

Due to the spreading of COVID-19, this workshop will be held online as a video-conference-only.

ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.

As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.

Due to the current situation regarding the Coronavirus, the physical meeting for EDBT/ICDT 2020 in Copenhagen has to be canceled. However, EDBT/ICDT 2020 as a conference is NOT canceled, but will be held as an online event.

Argumentation and exchange of information help groups to coordinate, deliberate and decide. On the other hand, debates often generate detrimental large-scale phenomena such as polarization, informational cascades and echo-chambers, where the behavior of entire groups shifts in seemingly irrational ways.

Understanding the deep mechanisms of informational and social influence that underlie these phenomena in the age of social media is a challenge that engages methods from different disciplines, including philosophy, artificial intelligence, computer and social sciences and psychology.

This workshop brings together scholars with different theoretical approaches. Its broader aim is to foster an interdisciplinary understanding of the mechanisms that determine the behavior of individuals in a social context from multiple perspectives. The workshop will last two and a half days. The first half-day of it will be dedicated to an introductory seminar on abstract argumentation, held by Professor Pietro Baroni (Brescia).

Due to the spreading of COVID-19, this workshop will be held online as a video-conference-only.

ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.

As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.

Due to the current situation regarding the Coronavirus, the physical meeting for EDBT/ICDT 2020 in Copenhagen has to be canceled. However, EDBT/ICDT 2020 as a conference is NOT canceled, but will be held as an online event.