This year's international autumn school "Proof and Computation" will be held from 26th September to 1st October 2022 in Fischbachau near Munich. Its aim 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.

Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of 'reasoning from experience;. It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning. The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) aims at bringing together experts from all fields concerned with inductive reasoning.

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:

• 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

accompanied by satellite workshops.

ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:

•  The SPIN symposium will be co-located with ETAPS.
• TACAS will use a double-blind reviewing process.
• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.
• There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.

ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.

Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of 'reasoning from experience;. It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning. The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) aims at bringing together experts from all fields concerned with inductive reasoning.

Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of 'reasoning from experience;. It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning. The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) aims at bringing together experts from all fields concerned with inductive reasoning.

The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy since 2018. We are pleased to invite papers in philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, formal ethics , other branches of formal and mathematical philosophy.

Our conference aims to address the role of hypothetical thinking in the formulation and development of scientific theories and models.Next year will mark the 550th anniversary of the birth of Nicolaus Copernicus. We think that it would be highly pertinent to discuss how our understanding of the role of hypotheses has changed since his time. Is the use of hypotheses still viable in current science, or has it been superseded by other scientific concepts or methods? The aim of our conference is to contribute to the dialogue between scientists, historians of science, philosophers of science, and logicians interested in scientific methods of reasoning.

Keynote Speakers: Stephen Barr (University of Delaware, USA) Carl Craver (Washington University in St. Louis, USA) Niccolo Guicciardini (University of Milan, Italy) Paweł Kawalec (Catholic University of Lublin, Poland) Emily Sullivan (Eindhoven University of Technology, Netherlands) K. Brad Wray (Aarhus University, Denmark) Peter Vickers (Durham University, United Kingdom).

The fourteenth edition of the French Philosophy of Mathematics Workshop  (FPMW) will be held from the 19th to the 21st of October 2022 at Nantes University.

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

This year, the invited speakers are: Mark van ATTEN (CNRS, Ecole Normale Supérieure), Erwan BRUGALLÉ (Nantes Université), Jessica CARTER (Aarhus Universitet), Jean-Baptiste JOINET (Université Lyon III Jean Moulin) and Göran SUNDHOLM (Universiteit Leiden).

Our conference aims to address the role of hypothetical thinking in the formulation and development of scientific theories and models.Next year will mark the 550th anniversary of the birth of Nicolaus Copernicus. We think that it would be highly pertinent to discuss how our understanding of the role of hypotheses has changed since his time. Is the use of hypotheses still viable in current science, or has it been superseded by other scientific concepts or methods? The aim of our conference is to contribute to the dialogue between scientists, historians of science, philosophers of science, and logicians interested in scientific methods of reasoning.

Keynote Speakers: Stephen Barr (University of Delaware, USA) Carl Craver (Washington University in St. Louis, USA) Niccolo Guicciardini (University of Milan, Italy) Paweł Kawalec (Catholic University of Lublin, Poland) Emily Sullivan (Eindhoven University of Technology, Netherlands) K. Brad Wray (Aarhus University, Denmark) Peter Vickers (Durham University, United Kingdom).

The fourteenth edition of the French Philosophy of Mathematics Workshop  (FPMW) will be held from the 19th to the 21st of October 2022 at Nantes University.

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

This year, the invited speakers are: Mark van ATTEN (CNRS, Ecole Normale Supérieure), Erwan BRUGALLÉ (Nantes Université), Jessica CARTER (Aarhus Universitet), Jean-Baptiste JOINET (Université Lyon III Jean Moulin) and Göran SUNDHOLM (Universiteit Leiden).

ABC Day 2022 - an occasion to (re)connect with the ABC community, exchange ideas and foster new collaborations.

Sign up for a day packed with:

• Scientific Presentations from ABC Researchers
• Highlights from ABC Themes & Transversal Perspectives and
• Lots of Networking Opportunities
• A keynote ABC lecture from Luiz Pessoa (Marylan Neuroimaging Center)

