The European Set Theory Conferences is a series of biannual meetings coordinated by the European Set Theory Society (ESTS). This year's edition is organized by the Department of Mathematics of the University of Turin and ESTS, in partnership with the Clay Mathematics Institute. It is the most important conference in set theory, and gathers the worldwide leaders in the field as well as many young researchers. During the event, the prestigious Hausdorff medal will be awarded for the most influential work in set theory published in the preceding five years. There will also be a special session in honor of Boban Veličković's 60th birthday.

The International conference MCU series traces its roots back to the mid 90's, and has always been concerned with gaining a deeper understanding of computation and universality through the study of models of general purpose computation.  The 9th edition of MCU will take place at the University of Debrecen in Hungary, it is co-located with DCFS 2022 and NCMA 2022. As long as travel conditions and the situation concerning the current humanitarian crisis in the neighboring Ukraine allow, the conference is planned to be on-site. If necessary, the possibility of both, in-person and online participation will be provided.

The scope of the conference topics includes, but is not limited to, computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models...) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing...) and the meaning and implantation of universality in these contexts. Particular emphasis is given towards search for frontiers between decidability and undecidability in the various models, search for the simplest universal models, computational complexity of predicting the evolution of computations in the various models. Parallel computing models and their connections to decidability, complexity and universality.

The European Set Theory Conferences is a series of biannual meetings coordinated by the European Set Theory Society (ESTS). This year's edition is organized by the Department of Mathematics of the University of Turin and ESTS, in partnership with the Clay Mathematics Institute. It is the most important conference in set theory, and gathers the worldwide leaders in the field as well as many young researchers. During the event, the prestigious Hausdorff medal will be awarded for the most influential work in set theory published in the preceding five years. There will also be a special session in honor of Boban Veličković's 60th birthday.

The International conference MCU series traces its roots back to the mid 90's, and has always been concerned with gaining a deeper understanding of computation and universality through the study of models of general purpose computation.  The 9th edition of MCU will take place at the University of Debrecen in Hungary, it is co-located with DCFS 2022 and NCMA 2022. As long as travel conditions and the situation concerning the current humanitarian crisis in the neighboring Ukraine allow, the conference is planned to be on-site. If necessary, the possibility of both, in-person and online participation will be provided.

The scope of the conference topics includes, but is not limited to, computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models...) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing...) and the meaning and implantation of universality in these contexts. Particular emphasis is given towards search for frontiers between decidability and undecidability in the various models, search for the simplest universal models, computational complexity of predicting the evolution of computations in the various models. Parallel computing models and their connections to decidability, complexity and universality.

Modalities in Substructural Logic: Theory Methods and Applications (MOSAIC 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-located with the International Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).

