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.

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.

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.

Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop on "Theorem Proving Components for Educational Software" (ThEdu'22) happened on Aug 11, 2022, as a satellite of FLoC 2022, as a very lively meeting. The programme was comprised of two invited talks, by Yoni Zohar, fro

We welcome submission of full papers (12--20 pages) presenting original unpublished work which is not being submitted for publication elsewhere.

All contributions will be reviewed (at least three blind reviews)to meet the high standards of EPTCS.

The authors should comply with the "instructions for authors", LaTeX style files and accept the "Non-exclusive license to distribute" of EPTCS: Instructions for authors (http://info.eptcs.org/), LaTeX style file and formatting instructions (http://style.eptcs.org/) as well as (http://copyright.eptcs.org/)

Papers should be submitted via EasyChair, https://easychair.org/conferences/?conf=thedu22.

Program Committee

Francisco Botana, University of Vigo at Pontevedra, Spain David Cerna, Johannes Kepler University, Austria João Marcos, Universidade Federal do Rio Grande do Norte, Brazil (editor) Filip Maric, University of Belgrade, Serbia Adolfo Neto, Universidade Tecnológica Federal do Paraná, Brazil Walther Neuper, Johannes Kepler University Linz, Austria (editor) Pedro Quaresma, University of Coimbra, Portugal (editor) Giselle Reis, Carnegie Mellon University Qatar, Qatar Vanda Santos, University of Aveiro, Portugal Anders Schlichtkrull, Aalborg University, Denmark Wolfgang Schreiner, Johannes Kepler University, Austria M. Pilar Vélez, Nebrija University, Spain Jørgen Villadsen, Technical University of Denmark, Denmark

m Bar Ilan University, and by Thierry Dana-Picard, from the Jerusalem College of Technology, as well as four regular contributions (with one remote presentation), whose abstracts, presentations and videos may be found in the workshop's webpage.

Now the proceedings are being planned, to be published by Electronic Proceedings in Theoretical Computer Science (EPTCS), and intending to collect full versions of the contributed papers, as well as new contributions. This volume of EPTCS intends to bring together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems. The contributions' range of topics is diverse, according to ThEdu's scope, and this is a call for papers, open to everyone, also those who did not participate in the workshop. All papers will undergo reviewing according to the EPTCS standards.

Mathematics is usually regarded as a discipline which admits no grey areas in most situations: answers are either correct or incorrect; there is a universal, objective, correct answer. On the other hand, ethical, moral and political questions are usually not "correct" or "incorrect", they are complicated and full of grey areas. This makes it extremely tempting to see the sciences and mathematics as a good way to settle disputes concerning issues like justice or equity.

Similarly, it is usually considered that mathematics is the universal language of the world, one that describes it "as it is". According to this view, mathematics is neutral in the production of scientific knowledge: the scientist discovers the mathematical rules of nature (like laws and mathematical models) and applies mathematical methods to which nature owes allegiance (like statistics and algorithms).

Recent scholarship warns about the increasing use of mathematical techniques in order to prescribe policies and produce knowledge under a veil of neutrality, and argues that we should carefully evaluate the consequences of these techniques in science and society. This Topical Collection aims at contributing to this literature.

This topical collection is dedicated to the formal representation of arguments involving *temporal* *reasoning *and* tensed truths*; in particular, arguments with a clear significance to everyday life.

In a broad perspective, temporal reasoning can be rigorously encoded via *intensional logic*, treating tenses as modalities, or via *extensional logic*, quantifying over domains of temporal objects (e.g., instants, intervals, etc.). Nowadays there are several formal devices (languages, systems, semantics, etc.) able to deal with time in many regards. Each of these devices is characterized by peculiar features, such as a certain choice of primitive notions and, arguably, a certain kind of ontological commitment. The truth-conditions of (the propositions expressed by) statements involving tenses can be explained either in terms of the 'past-present-future' opposition (McTaggart's A-theory) or in terms of the 'earlier-later' opposition (McTaggart's B-theory). Moreover, taking into account the difference between chronologically definite propositions and chronologically indefinite propositions (Rescher 1966), it is possible to distinguish between atemporal and temporal (or *tensed*) notions of truth. This topical collection will primarily focus on the latter.

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.

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.

The ABC Day 2022 is scheduled for the afternoon of 20 Oct, 2022, from 12.00 onwards, and will include the keynote ABC lecture by Sabine Kastner (Princeton University): Neural dynamics of the primate attention network.

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.

We are delighted to announce that Carnegie Mellon University (CMU) together with the University of Pittsburgh (Pitt) will organize the 10th Making of the Humanities conference, from 3 till 5 November 2022.

The conference site will be the Wyndham Hotel (Wyndham Pittsburgh University Center). More information on how to reserve a room with special conference rate will be posted in May 2022.

The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.

The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)

Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)

