The Third Tsinghua Interdisciplinary Workshop in Logic, Language and Meaning) will be held on April 1–3, 2022. This workshop aims to bring together Chinese and international scholars from various disciplines, in particular logic, linguistics, and philosophy, who are working in areas related to natural language semantics.

UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

The Third Tsinghua Interdisciplinary Workshop in Logic, Language and Meaning) will be held on April 1–3, 2022. This workshop aims to bring together Chinese and international scholars from various disciplines, in particular logic, linguistics, and philosophy, who are working in areas related to natural language semantics.

UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. CMCS'22 will be held in Munich, Germany, co-located with ETAPS 2022 on 2-3 April 2022. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science.

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

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

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

The Third Tsinghua Interdisciplinary Workshop in Logic, Language and Meaning) will be held on April 1–3, 2022. This workshop aims to bring together Chinese and international scholars from various disciplines, in particular logic, linguistics, and philosophy, who are working in areas related to natural language semantics.

UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. CMCS'22 will be held in Munich, Germany, co-located with ETAPS 2022 on 2-3 April 2022. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science.

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

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

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

Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This series of workshops aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE, IJCAR), on the topic of Horn clause based analysis, verification, and synthesis. Horn clauses for verification and synthesis have been advocated by these communities in different times and from different perspectives and HCVS is organized to stimulate interaction and a fruitful exchange and integration of experiences.

HCVS 2022 will host the 5th competition on constraint Horn clauses (CHC-COMP), which will compare state-of-the-art tools for CHC solving for performance and effectiveness on a set of publicly available benchmarks.

UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

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

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

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

The philosophical tradition of logic overlapped with the development of modern mathematical logic from the first versions of the algebra of logic in the mid nineteenth-century until inquiries into the logical foundations of mathematics from the early 1930s. This very fact strongly suggests that there might have been significant intersections between what appear now as separate disciplines, and raises the question of whether philosophical roots can be traced in the development of mathematical logic.The aim of this conference is to foster further exchanges between those who are doing scholarly research on the history of logic in the nineteenth and early twentieth centuries from various perspectives, including those who focus on the philosophical tradition of the nineteenth century and its developments in neo-Kantianism and phenomenology, historians of logic and of related mathematical disciplines, as well as philosophers who are interested in the epistemological issues surrounding modern mathematical logic.

The conference will take place at the University of Turin, Italy. It is planned as a hybrid event with face-to-face sessions and one online session.

UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

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

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

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

The philosophical tradition of logic overlapped with the development of modern mathematical logic from the first versions of the algebra of logic in the mid nineteenth-century until inquiries into the logical foundations of mathematics from the early 1930s. This very fact strongly suggests that there might have been significant intersections between what appear now as separate disciplines, and raises the question of whether philosophical roots can be traced in the development of mathematical logic.The aim of this conference is to foster further exchanges between those who are doing scholarly research on the history of logic in the nineteenth and early twentieth centuries from various perspectives, including those who focus on the philosophical tradition of the nineteenth century and its developments in neo-Kantianism and phenomenology, historians of logic and of related mathematical disciplines, as well as philosophers who are interested in the epistemological issues surrounding modern mathematical logic.

The conference will take place at the University of Turin, Italy. It is planned as a hybrid event with face-to-face sessions and one online session.

The Guarded Fragment (GF) of was introduced in 1996 by Hajnal Andréka, Johan van Benthem and István Németi, as a decidable fragment of first-order logic that aims to explain the attractive algorithmic and model theoretic behavior of modal logic. It subsequently gave rise to a larger family of decidable guarded fragments of first-order logic and second-order logic. These guarded fragments are, up to today, still actively studied and used in various application domains across different areas of computer science and artificial intelligence (e.g., data management, knowledge representation).

This workshop is a celebration of the 25th anniversary of GF. It will show case recent results, bringing together different strands of research, and offering an opportunity for reflection. The workshop is fully online, with a program consisting of 7 invited lectures, spread out across two days.

UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

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

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

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

The philosophical tradition of logic overlapped with the development of modern mathematical logic from the first versions of the algebra of logic in the mid nineteenth-century until inquiries into the logical foundations of mathematics from the early 1930s. This very fact strongly suggests that there might have been significant intersections between what appear now as separate disciplines, and raises the question of whether philosophical roots can be traced in the development of mathematical logic.The aim of this conference is to foster further exchanges between those who are doing scholarly research on the history of logic in the nineteenth and early twentieth centuries from various perspectives, including those who focus on the philosophical tradition of the nineteenth century and its developments in neo-Kantianism and phenomenology, historians of logic and of related mathematical disciplines, as well as philosophers who are interested in the epistemological issues surrounding modern mathematical logic.