Registration is now OPEN and required: please register here. In the registration form you will also find more details on the program, and have the opportunity to register for presenting your work with a poster, and gain a chance to win a poster award.

Our conference aims to address the role of hypothetical thinking in the formulation and development of scientific theories and models.Next year will mark the 550th anniversary of the birth of Nicolaus Copernicus. We think that it would be highly pertinent to discuss how our understanding of the role of hypotheses has changed since his time. Is the use of hypotheses still viable in current science, or has it been superseded by other scientific concepts or methods? The aim of our conference is to contribute to the dialogue between scientists, historians of science, philosophers of science, and logicians interested in scientific methods of reasoning.

Keynote Speakers: Stephen Barr (University of Delaware, USA) Carl Craver (Washington University in St. Louis, USA) Niccolo Guicciardini (University of Milan, Italy) Paweł Kawalec (Catholic University of Lublin, Poland) Emily Sullivan (Eindhoven University of Technology, Netherlands) K. Brad Wray (Aarhus University, Denmark) Peter Vickers (Durham University, United Kingdom).

The fourteenth edition of the French Philosophy of Mathematics Workshop  (FPMW) will be held from the 19th to the 21st of October 2022 at Nantes University.

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

This year, the invited speakers are: Mark van ATTEN (CNRS, Ecole Normale Supérieure), Erwan BRUGALLÉ (Nantes Université), Jessica CARTER (Aarhus Universitet), Jean-Baptiste JOINET (Université Lyon III Jean Moulin) and Göran SUNDHOLM (Universiteit Leiden).

The link between epistemic logic and topology has its roots, on the one hand, in the topological semantics of modal logic, and on the other hand, in the intimate relations between topology and concurrency, and between topology and distributed computing. Recent years have witnessed an explosion of new work in this area, from the development of more expressive logics capable of capturing fine topological structure, to the leveraging of topological tools to represent concepts such as observations, questions, and dependence relations, and encoding deep connections with distributed computing. The richness of this area has spawned a thriving, interdisciplinary research program with applications in learning theory, network epistemology, public and private communication, inquisitive semantics, philosophy of science, and knowledge representation in distributed computing, among others.

This workshop aims at bringing together scholars working on various ways of connecting logic and topology to showcase a variety of recent developments and applications in the area, and to foster new research collaborations.

The link between epistemic logic and topology has its roots, on the one hand, in the topological semantics of modal logic, and on the other hand, in the intimate relations between topology and concurrency, and between topology and distributed computing. Recent years have witnessed an explosion of new work in this area, from the development of more expressive logics capable of capturing fine topological structure, to the leveraging of topological tools to represent concepts such as observations, questions, and dependence relations, and encoding deep connections with distributed computing. The richness of this area has spawned a thriving, interdisciplinary research program with applications in learning theory, network epistemology, public and private communication, inquisitive semantics, philosophy of science, and knowledge representation in distributed computing, among others.

This workshop aims at bringing together scholars working on various ways of connecting logic and topology to showcase a variety of recent developments and applications in the area, and to foster new research collaborations.

The link between epistemic logic and topology has its roots, on the one hand, in the topological semantics of modal logic, and on the other hand, in the intimate relations between topology and concurrency, and between topology and distributed computing. Recent years have witnessed an explosion of new work in this area, from the development of more expressive logics capable of capturing fine topological structure, to the leveraging of topological tools to represent concepts such as observations, questions, and dependence relations, and encoding deep connections with distributed computing. The richness of this area has spawned a thriving, interdisciplinary research program with applications in learning theory, network epistemology, public and private communication, inquisitive semantics, philosophy of science, and knowledge representation in distributed computing, among others.

This workshop aims at bringing together scholars working on various ways of connecting logic and topology to showcase a variety of recent developments and applications in the area, and to foster new research collaborations.

