The International Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This will be the seventeenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence.

Due to the pandemic the three-day Symposium will take place online. ISAIM-2022 will feature invited speakers and special topic sessions. Registration is free but you need to register in advance so that you can get the Zoom links on a timely manner.

The International Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This will be the seventeenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence.

Due to the pandemic the three-day Symposium will take place online. ISAIM-2022 will feature invited speakers and special topic sessions. Registration is free but you need to register in advance so that you can get the Zoom links on a timely manner.

The International Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This will be the seventeenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence.

Due to the pandemic the three-day Symposium will take place online. ISAIM-2022 will feature invited speakers and special topic sessions. Registration is free but you need to register in advance so that you can get the Zoom links on a timely manner.

We are pleased to announce the eighth edition of the Formal Ethics conference series. Formal Ethics 2022 will be held online using Zoom this coming January 7th, 8th, 13th, and 14th (for most time zones). The keynote address will be given by Matthew Adler (Duke Law School). In addition, there will be sixteen contributed papers. Most of the papers were originally scheduled to be presented at the in-person Formal Ethics conference that was to be held at Vanderbilt University in 2020 but that was cancelled because of COVID.

Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, population ethics, value theory, and the evolution of norms and conventions.

We are pleased to announce the eighth edition of the Formal Ethics conference series. Formal Ethics 2022 will be held online using Zoom this coming January 7th, 8th, 13th, and 14th (for most time zones). The keynote address will be given by Matthew Adler (Duke Law School). In addition, there will be sixteen contributed papers. Most of the papers were originally scheduled to be presented at the in-person Formal Ethics conference that was to be held at Vanderbilt University in 2020 but that was cancelled because of COVID.

Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, population ethics, value theory, and the evolution of norms and conventions.

We are pleased to announce the eighth edition of the Formal Ethics conference series. Formal Ethics 2022 will be held online using Zoom this coming January 7th, 8th, 13th, and 14th (for most time zones). The keynote address will be given by Matthew Adler (Duke Law School). In addition, there will be sixteen contributed papers. Most of the papers were originally scheduled to be presented at the in-person Formal Ethics conference that was to be held at Vanderbilt University in 2020 but that was cancelled because of COVID.

Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, population ethics, value theory, and the evolution of norms and conventions.

We are pleased to announce the eighth edition of the Formal Ethics conference series. Formal Ethics 2022 will be held online using Zoom this coming January 7th, 8th, 13th, and 14th (for most time zones). The keynote address will be given by Matthew Adler (Duke Law School). In addition, there will be sixteen contributed papers. Most of the papers were originally scheduled to be presented at the in-person Formal Ethics conference that was to be held at Vanderbilt University in 2020 but that was cancelled because of COVID.

Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, population ethics, value theory, and the evolution of norms and conventions.

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.

LFCS topics of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.

Traditionally, LFCS symposia are located in the spectacular Wyndham Deerfield Beach Resort, Deerfield Beach, Florida. Because of the ongoing pandemic, we intend to have a hybrid meeting, to allow for both physical and virtual attendance, the details will be decided later.

This World Logic Day 2022 online event by the Peruvian Society for Epistemology and Logic will present ethnological, historical, philological, and similar approaches to the concepts and conceptions related to Logic and Mathematics.

Keynote lectures: Karine Chemla (Paris 7, FR), Ítala D’Ottaviano (Unicamp, BR), Caleb Everett (UMiami, USA), Evandro L. Gomes (Unicamp, BR), Manuel Medrano (St Andrews, UK), Graham Priest (CUNY, USA), Alejandro Secades (Filolab, UGR, ES) and Ivahn Smadja (Paris 7, FR).

We are pleased to announce the eighth edition of the Formal Ethics conference series. Formal Ethics 2022 will be held online using Zoom this coming January 7th, 8th, 13th, and 14th (for most time zones). The keynote address will be given by Matthew Adler (Duke Law School). In addition, there will be sixteen contributed papers. Most of the papers were originally scheduled to be presented at the in-person Formal Ethics conference that was to be held at Vanderbilt University in 2020 but that was cancelled because of COVID.

Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, population ethics, value theory, and the evolution of norms and conventions.

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.

LFCS topics of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.

Traditionally, LFCS symposia are located in the spectacular Wyndham Deerfield Beach Resort, Deerfield Beach, Florida. Because of the ongoing pandemic, we intend to have a hybrid meeting, to allow for both physical and virtual attendance, the details will be decided later.