The conference will take place at the University of Turin, Italy. It is planned as a hybrid event with face-to-face sessions and one online session.

The Guarded Fragment (GF) of was introduced in 1996 by Hajnal Andréka, Johan van Benthem and István Németi, as a decidable fragment of first-order logic that aims to explain the attractive algorithmic and model theoretic behavior of modal logic. It subsequently gave rise to a larger family of decidable guarded fragments of first-order logic and second-order logic. These guarded fragments are, up to today, still actively studied and used in various application domains across different areas of computer science and artificial intelligence (e.g., data management, knowledge representation).

This workshop is a celebration of the 25th anniversary of GF. It will show case recent results, bringing together different strands of research, and offering an opportunity for reflection. The workshop is fully online, with a program consisting of 7 invited lectures, spread out across two days.

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

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

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

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

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

UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

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

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

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

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

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

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

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

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

UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

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

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

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

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

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

UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

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

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

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

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

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

UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

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

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

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

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

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

The European Summer School of Logic, Language and Information (ESSLLI 2022) will feature a Student Session where students can present their work.

Logicians participating in this conference stand united for Peace. This event is used to collect financial aid for two specific causes: (a) We financially help our colleagues at universities in Ukraine, who are either displaced or have lost their homes, and thus are in urgent financial need. (b) We support the charitable fund 'Voices of children' which provides humanitarian aid and assists in Ukraine with the on-going evacuation processes.

As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians from around the world to present their work in any area of logic.

All participants are asked to register for the conference. The registration fees will be entirely used to offer financial aid to Ukraine to help our colleagues and Voices of Children. We invite academic institutions and organizations to sponsor this online logic event.

Signed by the Co-Organizing Associations and Institutions.

UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.

Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature  an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.

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

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

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

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

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

After the successful completion of NALOMA’20 and NALOMA’21, NALOMA'22 seeks to continue the series and attract exciting contributions. Particularly, this year NALOMA expands its focus to the whole field of Natural Language Understanding (NLU) . The workshop aims to bridge the gap between ML/DL and symbolic/logic-based approaches to NLU and lay a focus on hybrid approaches.

The automation of logical reasoning is a challenge that has been studied intensively in fields including mathematics, philosophy, and computer science. PAAR is the workshop on turning this theory into practice: how can automated reasoning tools be built that work and are useful in applications. PAAR covers all aspects of this challenge: which theories, logics, or fragments are well-behaved in practice, and connect well to application domains? which reasoning tasks are tractable and useful? which algorithms are able to solve real-world instances? how should automated reasoning tools be designed, implemented, tested, and evaluated? The goal of PAAR is to bring together theoreticians, tool developers, and users, to concentrate on the practical aspects of automated reasoning.

PAAR 2022 will be co-located with FLoC/IJCAR 2022 and host the meeting of the working group on Automated Theorem Provers of the EuroProofNet COST action.

The Erasmus Institute for Philosophy and Economics (Erasmus School of Philosophy, Erasmus University of Rotterdam) and the OZSW study group on Social Choice and Group Dynamics are organising a graduate conference on Formal Models of Democracy, featuring contributed talks by junior scholars and tutorials by Hélène Landemore (Yale University) and Ulle Endriss (University of Amsterdam).

Formal modelling (decision theory, game theory, social choice theory, agent-based models, formal epistemology) has been and continues to be an important source of insight for political philosophy in general, and democratic theory in particular. The aim of this graduate workshop is to bring together junior scholars working on formal models and the normative theory of democracy. We specifically welcome contributions that combine both enterprises, or that critically inspect the relation between them.

The Erasmus Institute for Philosophy and Economics (Erasmus School of Philosophy, Erasmus University of Rotterdam) and the OZSW study group on Social Choice and Group Dynamics are organising a graduate conference on Formal Models of Democracy, featuring contributed talks by junior scholars and tutorials by Hélène Landemore (Yale University) and Ulle Endriss (University of Amsterdam).

Formal modelling (decision theory, game theory, social choice theory, agent-based models, formal epistemology) has been and continues to be an important source of insight for political philosophy in general, and democratic theory in particular. The aim of this graduate workshop is to bring together junior scholars working on formal models and the normative theory of democracy. We specifically welcome contributions that combine both enterprises, or that critically inspect the relation between them.