The model-theoretic study of finite structures (such as relational databases) as a systematic area of research was started in the 1970s with Ronald Fagin's seminal doctoral thesis. To this date it has produced a plethora of significant results such as logical characterizations of complexity classes and 0-1 laws. On the other hand, many-valued logics have been studied at least since George Boole to handle reasoning with uncertainty and imprecision. In the 1990s, research in this area was boosted by the work of Petr Hájek and several others. Both fields have impacted theoretical computer science, particularly in the area of databases. The goal of this event is to bring researchers from these two worlds together to discuss problems in their respective areas and potential points of interaction.

This ia a three-day fully online workshop organized in the context of the ARC funded project DE220100544 hosted at the University of Queensland. The organizers of the event are Guillermo Badia (Queensland), Carles Noguera (Siena) and Lluis Godo (IIAI-Barcelona). Keynote speakers: Ronald Fagin (IBM) and Daniele Mundici (Florence).

Organizers of the BRIO Workshop (Bias, Risk and Opacity in AI), the ME&E-LP Workshop (Machine Ethics & Explainability - the Role of Logic Programming), and the AWARE AI Workshop (Ethics and AI, a two-way relationship) have joined efforts and created BEWARE, a forum where to discuss ideas on the emerging ethical aspects of AI, with a focus on Bias, Risk, Explainability and the role of Logic and Logic Programming. BEWARE is co-located with the AIxIA 2022 conference to be held in Udine from the 28th of November to the 2nd of December.

This workshop addresses issues of logical, ethical and epistemological nature in AI through the use of interdisciplinary approaches. We aim to bring together researchers in AI, philosophy, ethics, epistemology, social science, etc., to promote collaborations and enhance discussions towards the development of trustworthy AI methods and solutions that users and stakeholders consider technologically reliable and socially acceptable.

Around thirty years after the fall of Hilbert's program, the proofs-as-programs paradigm established the view that a proof should not be identified, as in Hilbert's metamathematics, with a string of symbols in some formal system. Rather, 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.

The workshop series includes three events, each focusing on one specific aspect of proofs and their representation. To foster interaction and discussion, each event will consists in short talks followed by a 15 minutes slot during which participants can engage in discussion or just take a short break. The third workshop focuses on  the nature of proofs.

The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

In addition to the general programme, the 23rd Amsterdam Colloquium will feature two workshops: one on Biases in Language and Cognition and one on Compositional Approaches to Projection. The Colloquium will also include a poster session, and host one evening lecture jointly organized with the E.W. Beth Foundation.

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 2023 will be co-located with POPL 2023. The CPP 2023 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2023 organizers.

After having been postponed due to the COVID pandemics,the “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information – SPLogiC”,promoted by the Centre for Logic, Epistemology and the History of Science (CLE) of the University of Campinas (Unicamp), Brazil, will be held at Unicamp from February 6th to 17th, 2023.

The School, funded by the Sao Paulo Research Foundation (FAPESP), celebrates the 90th anniversary of Newton da Costa and the 45 years of CLE, and aims at (1) Providing an overview of the state-of-art methodology and research on contemporary logic (featuring non-classical logics), rationality. and information, and (2) attracting qualified candidates to work at research institutions in the State of São Paulo. The program comprises 8 courses and 9 plenary talks delivered in English by experts in each topic, as well as oral presentations (LED Talks) and poster sessions by the students.

The event will select 100 fully-funded participants (50 grantees from all states of Brazil and 50 international grantees). Funding includes airfare, medical insurance, accommodation and meals throughout the two weeks. Undergraduate, graduate students and postdoctoral fellows (up to 5 years after completion of the Ph.D) from all countries are encouraged to apply. Deadline for applications: 30 october 2022.

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

CSL'23 will be held on February 13 - 16, 2023, in Warsaw, Poland, with satellite workshops on February 17. It is planned as an on-site event, with support for remote presence for those participants who are unable to come for pandemic reasons. Keynote speakers: Claudia Faggian (Université de Paris, France), Nina Gierasimczuk (Danish Technical University, Denmark), Dale Miller (Inria Saclay, France), Michał Pilipczuk Pilipczuk (University of Warsaw, Poland) and Davide Sangiorgi (University of Bologna, Italy).