This World Logic Day 2022 online event by the Peruvian Society for Epistemology and Logic will present ethnological, historical, philological, and similar approaches to the concepts and conceptions related to Logic and Mathematics.

Keynote lectures: Karine Chemla (Paris 7, FR), Ítala D’Ottaviano (Unicamp, BR), Caleb Everett (UMiami, USA), Evandro L. Gomes (Unicamp, BR), Manuel Medrano (St Andrews, UK), Graham Priest (CUNY, USA), Alejandro Secades (Filolab, UGR, ES) and Ivahn Smadja (Paris 7, FR).

We are pleased to announce the eighth edition of the Formal Ethics conference series. Formal Ethics 2022 will be held online using Zoom this coming January 7th, 8th, 13th, and 14th (for most time zones). The keynote address will be given by Matthew Adler (Duke Law School). In addition, there will be sixteen contributed papers. Most of the papers were originally scheduled to be presented at the in-person Formal Ethics conference that was to be held at Vanderbilt University in 2020 but that was cancelled because of COVID.

Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, population ethics, value theory, and the evolution of norms and conventions.

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.

LFCS topics of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.

Traditionally, LFCS symposia are located in the spectacular Wyndham Deerfield Beach Resort, Deerfield Beach, Florida. Because of the ongoing pandemic, we intend to have a hybrid meeting, to allow for both physical and virtual attendance, the details will be decided later.

This World Logic Day 2022 online event by the Peruvian Society for Epistemology and Logic will present ethnological, historical, philological, and similar approaches to the concepts and conceptions related to Logic and Mathematics.

Keynote lectures: Karine Chemla (Paris 7, FR), Ítala D’Ottaviano (Unicamp, BR), Caleb Everett (UMiami, USA), Evandro L. Gomes (Unicamp, BR), Manuel Medrano (St Andrews, UK), Graham Priest (CUNY, USA), Alejandro Secades (Filolab, UGR, ES) and Ivahn Smadja (Paris 7, FR).

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

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

We are pleased to announce the eighth edition of the Formal Ethics conference series. Formal Ethics 2022 will be held online using Zoom this coming January 7th, 8th, 13th, and 14th (for most time zones). The keynote address will be given by Matthew Adler (Duke Law School). In addition, there will be sixteen contributed papers. Most of the papers were originally scheduled to be presented at the in-person Formal Ethics conference that was to be held at Vanderbilt University in 2020 but that was cancelled because of COVID.

Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, population ethics, value theory, and the evolution of norms and conventions.

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.

LFCS topics of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.

Traditionally, LFCS symposia are located in the spectacular Wyndham Deerfield Beach Resort, Deerfield Beach, Florida. Because of the ongoing pandemic, we intend to have a hybrid meeting, to allow for both physical and virtual attendance, the details will be decided later.

This World Logic Day 2022 online event by the Peruvian Society for Epistemology and Logic will present ethnological, historical, philological, and similar approaches to the concepts and conceptions related to Logic and Mathematics.

Keynote lectures: Karine Chemla (Paris 7, FR), Ítala D’Ottaviano (Unicamp, BR), Caleb Everett (UMiami, USA), Evandro L. Gomes (Unicamp, BR), Manuel Medrano (St Andrews, UK), Graham Priest (CUNY, USA), Alejandro Secades (Filolab, UGR, ES) and Ivahn Smadja (Paris 7, FR).

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

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

We are organizing a one-day online workshop to commemorate the World Logic Day. Logic deals with correct and incorrect reasoning, the connection between language and the world, and examines how we can use language to make correct statements about structures. It lies at the interface between mathematics, philosophy and computer science. This workshop aims to provide a window into Logic from four perspective, namely Mathematics, Philosophy, Computer Science and from real world application.

Registration is free of charge and everybody is invited to participate. This workshop is mainly aimed at undergraduate and graduate students but everybody is welcome. The event is particularly tailored towards the needs of students who are considering a career in logic.

The ERC Starting Grant project "The Roots of Mathematical Structuralism" and the FWF project "Purity and Abstraction in Modern Geometry: Historical and Philosophical Perspectives"  are co-hosting the conference "Modern Geometry and its Foundations" at the University of Vienna.

