AAMAS (International Conference on Autonomous Agents and Multiagent Systems) is the largest and most influential conference in the area of agents and multiagent systems. The aim of the conference is to bring together researchers and practitioners in all areas of agent technology and to provide a single, high-profile, internationally renowned forum for research in the theory and practice of autonomous agents and multiagent systems.

ITRS workshops have been held every two years (with the exception of 2020). The ITRS 2021 workshop aimed to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. We are planning post-proceedings, including presentations to the workshop and submissions accepted via an open call.

Papers should not be published elsewhere, with original results or surveying ongoing research. They should be written in English using LaTex and will appear on EPTCS. Submissions should be 20 pages long, excluding bibliography and avoiding technical appendices. Submissions are expected via EasyChair.

Reasoning and Interaction (ReInAct) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP), at the Department of Philosophy, Linguistics and Theory of Science (FLoV). It is sponsored by SIGSEM, the ACL special interest group on semantics. The ReInAct conference proceedings will be published online in the ACL Anthology for 2021 as a SIGSEM workshop event.

ReInAct will bring together researchers interested in computationally relevant approaches to reasoning and interaction in natural language. ReInAct is open to Machine Learning, Symbolic and Experimental approaches, as well as combinations of these. ReInAct will also involve a shared task on Dialogue Natural Language Inference (DNLI).

Reasoning and Interaction (ReInAct) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP), at the Department of Philosophy, Linguistics and Theory of Science (FLoV). It is sponsored by SIGSEM, the ACL special interest group on semantics. The ReInAct conference proceedings will be published online in the ACL Anthology for 2021 as a SIGSEM workshop event.

ReInAct will bring together researchers interested in computationally relevant approaches to reasoning and interaction in natural language. ReInAct is open to Machine Learning, Symbolic and Experimental approaches, as well as combinations of these. ReInAct will also involve a shared task on Dialogue Natural Language Inference (DNLI).

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021.

WoLLIC 2021 is planned to have a special session with the exhibition of a one-hour documentary film 'Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani' about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.

Reasoning and Interaction (ReInAct) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP), at the Department of Philosophy, Linguistics and Theory of Science (FLoV). It is sponsored by SIGSEM, the ACL special interest group on semantics. The ReInAct conference proceedings will be published online in the ACL Anthology for 2021 as a SIGSEM workshop event.

ReInAct will bring together researchers interested in computationally relevant approaches to reasoning and interaction in natural language. ReInAct is open to Machine Learning, Symbolic and Experimental approaches, as well as combinations of these. ReInAct will also involve a shared task on Dialogue Natural Language Inference (DNLI).

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021.

WoLLIC 2021 is planned to have a special session with the exhibition of a one-hour documentary film 'Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani' about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.

Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, agents, and context dependency, which are signature features of information in nature, natural languages, and reasoning.

The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of thought, mental states, reasoning, and other cognitive processes.

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021.

WoLLIC 2021 is planned to have a special session with the exhibition of a one-hour documentary film 'Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani' about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.

Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, agents, and context dependency, which are signature features of information in nature, natural languages, and reasoning.

The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of thought, mental states, reasoning, and other cognitive processes.

The thirteenth edition of the French Philosophy of Mathematics Workshop (FPMW) will be held from the 7th to the 9th of October 2021 at the Université Côte d'Azur in Nice.

Each year, the workshop program consists of five talks by invited speakers, and five contributed talks,

This year, the invited speakers are: Hourya BENIS SINACEUR (CNRS, IHPST), Valeria GIARDINO (CNRS, Institut Jean-Nicod), Patrick POPESCU-PAMPU (Université de Lille, laboratoire Paul-Painlevé), Dominique PRADELLE (Sorbonne Université, Archives Husserl) and Dirk SCHLIMM (McGill University).

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021.

WoLLIC 2021 is planned to have a special session with the exhibition of a one-hour documentary film 'Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani' about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.

Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, agents, and context dependency, which are signature features of information in nature, natural languages, and reasoning.

The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of thought, mental states, reasoning, and other cognitive processes.

The thirteenth edition of the French Philosophy of Mathematics Workshop (FPMW) will be held from the 7th to the 9th of October 2021 at the Université Côte d'Azur in Nice.

Each year, the workshop program consists of five talks by invited speakers, and five contributed talks,

This year, the invited speakers are: Hourya BENIS SINACEUR (CNRS, IHPST), Valeria GIARDINO (CNRS, Institut Jean-Nicod), Patrick POPESCU-PAMPU (Université de Lille, laboratoire Paul-Painlevé), Dominique PRADELLE (Sorbonne Université, Archives Husserl) and Dirk SCHLIMM (McGill University).

This workshop is devoted to exploring connections between non-classical logics and the rational use of defective information in the sciences, as well as the inferential practices in the sciences?particularly, those which make use of defective information. *Keynote speakers: *Gerhard Schurz (Universität Düsseldorf), Michèle Friend (Université Lille Nord-Europe/The George Washington University) and Diderik Batens (Universiteit Gent).

Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent.