The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities, and (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Invited speakers: Silvio Ghilardi (University of Milan, Italy), Sonia Marin (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).

Logic, Algebra and Truth Degrees 2022 (LATD 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

Invited speakers: Bahareh Afshari (University of Amsterdam), Mamuka Jibladze (Razmadze Mathematical Institute), Matteo Mio (Ecole Normale Superieure de Lyon), Daniele Mundici (University of Florence), Sara Negri (University of Helsinki), Carles Noguera (Czech Academy of Sciences) and Alessandra Palmigiano (Vrije Univesiteit Amsterdam).

Modalities in Substructural Logic: Theory Methods and Applications (MOSAIC 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-located with the International Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).

The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities, and (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Invited speakers: Silvio Ghilardi (University of Milan, Italy), Sonia Marin (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).

Logic, Algebra and Truth Degrees 2022 (LATD 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

Invited speakers: Bahareh Afshari (University of Amsterdam), Mamuka Jibladze (Razmadze Mathematical Institute), Matteo Mio (Ecole Normale Superieure de Lyon), Daniele Mundici (University of Florence), Sara Negri (University of Helsinki), Carles Noguera (Czech Academy of Sciences) and Alessandra Palmigiano (Vrije Univesiteit Amsterdam).

PhDs in Logic is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, logic in computer science and in linguistics. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research.

Registration deadline: 20/07/2022 (If you need a child-care, please let us know by email/contact-form within June 20th 2022).

Continuing the tradition of the congresses of the paraconsistency and referring to the role of Stanisław Jaskowski for the creation and development of the paraconsistency, we hereby invite you to the Congress-Symposium in Toruń.

The Czech Technical University in Prague will host the 18th edition of the "Mons Theoretical Computer Science Days" on September 5-9, 2022 (postponed from September 7-11, 2020). The conference will offer invited talks and lectures on selected abstracts.

The theme of the conference is combinatorics on words and formal languages from their different perspectives (combinatorial, algorithmic, dynamical, logic, ...). The conference also welcomes other related branches of computer science and mathematics (number theory, computability, model checking, semigroups, game theory, discrete geometry, decentralized algorithms, bioinformatics, ...).

We are happy to invite abstract submissions by graduate students (MA and PhD) to the European Summer School on the Philosophy of Mathematics. The School will be hosted in person at the University of Konstanz and will include two week-long tutorials and four lectures by distinguished scholars. The school aims to bring together Master and PhD students interested in the connection between philosophy and mathematics, giving them the opportunity to discuss related topics with leading scholars in the field.

The school will host up to 25 participants and will cover the local expenses of 8 of them (accomodation and meals), who will be selected for a brief presentation (30 minutes). In order to apply, students are expected to send a 2 page abstract. European and non-European students are encouraged to apply. The working language will be English. Registration fees are not required.

Tutorials: Øystein Linnebo (University of Oslo), Silvia de Toffoli (Linköping University).
Lectures: Tim Button (University College London), Carolin Antos (University of Konstanz), Carlo Nicolai (King's College London), Georg Schiemer (University of Vienna).

Modalities in Substructural Logic: Theory Methods and Applications (MOSAIC 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-located with the International Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).

The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities, and (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Invited speakers: Silvio Ghilardi (University of Milan, Italy), Sonia Marin (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).

Logic, Algebra and Truth Degrees 2022 (LATD 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

Invited speakers: Bahareh Afshari (University of Amsterdam), Mamuka Jibladze (Razmadze Mathematical Institute), Matteo Mio (Ecole Normale Superieure de Lyon), Daniele Mundici (University of Florence), Sara Negri (University of Helsinki), Carles Noguera (Czech Academy of Sciences) and Alessandra Palmigiano (Vrije Univesiteit Amsterdam).

PhDs in Logic is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, logic in computer science and in linguistics. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research.

Registration deadline: 20/07/2022 (If you need a child-care, please let us know by email/contact-form within June 20th 2022).

Continuing the tradition of the congresses of the paraconsistency and referring to the role of Stanisław Jaskowski for the creation and development of the paraconsistency, we hereby invite you to the Congress-Symposium in Toruń.

The Czech Technical University in Prague will host the 18th edition of the "Mons Theoretical Computer Science Days" on September 5-9, 2022 (postponed from September 7-11, 2020). The conference will offer invited talks and lectures on selected abstracts.

The theme of the conference is combinatorics on words and formal languages from their different perspectives (combinatorial, algorithmic, dynamical, logic, ...). The conference also welcomes other related branches of computer science and mathematics (number theory, computability, model checking, semigroups, game theory, discrete geometry, decentralized algorithms, bioinformatics, ...).

We are happy to invite abstract submissions by graduate students (MA and PhD) to the European Summer School on the Philosophy of Mathematics. The School will be hosted in person at the University of Konstanz and will include two week-long tutorials and four lectures by distinguished scholars. The school aims to bring together Master and PhD students interested in the connection between philosophy and mathematics, giving them the opportunity to discuss related topics with leading scholars in the field.

The school will host up to 25 participants and will cover the local expenses of 8 of them (accomodation and meals), who will be selected for a brief presentation (30 minutes). In order to apply, students are expected to send a 2 page abstract. European and non-European students are encouraged to apply. The working language will be English. Registration fees are not required.

Tutorials: Øystein Linnebo (University of Oslo), Silvia de Toffoli (Linköping University).
Lectures: Tim Button (University College London), Carolin Antos (University of Konstanz), Carlo Nicolai (King's College London), Georg Schiemer (University of Vienna).

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.

Modalities in Substructural Logic: Theory Methods and Applications (MOSAIC 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-located with the International Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).

The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities, and (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Invited speakers: Silvio Ghilardi (University of Milan, Italy), Sonia Marin (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).

Logic, Algebra and Truth Degrees 2022 (LATD 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

Invited speakers: Bahareh Afshari (University of Amsterdam), Mamuka Jibladze (Razmadze Mathematical Institute), Matteo Mio (Ecole Normale Superieure de Lyon), Daniele Mundici (University of Florence), Sara Negri (University of Helsinki), Carles Noguera (Czech Academy of Sciences) and Alessandra Palmigiano (Vrije Univesiteit Amsterdam).

PhDs in Logic is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, logic in computer science and in linguistics. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research.

Registration deadline: 20/07/2022 (If you need a child-care, please let us know by email/contact-form within June 20th 2022).

Continuing the tradition of the congresses of the paraconsistency and referring to the role of Stanisław Jaskowski for the creation and development of the paraconsistency, we hereby invite you to the Congress-Symposium in Toruń.

The Czech Technical University in Prague will host the 18th edition of the "Mons Theoretical Computer Science Days" on September 5-9, 2022 (postponed from September 7-11, 2020). The conference will offer invited talks and lectures on selected abstracts.

The theme of the conference is combinatorics on words and formal languages from their different perspectives (combinatorial, algorithmic, dynamical, logic, ...). The conference also welcomes other related branches of computer science and mathematics (number theory, computability, model checking, semigroups, game theory, discrete geometry, decentralized algorithms, bioinformatics, ...).

We are happy to invite abstract submissions by graduate students (MA and PhD) to the European Summer School on the Philosophy of Mathematics. The School will be hosted in person at the University of Konstanz and will include two week-long tutorials and four lectures by distinguished scholars. The school aims to bring together Master and PhD students interested in the connection between philosophy and mathematics, giving them the opportunity to discuss related topics with leading scholars in the field.

The school will host up to 25 participants and will cover the local expenses of 8 of them (accomodation and meals), who will be selected for a brief presentation (30 minutes). In order to apply, students are expected to send a 2 page abstract. European and non-European students are encouraged to apply. The working language will be English. Registration fees are not required.

Tutorials: Øystein Linnebo (University of Oslo), Silvia de Toffoli (Linköping University).
Lectures: Tim Button (University College London), Carolin Antos (University of Konstanz), Carlo Nicolai (King's College London), Georg Schiemer (University of Vienna).

TDPhiMa is a conference series that looks at mathematical texts from a philosophical and linguistic perspective. Text is a crucial medium for the dissemination of mathematical ideas, agendas, and results to the scientific community and educational contexts. This makes focusing on mathematical texts a natural and significant part of the philosophical study of mathematics. In addition, research on mathematical texts can benefit from the knowledge and methods of other disciplines such as linguistics and computer science to study problems in the philosophy of mathematics. In the third iteration of TDPhiMa, we focus on the application of these methods within computational mathematics, including the context of automated theorem proving.

Relevant topics include: 1. Big data approaches. 2. Input language for automated theorem provers 3. Language processing for evidence texts 4. Frame Semantics and other tools from classical AI. 5. Philosophical implications of the aforementioned topics.

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 first workshop focuses on Infinity and co-inductive proofs.

Modalities in Substructural Logic: Theory Methods and Applications (MOSAIC 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-located with the International Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).

The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities, and (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Invited speakers: Silvio Ghilardi (University of Milan, Italy), Sonia Marin (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).

Logic, Algebra and Truth Degrees 2022 (LATD 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

Invited speakers: Bahareh Afshari (University of Amsterdam), Mamuka Jibladze (Razmadze Mathematical Institute), Matteo Mio (Ecole Normale Superieure de Lyon), Daniele Mundici (University of Florence), Sara Negri (University of Helsinki), Carles Noguera (Czech Academy of Sciences) and Alessandra Palmigiano (Vrije Univesiteit Amsterdam).

Continuing the tradition of the congresses of the paraconsistency and referring to the role of Stanisław Jaskowski for the creation and development of the paraconsistency, we hereby invite you to the Congress-Symposium in Toruń.

The Czech Technical University in Prague will host the 18th edition of the "Mons Theoretical Computer Science Days" on September 5-9, 2022 (postponed from September 7-11, 2020). The conference will offer invited talks and lectures on selected abstracts.

The theme of the conference is combinatorics on words and formal languages from their different perspectives (combinatorial, algorithmic, dynamical, logic, ...). The conference also welcomes other related branches of computer science and mathematics (number theory, computability, model checking, semigroups, game theory, discrete geometry, decentralized algorithms, bioinformatics, ...).

We are happy to invite abstract submissions by graduate students (MA and PhD) to the European Summer School on the Philosophy of Mathematics. The School will be hosted in person at the University of Konstanz and will include two week-long tutorials and four lectures by distinguished scholars. The school aims to bring together Master and PhD students interested in the connection between philosophy and mathematics, giving them the opportunity to discuss related topics with leading scholars in the field.

The school will host up to 25 participants and will cover the local expenses of 8 of them (accomodation and meals), who will be selected for a brief presentation (30 minutes). In order to apply, students are expected to send a 2 page abstract. European and non-European students are encouraged to apply. The working language will be English. Registration fees are not required.

Tutorials: Øystein Linnebo (University of Oslo), Silvia de Toffoli (Linköping University).
Lectures: Tim Button (University College London), Carolin Antos (University of Konstanz), Carlo Nicolai (King's College London), Georg Schiemer (University of Vienna).

TDPhiMa is a conference series that looks at mathematical texts from a philosophical and linguistic perspective. Text is a crucial medium for the dissemination of mathematical ideas, agendas, and results to the scientific community and educational contexts. This makes focusing on mathematical texts a natural and significant part of the philosophical study of mathematics. In addition, research on mathematical texts can benefit from the knowledge and methods of other disciplines such as linguistics and computer science to study problems in the philosophy of mathematics. In the third iteration of TDPhiMa, we focus on the application of these methods within computational mathematics, including the context of automated theorem proving.

Relevant topics include: 1. Big data approaches. 2. Input language for automated theorem provers 3. Language processing for evidence texts 4. Frame Semantics and other tools from classical AI. 5. Philosophical implications of the aforementioned topics.

Modalities in Substructural Logic: Theory Methods and Applications (MOSAIC 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-located with the International Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).

The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities, and (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Invited speakers: Silvio Ghilardi (University of Milan, Italy), Sonia Marin (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).

Logic, Algebra and Truth Degrees 2022 (LATD 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

Invited speakers: Bahareh Afshari (University of Amsterdam), Mamuka Jibladze (Razmadze Mathematical Institute), Matteo Mio (Ecole Normale Superieure de Lyon), Daniele Mundici (University of Florence), Sara Negri (University of Helsinki), Carles Noguera (Czech Academy of Sciences) and Alessandra Palmigiano (Vrije Univesiteit Amsterdam).

The Czech Technical University in Prague will host the 18th edition of the "Mons Theoretical Computer Science Days" on September 5-9, 2022 (postponed from September 7-11, 2020). The conference will offer invited talks and lectures on selected abstracts.

The theme of the conference is combinatorics on words and formal languages from their different perspectives (combinatorial, algorithmic, dynamical, logic, ...). The conference also welcomes other related branches of computer science and mathematics (number theory, computability, model checking, semigroups, game theory, discrete geometry, decentralized algorithms, bioinformatics, ...).

We are happy to invite abstract submissions by graduate students (MA and PhD) to the European Summer School on the Philosophy of Mathematics. The School will be hosted in person at the University of Konstanz and will include two week-long tutorials and four lectures by distinguished scholars. The school aims to bring together Master and PhD students interested in the connection between philosophy and mathematics, giving them the opportunity to discuss related topics with leading scholars in the field.

The school will host up to 25 participants and will cover the local expenses of 8 of them (accomodation and meals), who will be selected for a brief presentation (30 minutes). In order to apply, students are expected to send a 2 page abstract. European and non-European students are encouraged to apply. The working language will be English. Registration fees are not required.

Tutorials: Øystein Linnebo (University of Oslo), Silvia de Toffoli (Linköping University).
Lectures: Tim Button (University College London), Carolin Antos (University of Konstanz), Carlo Nicolai (King's College London), Georg Schiemer (University of Vienna).

The square of opposition is a logical structure coming from Aristotelian logic. It has been continuously studied during two thousand years. Even Frege, one of the main founders of modern mathematical logic, used it. It can be applied to many fields, ranging from metalogic to highway code, through economics, music, physics, color theory, theology.

This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

The aim of the annual International Conference on Intuitionistic Fuzzy Sets (ICIFS) is to gather specialists interested in intuitionistic fuzziness, decision making under uncertainty, and other related topics, and to give them floor for discussions on both the theoretical and practical aspects of intuitionistic fuzzy sets. Since 2013, ICIFS has been an EUSFLAT endorsed event.

Modalities in Substructural Logic: Theory Methods and Applications (MOSAIC 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-located with the International Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).

The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities, and (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Invited speakers: Silvio Ghilardi (University of Milan, Italy), Sonia Marin (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).

Logic, Algebra and Truth Degrees 2022 (LATD 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

Invited speakers: Bahareh Afshari (University of Amsterdam), Mamuka Jibladze (Razmadze Mathematical Institute), Matteo Mio (Ecole Normale Superieure de Lyon), Daniele Mundici (University of Florence), Sara Negri (University of Helsinki), Carles Noguera (Czech Academy of Sciences) and Alessandra Palmigiano (Vrije Univesiteit Amsterdam).

The square of opposition is a logical structure coming from Aristotelian logic. It has been continuously studied during two thousand years. Even Frege, one of the main founders of modern mathematical logic, used it. It can be applied to many fields, ranging from metalogic to highway code, through economics, music, physics, color theory, theology.

This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

The aim of the annual International Conference on Intuitionistic Fuzzy Sets (ICIFS) is to gather specialists interested in intuitionistic fuzziness, decision making under uncertainty, and other related topics, and to give them floor for discussions on both the theoretical and practical aspects of intuitionistic fuzzy sets. Since 2013, ICIFS has been an EUSFLAT endorsed event.

Modalities in Substructural Logic: Theory Methods and Applications (MOSAIC 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference is the kick-off meeting of the RISE-MSCA project MOSAIC and will be co-located with the International Conference “Logic, Algebra and Truth Degrees” 2020 (LATD 2020).

The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities, and (2) Exploring the application of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

Invited speakers: Silvio Ghilardi (University of Milan, Italy), Sonia Marin (University of Birmingham, UK), Nicola Olivetti (Aix-Marseille University, France), Sara Ugolini (IIIA - CSIC of Barcelona, Spain).

Logic, Algebra and Truth Degrees 2022 (LATD 2022) will be held on 4-11 September 2022 in Paestum, (Salerno, Italy). The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

Invited speakers: Bahareh Afshari (University of Amsterdam), Mamuka Jibladze (Razmadze Mathematical Institute), Matteo Mio (Ecole Normale Superieure de Lyon), Daniele Mundici (University of Florence), Sara Negri (University of Helsinki), Carles Noguera (Czech Academy of Sciences) and Alessandra Palmigiano (Vrije Univesiteit Amsterdam).

The square of opposition is a logical structure coming from Aristotelian logic. It has been continuously studied during two thousand years. Even Frege, one of the main founders of modern mathematical logic, used it. It can be applied to many fields, ranging from metalogic to highway code, through economics, music, physics, color theory, theology.

This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2022', the 35th in the series of annual international symposia devoted to logic, to be held at Tepla Monastery, Czech Republic, on 11 September -- 15 September 2022.

Invited speakers: Steve Awodey (Carnegie Mellon University), Alena Vencovska (University of Manchester) and Yde Venema (University of Amsterdam). Additionally, the conference program will include a Special session on logic and information.

The square of opposition is a logical structure coming from Aristotelian logic. It has been continuously studied during two thousand years. Even Frege, one of the main founders of modern mathematical logic, used it. It can be applied to many fields, ranging from metalogic to highway code, through economics, music, physics, color theory, theology.

This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2022', the 35th in the series of annual international symposia devoted to logic, to be held at Tepla Monastery, Czech Republic, on 11 September -- 15 September 2022.

Invited speakers: Steve Awodey (Carnegie Mellon University), Alena Vencovska (University of Manchester) and Yde Venema (University of Amsterdam). Additionally, the conference program will include a Special session on logic and information.

The aim of this workshop is to bring together researchers from the fields of computational argumentation and eXplainable Artificial Intelligence (XAI). We specifically seek contributions that present formal work on argumentative explainability, as well as argumentative approaches that explain the behaviour of intelligent systems (argumentation for XAI).The workshop is to be held at the:International Conference on Computational Models of Argument (COMMA 2022).

The Italian Association for Logic and its Application (AILA) announces the “XXVII Incontro di Logica”, that will take place in Caserta (Italy) in September 2022. The meetings will feature plenary talks form leading international researchers, invited talks from the recipients of the AILA awards, and contributed talks. Contributions from researchers of any nationality are welcome.

The 2022 edition of the annual meeting of the German Mathematical Society (DMV) will take place in person in Berlin, September 12th to 16th, 2022.

We are organizing a section on Mathematical Logic at this meeting and have four main invited speakers who will give 50 minute talks: Philipp Hieronymi (Bonn), Maxwell Levine (Freiburg), Nadav Meir (Wrocław), Philipp Schlicht (Bristol).

Logic for the AI Spring aims at bringing together logicians and other scientists working around and within the currently blossoming new AI Spring. In addition to a glorious past which must not be forgotten, logic has a fundamental role to play, which is still largely in the making, in the future of AI research and applications. Researchers entering the field now have an opportunity to shape logic-based AI in the years to come. The School is designed to help them become culturally aware of the larger picture, which is made of urgent scientific and societal challenges, against which the unprecedented successes of the present AI Spring must be evaluated.

PROGRAMME & TOPICS The School will feature four 8-hour tutorials:
- History and culture of AI (Stephanie Dick, Simon Fraser University)
- Combining Machine Learning and Theorem Proving (Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics)
- Multiagent Systems (Michel Wooldridge, Oxford University)
- Logic (Alessandra Palmigiano, VU Amsterdam)

The square of opposition is a logical structure coming from Aristotelian logic. It has been continuously studied during two thousand years. Even Frege, one of the main founders of modern mathematical logic, used it. It can be applied to many fields, ranging from metalogic to highway code, through economics, music, physics, color theory, theology.

This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2022', the 35th in the series of annual international symposia devoted to logic, to be held at Tepla Monastery, Czech Republic, on 11 September -- 15 September 2022.

Invited speakers: Steve Awodey (Carnegie Mellon University), Alena Vencovska (University of Manchester) and Yde Venema (University of Amsterdam). Additionally, the conference program will include a Special session on logic and information.

The Italian Association for Logic and its Application (AILA) announces the “XXVII Incontro di Logica”, that will take place in Caserta (Italy) in September 2022. The meetings will feature plenary talks form leading international researchers, invited talks from the recipients of the AILA awards, and contributed talks. Contributions from researchers of any nationality are welcome.

The 2022 edition of the annual meeting of the German Mathematical Society (DMV) will take place in person in Berlin, September 12th to 16th, 2022.

We are organizing a section on Mathematical Logic at this meeting and have four main invited speakers who will give 50 minute talks: Philipp Hieronymi (Bonn), Maxwell Levine (Freiburg), Nadav Meir (Wrocław), Philipp Schlicht (Bristol).

Logic for the AI Spring aims at bringing together logicians and other scientists working around and within the currently blossoming new AI Spring. In addition to a glorious past which must not be forgotten, logic has a fundamental role to play, which is still largely in the making, in the future of AI research and applications. Researchers entering the field now have an opportunity to shape logic-based AI in the years to come. The School is designed to help them become culturally aware of the larger picture, which is made of urgent scientific and societal challenges, against which the unprecedented successes of the present AI Spring must be evaluated.

PROGRAMME & TOPICS The School will feature four 8-hour tutorials:
- History and culture of AI (Stephanie Dick, Simon Fraser University)
- Combining Machine Learning and Theorem Proving (Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics)
- Multiagent Systems (Michel Wooldridge, Oxford University)
- Logic (Alessandra Palmigiano, VU Amsterdam)

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.

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2022', the 35th in the series of annual international symposia devoted to logic, to be held at Tepla Monastery, Czech Republic, on 11 September -- 15 September 2022.

Invited speakers: Steve Awodey (Carnegie Mellon University), Alena Vencovska (University of Manchester) and Yde Venema (University of Amsterdam). Additionally, the conference program will include a Special session on logic and information.

The Italian Association for Logic and its Application (AILA) announces the “XXVII Incontro di Logica”, that will take place in Caserta (Italy) in September 2022. The meetings will feature plenary talks form leading international researchers, invited talks from the recipients of the AILA awards, and contributed talks. Contributions from researchers of any nationality are welcome.

The 2022 edition of the annual meeting of the German Mathematical Society (DMV) will take place in person in Berlin, September 12th to 16th, 2022.

We are organizing a section on Mathematical Logic at this meeting and have four main invited speakers who will give 50 minute talks: Philipp Hieronymi (Bonn), Maxwell Levine (Freiburg), Nadav Meir (Wrocław), Philipp Schlicht (Bristol).

Logic for the AI Spring aims at bringing together logicians and other scientists working around and within the currently blossoming new AI Spring. In addition to a glorious past which must not be forgotten, logic has a fundamental role to play, which is still largely in the making, in the future of AI research and applications. Researchers entering the field now have an opportunity to shape logic-based AI in the years to come. The School is designed to help them become culturally aware of the larger picture, which is made of urgent scientific and societal challenges, against which the unprecedented successes of the present AI Spring must be evaluated.

PROGRAMME & TOPICS The School will feature four 8-hour tutorials:
- History and culture of AI (Stephanie Dick, Simon Fraser University)
- Combining Machine Learning and Theorem Proving (Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics)
- Multiagent Systems (Michel Wooldridge, Oxford University)
- Logic (Alessandra Palmigiano, VU Amsterdam)

The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation. This year the biennial COMMA event will be hosted by the School of Computer Science and Informatics of the Cardiff University. COMMA 2022 will be preceded by the fifth edition of the Summer School on Argumentation (SSA 2022). In addition to the main conference track, COMMA 2022 will include system demonstrations, as well as workshops devoted to specific argumentation-related themes.

The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2022', the 35th in the series of annual international symposia devoted to logic, to be held at Tepla Monastery, Czech Republic, on 11 September -- 15 September 2022.

Invited speakers: Steve Awodey (Carnegie Mellon University), Alena Vencovska (University of Manchester) and Yde Venema (University of Amsterdam). Additionally, the conference program will include a Special session on logic and information.

The Italian Association for Logic and its Application (AILA) announces the “XXVII Incontro di Logica”, that will take place in Caserta (Italy) in September 2022. The meetings will feature plenary talks form leading international researchers, invited talks from the recipients of the AILA awards, and contributed talks. Contributions from researchers of any nationality are welcome.

The 2022 edition of the annual meeting of the German Mathematical Society (DMV) will take place in person in Berlin, September 12th to 16th, 2022.

We are organizing a section on Mathematical Logic at this meeting and have four main invited speakers who will give 50 minute talks: Philipp Hieronymi (Bonn), Maxwell Levine (Freiburg), Nadav Meir (Wrocław), Philipp Schlicht (Bristol).

Logic for the AI Spring aims at bringing together logicians and other scientists working around and within the currently blossoming new AI Spring. In addition to a glorious past which must not be forgotten, logic has a fundamental role to play, which is still largely in the making, in the future of AI research and applications. Researchers entering the field now have an opportunity to shape logic-based AI in the years to come. The School is designed to help them become culturally aware of the larger picture, which is made of urgent scientific and societal challenges, against which the unprecedented successes of the present AI Spring must be evaluated.

PROGRAMME & TOPICS The School will feature four 8-hour tutorials:
- History and culture of AI (Stephanie Dick, Simon Fraser University)
- Combining Machine Learning and Theorem Proving (Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics)
- Multiagent Systems (Michel Wooldridge, Oxford University)
- Logic (Alessandra Palmigiano, VU Amsterdam)

The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation. This year the biennial COMMA event will be hosted by the School of Computer Science and Informatics of the Cardiff University. COMMA 2022 will be preceded by the fifth edition of the Summer School on Argumentation (SSA 2022). In addition to the main conference track, COMMA 2022 will include system demonstrations, as well as workshops devoted to specific argumentation-related themes.

István Németi is turning to be 80 this year. We are pleased to announce that we are organizing a conference hosted by the Alfréd Rényi Institute of Mathematics honoring this occasion. The 3-day event will be online. Each day will focus on a theme of István's main research topics in the following order
Day 1: Algebraic Logic,
Day 2: Relativity Theory,
Day 3: Methodology of Science.

The 2022 edition of the annual meeting of the German Mathematical Society (DMV) will take place in person in Berlin, September 12th to 16th, 2022.

We are organizing a section on Mathematical Logic at this meeting and have four main invited speakers who will give 50 minute talks: Philipp Hieronymi (Bonn), Maxwell Levine (Freiburg), Nadav Meir (Wrocław), Philipp Schlicht (Bristol).

Logic for the AI Spring aims at bringing together logicians and other scientists working around and within the currently blossoming new AI Spring. In addition to a glorious past which must not be forgotten, logic has a fundamental role to play, which is still largely in the making, in the future of AI research and applications. Researchers entering the field now have an opportunity to shape logic-based AI in the years to come. The School is designed to help them become culturally aware of the larger picture, which is made of urgent scientific and societal challenges, against which the unprecedented successes of the present AI Spring must be evaluated.

PROGRAMME & TOPICS The School will feature four 8-hour tutorials:
- History and culture of AI (Stephanie Dick, Simon Fraser University)
- Combining Machine Learning and Theorem Proving (Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics)
- Multiagent Systems (Michel Wooldridge, Oxford University)
- Logic (Alessandra Palmigiano, VU Amsterdam)

The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation. This year the biennial COMMA event will be hosted by the School of Computer Science and Informatics of the Cardiff University. COMMA 2022 will be preceded by the fifth edition of the Summer School on Argumentation (SSA 2022). In addition to the main conference track, COMMA 2022 will include system demonstrations, as well as workshops devoted to specific argumentation-related themes.

István Németi is turning to be 80 this year. We are pleased to announce that we are organizing a conference hosted by the Alfréd Rényi Institute of Mathematics honoring this occasion. The 3-day event will be online. Each day will focus on a theme of István's main research topics in the following order
Day 1: Algebraic Logic,
Day 2: Relativity Theory,
Day 3: Methodology of Science.

István Németi is turning to be 80 this year. We are pleased to announce that we are organizing a conference hosted by the Alfréd Rényi Institute of Mathematics honoring this occasion. The 3-day event will be online. Each day will focus on a theme of István's main research topics in the following order
Day 1: Algebraic Logic,
Day 2: Relativity Theory,
Day 3: Methodology of Science.

The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the AI Chapter (FB KI) of the German Society of Informatics (Gesellschaft für Informatik). It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting.

A special focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. Deduktionstreffen 2022 is affiliated with the German KI 2022, which brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology.

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.

Invited Speakers: Erika Ábrahám (RWTH Aachen University), Deyan Ginev (FAU Erlangen-Nürnberg and NIST) and Sébastien Gouëzel (IRMAR, Université de Rennes 1).

Term Rewriting is a simple but powerful model of computation with numerous applications in computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification. Rewriting-based techniques are useful in many other fields as well, for instance, in quantum computing, biology, music...

The 13th International School on Rewriting (ISR 2022) will be part of Computational Logic Autumn Summit and take place at Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The school is aimed at students, researchers and practitioners interested in the use or the study of rewriting and its applications and offers both Basic and Advanced tracks.

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

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 annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the AI Chapter (FB KI) of the German Society of Informatics (Gesellschaft für Informatik). It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting.

A special focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. Deduktionstreffen 2022 is affiliated with the German KI 2022, which brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology.

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.

Invited Speakers: Erika Ábrahám (RWTH Aachen University), Deyan Ginev (FAU Erlangen-Nürnberg and NIST) and Sébastien Gouëzel (IRMAR, Université de Rennes 1).

Term Rewriting is a simple but powerful model of computation with numerous applications in computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification. Rewriting-based techniques are useful in many other fields as well, for instance, in quantum computing, biology, music...

The 13th International School on Rewriting (ISR 2022) will be part of Computational Logic Autumn Summit and take place at Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The school is aimed at students, researchers and practitioners interested in the use or the study of rewriting and its applications and offers both Basic and Advanced tracks.

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

Information for real-life AI applications is usually pervaded by uncertainty and subject to change, thus demands non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning, possibly in combination with machine learning methods. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches.

The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. A special focus is on papers that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal and experimental or heuristic issues. FCR 2022 will be co-located with the 45th German Conference on Artificial Intelligence in Trier, Germany.

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.

It is planned to have a special session with the exhibition of a one-hour documentary film "Taking the Long View: The Life of Shiing-shen Chern" (George Scisery, 2011) about a remarkable mathematician who is considered a father of modern differential geometry.

On 20-22 September the workshop Proofs and Formalization in Logic, Mathematics and Philosophy takes place at Utrecht University, the Netherlands.

The workshop aims to bring together researchers from various areas whose work either directly concerns the role of proofs or formalization in logic, mathematics and philosophy, or is relevant for these topics in a more indirect way, e.g. by being an example of the role proofs or formalization play in these fields.

There is no registration fee, but if you wish to attend (part of) the workshop, please send an email to Rosalie Iemhoff and Robin Martinot: r.iemhoff at uu.nl, r.a.martinot at uu.nl.

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.

Invited Speakers: Erika Ábrahám (RWTH Aachen University), Deyan Ginev (FAU Erlangen-Nürnberg and NIST) and Sébastien Gouëzel (IRMAR, Université de Rennes 1).

Term Rewriting is a simple but powerful model of computation with numerous applications in computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification. Rewriting-based techniques are useful in many other fields as well, for instance, in quantum computing, biology, music...

The 13th International School on Rewriting (ISR 2022) will be part of Computational Logic Autumn Summit and take place at Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The school is aimed at students, researchers and practitioners interested in the use or the study of rewriting and its applications and offers both Basic and Advanced tracks.

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

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.

It is planned to have a special session with the exhibition of a one-hour documentary film "Taking the Long View: The Life of Shiing-shen Chern" (George Scisery, 2011) about a remarkable mathematician who is considered a father of modern differential geometry.

On 20-22 September the workshop Proofs and Formalization in Logic, Mathematics and Philosophy takes place at Utrecht University, the Netherlands.

The workshop aims to bring together researchers from various areas whose work either directly concerns the role of proofs or formalization in logic, mathematics and philosophy, or is relevant for these topics in a more indirect way, e.g. by being an example of the role proofs or formalization play in these fields.

There is no registration fee, but if you wish to attend (part of) the workshop, please send an email to Rosalie Iemhoff and Robin Martinot: r.iemhoff at uu.nl, r.a.martinot at uu.nl.

The aim of GandALF 2022 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.

The 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) will be held as a hybrid (blended) meeting, both in-person (at the Ivane Javakhishvili Tbilisi State University -TSU- in Tbilisi, Georgia) and virtual. LOPSTR 2022 will be co-located with PPDP 2022 as part of the Computational Logic Autumn Summit 2022.

The program includes a tutorial session about set-theoretic potentialism and the talk "Multiverse view on the axiom of constructibility” by Joel D. Hamkins as well as a panel discussion and contributed talks.

The masterclass will be held in a hybrid format. For registration and a link please send a mail to carolin.antos-kuby at uni-konstanz.de or gio.venturi at gmail.com.

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.

Invited Speakers: Erika Ábrahám (RWTH Aachen University), Deyan Ginev (FAU Erlangen-Nürnberg and NIST) and Sébastien Gouëzel (IRMAR, Université de Rennes 1).

Term Rewriting is a simple but powerful model of computation with numerous applications in computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification. Rewriting-based techniques are useful in many other fields as well, for instance, in quantum computing, biology, music...

The 13th International School on Rewriting (ISR 2022) will be part of Computational Logic Autumn Summit and take place at Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The school is aimed at students, researchers and practitioners interested in the use or the study of rewriting and its applications and offers both Basic and Advanced tracks.

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

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.

It is planned to have a special session with the exhibition of a one-hour documentary film "Taking the Long View: The Life of Shiing-shen Chern" (George Scisery, 2011) about a remarkable mathematician who is considered a father of modern differential geometry.

On 20-22 September the workshop Proofs and Formalization in Logic, Mathematics and Philosophy takes place at Utrecht University, the Netherlands.

The workshop aims to bring together researchers from various areas whose work either directly concerns the role of proofs or formalization in logic, mathematics and philosophy, or is relevant for these topics in a more indirect way, e.g. by being an example of the role proofs or formalization play in these fields.

There is no registration fee, but if you wish to attend (part of) the workshop, please send an email to Rosalie Iemhoff and Robin Martinot: r.iemhoff at uu.nl, r.a.martinot at uu.nl.

The aim of GandALF 2022 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.

The 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) will be held as a hybrid (blended) meeting, both in-person (at the Ivane Javakhishvili Tbilisi State University -TSU- in Tbilisi, Georgia) and virtual. LOPSTR 2022 will be co-located with PPDP 2022 as part of the Computational Logic Autumn Summit 2022.

The program includes a tutorial session about set-theoretic potentialism and the talk "Multiverse view on the axiom of constructibility” by Joel D. Hamkins as well as a panel discussion and contributed talks.

The masterclass will be held in a hybrid format. For registration and a link please send a mail to carolin.antos-kuby at uni-konstanz.de or gio.venturi at gmail.com.

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.

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.

Invited Speakers: Erika Ábrahám (RWTH Aachen University), Deyan Ginev (FAU Erlangen-Nürnberg and NIST) and Sébastien Gouëzel (IRMAR, Université de Rennes 1).

Term Rewriting is a simple but powerful model of computation with numerous applications in computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification. Rewriting-based techniques are useful in many other fields as well, for instance, in quantum computing, biology, music...

The 13th International School on Rewriting (ISR 2022) will be part of Computational Logic Autumn Summit and take place at Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The school is aimed at students, researchers and practitioners interested in the use or the study of rewriting and its applications and offers both Basic and Advanced tracks.

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

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.

It is planned to have a special session with the exhibition of a one-hour documentary film "Taking the Long View: The Life of Shiing-shen Chern" (George Scisery, 2011) about a remarkable mathematician who is considered a father of modern differential geometry.

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress.

The 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) will be held as a hybrid (blended) meeting, both in-person (at the Ivane Javakhishvili Tbilisi State University -TSU- in Tbilisi, Georgia) and virtual. LOPSTR 2022 will be co-located with PPDP 2022 as part of the Computational Logic Autumn Summit 2022.

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 computational languages, supporting tool development and reasoning. The LSFA series' objective is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side.

LSFA topics of interest include, but are not limited to: * Automated deduction * Applications of logical and semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory.

Term Rewriting is a simple but powerful model of computation with numerous applications in computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification. Rewriting-based techniques are useful in many other fields as well, for instance, in quantum computing, biology, music...

The 13th International School on Rewriting (ISR 2022) will be part of Computational Logic Autumn Summit and take place at Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The school is aimed at students, researchers and practitioners interested in the use or the study of rewriting and its applications and offers both Basic and Advanced tracks.

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

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 computational languages, supporting tool development and reasoning. The LSFA series' objective is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side.

LSFA topics of interest include, but are not limited to: * Automated deduction * Applications of logical and semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory.

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2022 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

The RuleML+RR 2022 conference is part of the event 'Declarative AI: Rules, Reasoning, Decisions, and Explanations' and is co-located with DecisionCAMP 2022 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). Due to the global pandemic, the 2020 edition had to be cancelled and is now held with two years delay as Colloquium Logicum 2022. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences.

Keynote Speakers: Laurent Bienvenu (Bordeaux), Olivier Bournez (École Polytechnique), Wesley Holliday (University of California, Berkeley), Christian Ikenmeyer (Liverpool), Angeliki Koutsoukou-Argyraki (Cambridge), Philipp Lücke (Universität Bonn) and Margaret Thomas (West Lafayette). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

The 23rd International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modelling and managing knowledge and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.

The 5th workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC), as a part of the 11th conference Logic and Applications (LAP 2022). Virtual participation is also possible.

The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS). The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

The ICTAC autumn school is a part of CLAS 2022 and will be held in Tbilisi, Georgia, September 26-30, 2022. The school will be organized by the Tbilisi State University. The intended audience of the winter school includes master and PhD students as well as young researchers from the fields of computer science and mathematics. The following lectures agreed to deliver classes at the school:

- Gödel logics - the dominance of order, Matthias Baaz(Vienna University of Technology)
- Verification and Model Checking with finite automata, Volker Diekert (University of Stuttgart)
- Nominal techniques, Maribel Fernandez (King's College London)
- A logical bases for the verification of imperative programs, Tudor Jebelean (RISC, Johannes Kepler University Linz)
- The semantically reflected digital twin, Einar Broch Johnsen (University of Oslo)
- Learning Meets Verification, Martin Leucker (University of Lübeck)
- Logical framework with union and intersection types, Luigi Liquori (INRIA)
- To prove with a proof assistant or not to prove, Dmitriy Traytel (University of Copenhagen)

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.

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2022 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

The RuleML+RR 2022 conference is part of the event 'Declarative AI: Rules, Reasoning, Decisions, and Explanations' and is co-located with DecisionCAMP 2022 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). Due to the global pandemic, the 2020 edition had to be cancelled and is now held with two years delay as Colloquium Logicum 2022. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences.

Keynote Speakers: Laurent Bienvenu (Bordeaux), Olivier Bournez (École Polytechnique), Wesley Holliday (University of California, Berkeley), Christian Ikenmeyer (Liverpool), Angeliki Koutsoukou-Argyraki (Cambridge), Philipp Lücke (Universität Bonn) and Margaret Thomas (West Lafayette). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

The 23rd International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modelling and managing knowledge and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.

The 5th workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC), as a part of the 11th conference Logic and Applications (LAP 2022). Virtual participation is also possible.

The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS). The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

The ICTAC autumn school is a part of CLAS 2022 and will be held in Tbilisi, Georgia, September 26-30, 2022. The school will be organized by the Tbilisi State University. The intended audience of the winter school includes master and PhD students as well as young researchers from the fields of computer science and mathematics. The following lectures agreed to deliver classes at the school:

- Gödel logics - the dominance of order, Matthias Baaz(Vienna University of Technology)
- Verification and Model Checking with finite automata, Volker Diekert (University of Stuttgart)
- Nominal techniques, Maribel Fernandez (King's College London)
- A logical bases for the verification of imperative programs, Tudor Jebelean (RISC, Johannes Kepler University Linz)
- The semantically reflected digital twin, Einar Broch Johnsen (University of Oslo)
- Learning Meets Verification, Martin Leucker (University of Lübeck)
- Logical framework with union and intersection types, Luigi Liquori (INRIA)
- To prove with a proof assistant or not to prove, Dmitriy Traytel (University of Copenhagen)

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.

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. ICTAC 2022 will be part of Computational Logic Autumn Summit (CLAS 2022). Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

The conference concerns all aspects of theoretical computer science, including, but not limited to: Languages and automata - Semantics of programming languages - Logic in computer science - Lambda calculus, type theory and category theory - Domain-specific languages - Theories of concurrency and mobility - Theories of distributed computing - Models of objects and components - Coordination models - Timed, hybrid, embedded and cyber-physical systems - Security and privacy - Static analysis - Probabilistic and statistical verification - Software verification - Software testing - Runtime verification - Program generation and transformation - Model checking and theorem proving - Applications and case studies - AI-enabled software development - Theory and methods of trustworthy AI.

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2022 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

The RuleML+RR 2022 conference is part of the event 'Declarative AI: Rules, Reasoning, Decisions, and Explanations' and is co-located with DecisionCAMP 2022 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). Due to the global pandemic, the 2020 edition had to be cancelled and is now held with two years delay as Colloquium Logicum 2022. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences.

Keynote Speakers: Laurent Bienvenu (Bordeaux), Olivier Bournez (École Polytechnique), Wesley Holliday (University of California, Berkeley), Christian Ikenmeyer (Liverpool), Angeliki Koutsoukou-Argyraki (Cambridge), Philipp Lücke (Universität Bonn) and Margaret Thomas (West Lafayette). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

The 23rd International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modelling and managing knowledge and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.

The 5th workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC), as a part of the 11th conference Logic and Applications (LAP 2022). Virtual participation is also possible.

The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS). The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

The ICTAC autumn school is a part of CLAS 2022 and will be held in Tbilisi, Georgia, September 26-30, 2022. The school will be organized by the Tbilisi State University. The intended audience of the winter school includes master and PhD students as well as young researchers from the fields of computer science and mathematics. The following lectures agreed to deliver classes at the school:

- Gödel logics - the dominance of order, Matthias Baaz(Vienna University of Technology)
- Verification and Model Checking with finite automata, Volker Diekert (University of Stuttgart)
- Nominal techniques, Maribel Fernandez (King's College London)
- A logical bases for the verification of imperative programs, Tudor Jebelean (RISC, Johannes Kepler University Linz)
- The semantically reflected digital twin, Einar Broch Johnsen (University of Oslo)
- Learning Meets Verification, Martin Leucker (University of Lübeck)
- Logical framework with union and intersection types, Luigi Liquori (INRIA)
- To prove with a proof assistant or not to prove, Dmitriy Traytel (University of Copenhagen)

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.

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. ICTAC 2022 will be part of Computational Logic Autumn Summit (CLAS 2022). Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

The conference concerns all aspects of theoretical computer science, including, but not limited to: Languages and automata - Semantics of programming languages - Logic in computer science - Lambda calculus, type theory and category theory - Domain-specific languages - Theories of concurrency and mobility - Theories of distributed computing - Models of objects and components - Coordination models - Timed, hybrid, embedded and cyber-physical systems - Security and privacy - Static analysis - Probabilistic and statistical verification - Software verification - Software testing - Runtime verification - Program generation and transformation - Model checking and theorem proving - Applications and case studies - AI-enabled software development - Theory and methods of trustworthy AI.

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 first workshop focuses on the syntax of proofs.

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

The 23rd International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modelling and managing knowledge and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.

The 5th workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC), as a part of the 11th conference Logic and Applications (LAP 2022). Virtual participation is also possible.

The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS). The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

The ICTAC autumn school is a part of CLAS 2022 and will be held in Tbilisi, Georgia, September 26-30, 2022. The school will be organized by the Tbilisi State University. The intended audience of the winter school includes master and PhD students as well as young researchers from the fields of computer science and mathematics. The following lectures agreed to deliver classes at the school:

- Gödel logics - the dominance of order, Matthias Baaz(Vienna University of Technology)
- Verification and Model Checking with finite automata, Volker Diekert (University of Stuttgart)
- Nominal techniques, Maribel Fernandez (King's College London)
- A logical bases for the verification of imperative programs, Tudor Jebelean (RISC, Johannes Kepler University Linz)
- The semantically reflected digital twin, Einar Broch Johnsen (University of Oslo)
- Learning Meets Verification, Martin Leucker (University of Lübeck)
- Logical framework with union and intersection types, Luigi Liquori (INRIA)
- To prove with a proof assistant or not to prove, Dmitriy Traytel (University of Copenhagen)

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.

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. ICTAC 2022 will be part of Computational Logic Autumn Summit (CLAS 2022). Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

The conference concerns all aspects of theoretical computer science, including, but not limited to: Languages and automata - Semantics of programming languages - Logic in computer science - Lambda calculus, type theory and category theory - Domain-specific languages - Theories of concurrency and mobility - Theories of distributed computing - Models of objects and components - Coordination models - Timed, hybrid, embedded and cyber-physical systems - Security and privacy - Static analysis - Probabilistic and statistical verification - Software verification - Software testing - Runtime verification - Program generation and transformation - Model checking and theorem proving - Applications and case studies - AI-enabled software development - Theory and methods of trustworthy AI.

Workshop to mark the end of the NWO Vidi project The Language of Fiction and Imagination, Groningen, September 29-30, 2022.

Topics of interest include any philosophical and linguistic topics related to fiction (fictional truth/reference, imagination, pretense, fiction-making speech acts, etc) or narrative (unreliable narration, coherence, perspective, attributing mental states, etc), and with a special focus on how these categories interact with differences of modality/media (signed, spoken, written, pictorial, movies, videogames). See website for list of invited speakers

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

Conferences:

• International Colloquium on Theoretical Aspects of Computing (ICTAC)
• Conference on Intelligent Computer Mathematics (CICM)
• International Symposium on Principles and Practice of Declarative Programming (PPDP)
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• International Conference on Mathematics of Program Construction (MPC)
• International Conference on Runtime Verification (RV)
• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
• International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)

Schools

• Summer School of the International Colloquium on Theoretical Aspects of Computing
• International School on Rewriting
• International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

The ICTAC autumn school is a part of CLAS 2022 and will be held in Tbilisi, Georgia, September 26-30, 2022. The school will be organized by the Tbilisi State University. The intended audience of the winter school includes master and PhD students as well as young researchers from the fields of computer science and mathematics. The following lectures agreed to deliver classes at the school:

- Gödel logics - the dominance of order, Matthias Baaz(Vienna University of Technology)
- Verification and Model Checking with finite automata, Volker Diekert (University of Stuttgart)
- Nominal techniques, Maribel Fernandez (King's College London)
- A logical bases for the verification of imperative programs, Tudor Jebelean (RISC, Johannes Kepler University Linz)
- The semantically reflected digital twin, Einar Broch Johnsen (University of Oslo)
- Learning Meets Verification, Martin Leucker (University of Lübeck)
- Logical framework with union and intersection types, Luigi Liquori (INRIA)
- To prove with a proof assistant or not to prove, Dmitriy Traytel (University of Copenhagen)

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.

Workshop to mark the end of the NWO Vidi project The Language of Fiction and Imagination, Groningen, September 29-30, 2022.

Topics of interest include any philosophical and linguistic topics related to fiction (fictional truth/reference, imagination, pretense, fiction-making speech acts, etc) or narrative (unreliable narration, coherence, perspective, attributing mental states, etc), and with a special focus on how these categories interact with differences of modality/media (signed, spoken, written, pictorial, movies, videogames). See website for list of invited speakers