The conference will be held either in hybrid form or digitally (on zoom).

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Besides the main track, ICLP 2022 will host additional tracks and special sessions:
 - Applications Track
 - Recently Published Research Track
 - Doctoral Consortium (DC) and Mentoring Sessions
 - Tutorials and Co-located Workshops.

ILCP 2022 will be part of FLOC 2022.

The IPMU Conference is organized every two years since 1986 with the focus of bringing together scientists working on methods for the management of uncertainty and aggregation. It also provides a forum for the exchange of ideas between theoreticians and practitioners in these and related areas.

The conference includes keynote talks by Tomaso A. Poggio, César A. Hidalgo and Marianne Huchard, and various special sessions including one on 'Mathematical Fuzzy Logics: Modalities, Quantifiers and Uncertainty'.

We are pleased to announce the eighth edition of the Formal Ethics conference series. Formal Ethics 2022 will be held online using Zoom this coming January 7th, 8th, 13th, and 14th (for most time zones). The keynote address will be given by Matthew Adler (Duke Law School). In addition, there will be sixteen contributed papers. Most of the papers were originally scheduled to be presented at the in-person Formal Ethics conference that was to be held at Vanderbilt University in 2020 but that was cancelled because of COVID.

Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, population ethics, value theory, and the evolution of norms and conventions.

This World Logic Day 2022 online event by the Peruvian Society for Epistemology and Logic will present ethnological, historical, philological, and similar approaches to the concepts and conceptions related to Logic and Mathematics.

Keynote lectures: Karine Chemla (Paris 7, FR), Ítala D’Ottaviano (Unicamp, BR), Caleb Everett (UMiami, USA), Evandro L. Gomes (Unicamp, BR), Manuel Medrano (St Andrews, UK), Graham Priest (CUNY, USA), Alejandro Secades (Filolab, UGR, ES) and Ivahn Smadja (Paris 7, FR).

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

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

The ERC Starting Grant project "The Roots of Mathematical Structuralism" and the FWF project "Purity and Abstraction in Modern Geometry: Historical and Philosophical Perspectives"  are co-hosting the conference "Modern Geometry and its Foundations" at the University of Vienna.

The conference will be held either in hybrid form or digitally (on zoom).

With the purpose of celebrating the UNESCO World Logic Day, the Australasian Association for Logic will host a Southern Summer Logic Day.

There will be one keynote presentation by Max Cresswell entitled "Why did W.V.O. Quine hate Ruth Barcan Marcus? The curious relation between ideology and logic". In addition to the keynote, there will be four invited talks. The speakers will be John N. Crossley, Isabella McAllister, Gillian Russell and Lavinia Picollo. The talks should be suitable for a broad audience.

It is our pleasure to invite you to participate in the "Logic for the Friendship of Nations" online workshop which will take place between January 14 - 15, 2022. It is a unique celebration of the UNESCO World Logic Day in the International Year of Basic Sciences and Sustainable Development which for the first time is taking place as a joint international program representing several countries including Iran, Iraq, India, Norway, Iceland, Denmark, Sweden, Finland, Thailand, Malaysia, Japan, Korea, Bosnia, France, the United States, and the United Kingdom. Feel free to write to us if you or your institutes are willing to join the global movement of logicians for peace and dialogue.

UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline.

The coordination of World Logic Day 2021 is --for the second time-- in the hands of the Conseil International de Philosophie et des Sciences Humaines (CIPSH) and its member organization, the DLMPST/IUHPST.

We would like to encourage logicians all around the world to organize (possibly small) events in close proximity to 14 January 2022 to celebrate this day. It is impossible to predict what type of meeting will be possible in January 2022 and what the international travel situation will be. As a consequence, we should like to ask all organisers to weigh pros and cons of planning in person events, purely online events, or hybrid events before making an announcement. Note that online and hybrid events have the advantage of allowing easy access of people from around the world. Registered events will be listed on the CIPSH website.

The Department of Computer Science at the University of Oxford will celebrate the UNESCO World Logic Day together with a number of academic institutions all around the world!

On this occasion on 14th January 2022 in an online session 4 esteemed senior researchers from the department will offer a closer look at their fields of research and explain how logic and logical methods are exploited therein. The event will consist of the following up-to-1-hour online live talks, each one followed by a short discussion. It will be held on MS Teams and participation will be free of charge.