The Erasmus Institute for Philosophy and Economics (Erasmus School of Philosophy, Erasmus University of Rotterdam) and the OZSW study group on Social Choice and Group Dynamics are organising a graduate conference on Formal Models of Democracy, featuring contributed talks by junior scholars and tutorials by Hélène Landemore (Yale University) and Ulle Endriss (University of Amsterdam).

Formal modelling (decision theory, game theory, social choice theory, agent-based models, formal epistemology) has been and continues to be an important source of insight for political philosophy in general, and democratic theory in particular. The aim of this graduate workshop is to bring together junior scholars working on formal models and the normative theory of democracy. We specifically welcome contributions that combine both enterprises, or that critically inspect the relation between them.

Logicians participating in this conference stand united for Peace. This event is used to collect financial aid for two specific causes: (a) We financially help our colleagues at universities in Ukraine, who are either displaced or have lost their homes, and thus are in urgent financial need. (b) We support the charitable fund 'Voices of children' which provides humanitarian aid and assists in Ukraine with the on-going evacuation processes.

As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians from around the world to present their work in any area of logic.

All participants are asked to register for the conference. The registration fees will be entirely used to offer financial aid to Ukraine to help our colleagues and Voices of Children. We invite academic institutions and organizations to sponsor this online logic event.

Signed by the Co-Organizing Associations and Institutions.

The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 35th edition will be held in Haifa, Israel, between August 7th and 10th 2022. It will be co-located with a number of events as part of FLoC 2022 (including KR & NMR 2022).

Invited speakers: Aarti GUPTA, Princeton University, NJ, US (FLoC Plenary); Ziyad HANNA, Jasper Design Automation, Israel (FLoC Keynote); Pierre MARQUIS, CRIL-CNRS/Université d'Artois, Lens, France (Joint DL/NMR keynote); Sebastian RUDOLPH, Technische Universität Dresden, Germany; Renate A. SCHMIDT, University of Manchester, UK.

Logicians participating in this conference stand united for Peace. This event is used to collect financial aid for two specific causes: (a) We financially help our colleagues at universities in Ukraine, who are either displaced or have lost their homes, and thus are in urgent financial need. (b) We support the charitable fund 'Voices of children' which provides humanitarian aid and assists in Ukraine with the on-going evacuation processes.

As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians from around the world to present their work in any area of logic.

All participants are asked to register for the conference. The registration fees will be entirely used to offer financial aid to Ukraine to help our colleagues and Voices of Children. We invite academic institutions and organizations to sponsor this online logic event.

Signed by the Co-Organizing Associations and Institutions.

Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is the subject of active research. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop, affiliated with FLOC 2022, will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them.

NMR is the premier forum for results in the area of nonmonotonic reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KRR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, deontic reasoning, argumentation, causality, and many other related topics including systems and applications.

NMR 2022 is part of the Federated Logic Conference (FLoC 2022). As in previous editions, NMR 2022 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. Workshop activities will include invited talks and presentations of technical papers. The workshop will be structured by topical sessions fitting to the scopes of accepted papers.

From April 28 — April 29, 2022, we will hold the in-situ Conference on Algorithmic Law Design and Implementation in Barcelona.
This is a highly interdisciplinary event with speakers and attendees among different communities like logicians, computer scientists, practicing lawyers, public administrators, industrial professionals, and legal scholars.

An important logical aspect of the conference is how formal verification techniques (both proof assistants and model checking) can be set to work to prevent errors in critical legal software and to warrant legal principles as fairness, accountability and transparency. Various related technical, juridical, philosophical, and practical aspects will be discussed during the conference.

From April 28 — April 29, 2022, we will hold the in-situ Conference on Algorithmic Law Design and Implementation in Barcelona.
This is a highly interdisciplinary event with speakers and attendees among different communities like logicians, computer scientists, practicing lawyers, public administrators, industrial professionals, and legal scholars.

An important logical aspect of the conference is how formal verification techniques (both proof assistants and model checking) can be set to work to prevent errors in critical legal software and to warrant legal principles as fairness, accountability and transparency. Various related technical, juridical, philosophical, and practical aspects will be discussed during the conference.

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).

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

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

The 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.

PLM is a European network of centers devoted to the Philosophy of Language and Mind. PLM was founded in 2010 and organizes international conferences, workshop and master classes taught by leading experts in the field (see www.illc.uva.nl/PLM/).