Hybrid logic is now a mature field with significant impact on a range of other fields, including
- applied modal logics,
- temporal logic,
- labelled deduction,
- philosophy of time, and
- social reasoning.

The scope of the workshop is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power.

The duration of the workshop is a half day or one day and it will take place at some point during the UNILOG congress, April 6-11, 2022.

The thirteenth edition of the French Philosophy of Mathematics Workshop (FPMW) will be held from the 7th to the 9th of October 2021 at the Université Côte d'Azur in Nice.

Each year, the workshop program consists of five talks by invited speakers, and five contributed talks,

This year, the invited speakers are: Hourya BENIS SINACEUR (CNRS, IHPST), Valeria GIARDINO (CNRS, Institut Jean-Nicod), Patrick POPESCU-PAMPU (Université de Lille, laboratoire Paul-Painlevé), Dominique PRADELLE (Sorbonne Université, Archives Husserl) and Dirk SCHLIMM (McGill University).

Research, work in progress, position and student papers were welcome. List of topics of interest includes (but is not limited to): formalisms for program semantics, formal models and semantics of programs and systems, semantics of programming and specification languages, formal description techniques, logics for formal specification and verification, deductive program verification, automatic theorem proving, model checking of programs and systems, static analysis of programs, formal approach to testing and validation, and program analysis and verification tools.

PSSV-2021 is planned to be held in hybrid mode online (using Zoom) and offline (at Innopolis University).

Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.

Originally planned for 2020 in Koblenz, Germany, after consideration the organizers decided to postpone the workshop in light of the current COVID-19 crisis, and hold it online.

Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.

Originally planned for 2020 in Koblenz, Germany, after consideration the organizers decided to postpone the workshop in light of the current COVID-19 crisis, and hold it online.

Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.

Originally planned for 2020 in Koblenz, Germany, after consideration the organizers decided to postpone the workshop in light of the current COVID-19 crisis, and hold it online.

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops:

• ESOP: European Symposium on Programming
• FASE: Fundamental Approaches to Software Engineering
• FoSSaCS: Foundations of Software Science and Computation Structures
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems

A number of satellite workshops and other events will take place before the main conferences. In particular, there will be a PhD student mentoring workshop organized by Caterina Urban, Wolfgang Ahrendt and Gidon Ernst. TACAS '22 will host the 11th Competition on Software Verification (SV-COMP).

In October this year Cambridge University Press will publish The Compositional Nature of Tense, Mood and Aspect, written by Henk Verkuyl (UiLOTS, Utrecht). The title of this book clearly alludes to the PhD defended in Utrecht on Friday 15 October 1971, called On the Compositional Nature of the Aspects. It was published in 1972 without substantial corrections. The fact that October 15 this year will fall on a Friday was such a nice coincidence that it was impossible to escape from the idea that the book could be presented on that very day in a celebratory setting of some sort, exactly fifty years later. This has been developed into the more concrete idea of a workshop with distinguished speakers working in the domain of tense, aspect and mood who could connect their contribution to topics broached in the new book. The book addresses both linguists and logicians, so we are happy that UiLOTS (Utrecht) and ILLC (Amsterdam) have joined forces in organizing this workshop.

The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

The Symposium on Logic and AI (SLAI) is annually organized by the International Society for Logic and Artificial Intelligence in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. SLAI-2022 is devoted to the World Logic Day (January 14, 2022). Round tables are planned to ensure an open debate on the state of the art and new directions.

Collocated to SLAI-2022 events are
- Moldovan Prizes in Logic and Artificial Intelligence
- Romanian Prizes in Logic and Artificial Intelligence
- Ukrainian Seminar on Logic and its Applications

The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

CLAR 2021 will be held in Hangzhou at Zhejiang University City College. Due to the uncertainties of the epidemiological situation, the conference will be held in a HYBRID format (virtual and physical attendance both accepted), and we encourage physical participation if possible.

The CLAR 2021 conference will highlight recent advances in logic and argumentation and foster interaction between these areas within and outside China.

CLAR 2021 will be held in Hangzhou at Zhejiang University City College. Due to the uncertainties of the epidemiological situation, the conference will be held in a HYBRID format (virtual and physical attendance both accepted), and we encourage physical participation if possible.

The CLAR 2021 conference will highlight recent advances in logic and argumentation and foster interaction between these areas within and outside China.

This workshop is organized by the MECORE project, a collaboration between the ILLC, the University of Edinbugh and the University of Konstanz on the semantics of clause-embedding.

CLAR 2021 will be held in Hangzhou at Zhejiang University City College. Due to the uncertainties of the epidemiological situation, the conference will be held in a HYBRID format (virtual and physical attendance both accepted), and we encourage physical participation if possible.

The CLAR 2021 conference will highlight recent advances in logic and argumentation and foster interaction between these areas within and outside China.