On occasion of the UNESCO World Logic Day, we are organising a virtual mini-workshop on logic and its philosophy. Registration is free of charge and everybody is welcome to attend. Talks will be given by: Christian J. Feldbacher-Escamilla (Cologne), Hannes Leitgeb (MCMP, Munich), Kristina Liefke (RUB, Bochum) and¢ Graham Priest (Graduate Center, City University of New York). The event will be held in English.

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.

This World Logic Day 2022 online event by the Peruvian Society for Epistemology and Logic will present ethnological, historical, philological, and similar approaches to the concepts and conceptions related to Logic and Mathematics.

Keynote lectures: Karine Chemla (Paris 7, FR), Ítala D’Ottaviano (Unicamp, BR), Caleb Everett (UMiami, USA), Evandro L. Gomes (Unicamp, BR), Manuel Medrano (St Andrews, UK), Graham Priest (CUNY, USA), Alejandro Secades (Filolab, UGR, ES) and Ivahn Smadja (Paris 7, FR).

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

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

The ERC Starting Grant project "The Roots of Mathematical Structuralism" and the FWF project "Purity and Abstraction in Modern Geometry: Historical and Philosophical Perspectives"  are co-hosting the conference "Modern Geometry and its Foundations" at the University of Vienna.

The conference will be held either in hybrid form or digitally (on zoom).

It is our pleasure to invite you to participate in the "Logic for the Friendship of Nations" online workshop which will take place between January 14 - 15, 2022. It is a unique celebration of the UNESCO World Logic Day in the International Year of Basic Sciences and Sustainable Development which for the first time is taking place as a joint international program representing several countries including Iran, Iraq, India, Norway, Iceland, Denmark, Sweden, Finland, Thailand, Malaysia, Japan, Korea, Bosnia, France, the United States, and the United Kingdom. Feel free to write to us if you or your institutes are willing to join the global movement of logicians for peace and dialogue.

We are organizing a one-day online workshop to commemorate the World Logic Day, on the topic of formalization in mathematics. Registration is free of charge and everybody is welcome to attend.

Topic: What are the chances and problems of the act of formalization in the context of mathematics? It is often said, that all of mathematics can be reduced to first-order logic and set theory. The derivation indicator view says that all proofs stand in some relation to a derivation, i.e. a mechanically checkable syntactical objects following fixed rules, that would not have any gaps. For a long time this was a mere hope. There may have been proofs of concepts from early logicists but derivation never played a big role in mathematical practice. The modern computer might change this. Interactive and automated theorem provers promise to make the construction of a justification without any gaps feasible for complex mathematics. Is this promise justified? Will the future of mathematical practice shift to more formal mathematics? Should it? We hope to illuminate such questions and focus especially on what these developments mean for the future of the curriculum of university students. This event features speakers speaking about both concrete projects and reflections on such endeavours in general.

There is a wealth of early Chinese philosophical texts from the Hundred Schools of Thought, dating from the 6th century BC to 221 BC. These texts contain profound ideas on how to think, reason, and conduct argumentation, as well as the relationship between ming 名 (name) and shi 实 (object/reality), language and logic. Many ideas of these texts continued to be influential throughout Chinese history, and are still of great relevance to today’s world.

Prominent scholars have made great contributions in analysing and interpreting these texts. In China, Sun Yirang started the tradition of textual analysis in the late Qing Dynasty, and it has been continued by Hu Shi, Feng Youlan, Shen Youding, Wu Yujiang, among many others. The HOLIC workshops are carrying on this tradition with particular attention to logical thought and to facilitate the Handbook project. The workshop holds that any idea or theories presented should be firmly based on textual evidence, yet we are open to a variety of methodological approaches.

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

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

There is a wealth of early Chinese philosophical texts from the Hundred Schools of Thought, dating from the 6th century BC to 221 BC. These texts contain profound ideas on how to think, reason, and conduct argumentation, as well as the relationship between ming 名 (name) and shi 实 (object/reality), language and logic. Many ideas of these texts continued to be influential throughout Chinese history, and are still of great relevance to today’s world.

Prominent scholars have made great contributions in analysing and interpreting these texts. In China, Sun Yirang started the tradition of textual analysis in the late Qing Dynasty, and it has been continued by Hu Shi, Feng Youlan, Shen Youding, Wu Yujiang, among many others. The HOLIC workshops are carrying on this tradition with particular attention to logical thought and to facilitate the Handbook project. The workshop holds that any idea or theories presented should be firmly based on textual evidence, yet we are open to a variety of methodological approaches.