Connexive logics are orthogonal to classical logic insofar as they validate certain non-theorems of classical logic involving mainly negation and implication. Systems of connexive logic have been motivated by considerations of a content connection between the antecedent and consequent of valid implications, cancellation-like accounts of negation, as well as by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications.

As interests in topics related to connexive logics are growing, the seventh workshop aims at discussing directions for future research in connexive logics. Special focus will be given to discussions on the nature of connexivity, the place of connexive logics among non-classical logics, the historical roots of connexive logics and empirical research on connexivity and connexive principles.

Connexive logics are orthogonal to classical logic insofar as they validate certain non-theorems of classical logic involving mainly negation and implication. Systems of connexive logic have been motivated by considerations of a content connection between the antecedent and consequent of valid implications, cancellation-like accounts of negation, as well as by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications.

As interests in topics related to connexive logics are growing, the seventh workshop aims at discussing directions for future research in connexive logics. Special focus will be given to discussions on the nature of connexivity, the place of connexive logics among non-classical logics, the historical roots of connexive logics and empirical research on connexivity and connexive principles.

The European Set Theory Society has initiated a series of panel discussions with prominent set theorists that will take place around four times per year. The discussions will take place online. Four experts will be invited to describe the general area they represent, explain where the area is heading and discuss how it relates to other areas of set theory and mathematics.

The kick-off event will take place at 17:00-19:00 CEST on Thursday, 27 October 2022. The panelists are Michael Hrusak (Universidad Nacional Autónoma de México), Juliette Kennedy (University of Helsinki), Menachem Magidor (Hebrew University of Jerusalem) and Justin Tatch Moore (Cornell University).

Connexive logics are orthogonal to classical logic insofar as they validate certain non-theorems of classical logic involving mainly negation and implication. Systems of connexive logic have been motivated by considerations of a content connection between the antecedent and consequent of valid implications, cancellation-like accounts of negation, as well as by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications.

As interests in topics related to connexive logics are growing, the seventh workshop aims at discussing directions for future research in connexive logics. Special focus will be given to discussions on the nature of connexivity, the place of connexive logics among non-classical logics, the historical roots of connexive logics and empirical research on connexivity and connexive principles.

The Iranian Institute of Philosophy (IRIP) in collaboration with the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) in Iran is organizing an international conference on the history of logic in the Islamic world. The event will be held in a hybrid format where, depending on their choice, some speakers will talk virtually and others will attend in person at the Iranian Institute of Philosophy (IRIP) in Tehran.

Conference Scope:
 A. Pre-Avicennan Logic
 B. Avicenna’s Logic
 C. Post-Avicennan Logic
 D. Comparative logic

TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2022 was held from 20 to 25 June at LS2N, University of Nantes, France. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference.

Submission is open to everyone, also to those who did not participate in the TYPES 2022 conference. We welcome high-quality descriptions of original work, as well as position papers, overview papers, and system descriptions. Submissions should be written in English, and being original, i.e. neither previously published, nor simultaneously submitted to a journal or a conference. The scope of the post-proceedings is the same as the scope of the conference: the theory and practice of type theory.

The Logic Journal of the IGPL will publish a special issue on Non-classical Modal and Predicate Logics.. Its aim is to bring together papers on both pure and applied aspects of various branches of non- classical logics, not only to present recent advances in their particular fields, but mainly foster the exchange of ideas between researchers focusing on (1) separate branches of non- classical logic and (2) foundational and applied issues.

We invite submissions on both (a) theoretical topics from all branches of mathematical logic (e.g., proof-theory, model theory, game theory, computational complexity, etc.), as well as (b) their applications in various areas (including computer science, linguistics, mathematics, philosophy, etc.). Topics of interest include (but are not limited to): * The study of first- or higher-order variants of non- classical logics * Non-classical theories of quantification over classical logic * Extensions by modalities of (propositional or predicate) non-classical logics * Applications of non-classical modal and predicate logics in various areas.

The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy since 2018. We are pleased to invite papers in philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, formal ethics , other branches of formal and mathematical philosophy.