This workshop is organized by the MECORE project, a collaboration between the ILLC, the University of Edinbugh and the University of Konstanz on the semantics of clause-embedding.

This workshop is organized by the MECORE project, a collaboration between the ILLC, the University of Edinbugh and the University of Konstanz on the semantics of clause-embedding.

The relationship between mathematics and science continues to be of considerable philosophical interest. Within contemporary philosophy of science, for example, pinpointing the exact role of mathematics in the sciences remains a hotly debated issue. Does mathematics play a mere inferential role in that it allows for the derivations of one substantial truth from another or is mathematics more than a 'theoretical juice-extractor'? Are there distinctive mathematical explanations of physical phenomena? Similar questions can be asked about the role of logic in science.

These issues connect with discussions within the philosophy of mathematics (and the philosophy of logic) concerning the nature of mathematics (or logic). Within the philosophy of mathematics, Platonists, nominalists and structuralists consider mathematics to be fundamentally different in kind from empirical science, while empiricists have argued that mathematics is, just like other sciences, fundamentally about aspects of the empirical world. Different positions within the debate about the nature of mathematics will, arguably, lead to different answers to the question as to how mathematics and science are related.

In this workshop we want to focus on how these different philosophies of mathematics fare in giving an account of mathematical practice and the role of mathematics in scientific practice.

The ENCODE workshops are organized bi-annually at the EIPE/ESPhil (Erasmus University of Rotterdam), as part of the NWO-funded project ENCODE: Explicating Norms of Collective Deliberation. In this workshop we welcome all presentations on original contributions in philosophical logic and formal philosophy more generally that are relevant for the study of deliberative, multi-agent decision processes and procedures. In contemporary democratic theory and political science, the importance of group deliberation is stressed over and again. But what exact form should such deliberation take, and what can we expect from it?

Keynote Speakers: Natacha Alechina (Utrecht), Zoé Christoff (Groningen), Dominik Klein (Utrecht) and Hannes Leitgeb ((Munich).

The ENCODE workshops are organized bi-annually at the EIPE/ESPhil (Erasmus University of Rotterdam), as part of the NWO-funded project ENCODE: Explicating Norms of Collective Deliberation. In this workshop we welcome all presentations on original contributions in philosophical logic and formal philosophy more generally that are relevant for the study of deliberative, multi-agent decision processes and procedures. In contemporary democratic theory and political science, the importance of group deliberation is stressed over and again. But what exact form should such deliberation take, and what can we expect from it?

Keynote Speakers: Natacha Alechina (Utrecht), Zoé Christoff (Groningen), Dominik Klein (Utrecht) and Hannes Leitgeb ((Munich).

The growing cultural import of computing practices has become ever more pressing in our days in all dimensions of social life. The global and collective nature of the challenges our epoch is facing (e.g. climate change, global pandemics, systemic inequalities, resurgence of totalitarianism, to name a few) requires a comprehensive perspective on computing, where social and cultural aspects occupy a central position. For these reasons, thinking about machines asks today for an interdisciplinary approach, where art is as necessary as engineering, anthropological insights as important as psychological models, and the critical perspectives of history and philosophy as decisive as the axioms and theorems of theoretical computer science.

For more than a decade, the 'History and Philosophy of Computing' Conference (HaPoC) has contributed to building such an interdisciplinary community and environment. We aim to bring together historians, philosophers, computer scientists, social scientists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, to take part in the collective construction of a comprehensive image of computing.

The growing cultural import of computing practices has become ever more pressing in our days in all dimensions of social life. The global and collective nature of the challenges our epoch is facing (e.g. climate change, global pandemics, systemic inequalities, resurgence of totalitarianism, to name a few) requires a comprehensive perspective on computing, where social and cultural aspects occupy a central position. For these reasons, thinking about machines asks today for an interdisciplinary approach, where art is as necessary as engineering, anthropological insights as important as psychological models, and the critical perspectives of history and philosophy as decisive as the axioms and theorems of theoretical computer science.

For more than a decade, the 'History and Philosophy of Computing' Conference (HaPoC) has contributed to building such an interdisciplinary community and environment. We aim to bring together historians, philosophers, computer scientists, social scientists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, to take part in the collective construction of a comprehensive image of computing.

The growing cultural import of computing practices has become ever more pressing in our days in all dimensions of social life. The global and collective nature of the challenges our epoch is facing (e.g. climate change, global pandemics, systemic inequalities, resurgence of totalitarianism, to name a few) requires a comprehensive perspective on computing, where social and cultural aspects occupy a central position. For these reasons, thinking about machines asks today for an interdisciplinary approach, where art is as necessary as engineering, anthropological insights as important as psychological models, and the critical perspectives of history and philosophy as decisive as the axioms and theorems of theoretical computer science.

For more than a decade, the 'History and Philosophy of Computing' Conference (HaPoC) has contributed to building such an interdisciplinary community and environment. We aim to bring together historians, philosophers, computer scientists, social scientists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, to take part in the collective construction of a comprehensive image of computing.