There is a wealth of early Chinese philosophical texts from the Hundred Schools of Thought, dating from the 6th century BC to 221 BC. These texts contain profound ideas on how to think, reason, and conduct argumentation, as well as the relationship between ming 名 (name) and shi 实 (object/reality), language and logic. Many ideas of these texts continued to be influential throughout Chinese history, and are still of great relevance to today’s world.

Prominent scholars have made great contributions in analysing and interpreting these texts. In China, Sun Yirang started the tradition of textual analysis in the late Qing Dynasty, and it has been continued by Hu Shi, Feng Youlan, Shen Youding, Wu Yujiang, among many others. The HOLIC workshops are carrying on this tradition with particular attention to logical thought and to facilitate the Handbook project. The workshop holds that any idea or theories presented should be firmly based on textual evidence, yet we are open to a variety of methodological approaches.

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 2022 will be co-located with POPL 2022 in Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

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 2022 will be co-located with POPL 2022 in Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

In broad terms, image schemas are spatiotemporal relationships between objects and agents that are learned in early infancy such as containment, support and linkage. These relationships are hypothesised to construct the information skeleton found in object affordances, linguistic and artistic metaphors, the conceptualisation of event segmentation and analogical reasoning. Traditionally studied in cognitive linguistics, these abstract patterns gained increased interest to solve some of the semantic grounding issues in AI and cognitive robotics, but are also a familiar sight in interaction design, art and literary analysis, developmental psychology, and gesture interpretation, to name but a few.

To offer a platform to discuss this topic across the disciplines, the workshop The Image Schema Day was born in 2015, and so far, it gathered researchers on five different occasions. The workshop is primarily a networking event that invites researchers on image schemas and related notions from a broad range of scientific disciplines to present their research and discuss ideas for future projects. After two years of hibernation, we are happy to announce that the Image Schema Day (ISD6) is returning in its sixth reincarnation: at a new venue, with new research, but with the same purpose. Unlike many other workshops focused on different topics in one discipline or using one methodology, the ISD6 invites researchers from all disciplines and methodologies but focuses on one topic.

In broad terms, image schemas are spatiotemporal relationships between objects and agents that are learned in early infancy such as containment, support and linkage. These relationships are hypothesised to construct the information skeleton found in object affordances, linguistic and artistic metaphors, the conceptualisation of event segmentation and analogical reasoning. Traditionally studied in cognitive linguistics, these abstract patterns gained increased interest to solve some of the semantic grounding issues in AI and cognitive robotics, but are also a familiar sight in interaction design, art and literary analysis, developmental psychology, and gesture interpretation, to name but a few.

To offer a platform to discuss this topic across the disciplines, the workshop The Image Schema Day was born in 2015, and so far, it gathered researchers on five different occasions. The workshop is primarily a networking event that invites researchers on image schemas and related notions from a broad range of scientific disciplines to present their research and discuss ideas for future projects. After two years of hibernation, we are happy to announce that the Image Schema Day (ISD6) is returning in its sixth reincarnation: at a new venue, with new research, but with the same purpose. Unlike many other workshops focused on different topics in one discipline or using one methodology, the ISD6 invites researchers from all disciplines and methodologies but focuses on one topic.

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.

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.

We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.

Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.

Due to the COVID-19 crisis the conferences have been postponed until 2022.

We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.

Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.

Due to the COVID-19 crisis the conferences have been postponed until 2022.

We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.

Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.

Due to the COVID-19 crisis the conferences have been postponed until 2022.

We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.

Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.

Due to the COVID-19 crisis the conferences have been postponed until 2022.

Modern information systems rely increasingly on combining concurrent, distributed, mobile, adaptive, reconfigurable and heterogeneous components. New models, architectures, languages and verification techniques are necessary to cope with the complexity induced by the demands of today’s software development. Coordination languages have emerged as a successful approach, in that they provide abstractions that cleanly separate behaviour from communication, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. Building on the success of the previous editions, this conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination.

COORDINATION 2022 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come. Depending on the pandemic situation, we may have to make a decision whether to cancel the physical component of the event or not.

We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.

Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.

Due to the COVID-19 crisis the conferences have been postponed until 2022.

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.

We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.

Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.

Due to the COVID-19 crisis the conferences have been postponed until 2022.

We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.

Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.

Due to the COVID-19 crisis the conferences have been postponed until 2022.

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.

We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.

Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.

Due to the COVID-19 crisis the conferences have been postponed until 2022.