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

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

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

Dynamic logic (DL), a generalisation of the logic of Floyd-Hoare introduced in the 70s by Pratt, is a well-known and particularly powerful way of combining propositions, for capturing static properties of program states, and structured actions, responsible for transitions from a state to another (and typically combined through a Kleene algebra to express sequential, non-deterministic, iterative behaviour of systems), into a formal framework to reason about, and verify, classic imperative programs. Over time Dynamic logic grew to encompass a family of logics increasingly popular in the verification of computational systems, and able to evolve and adapt to new, and complex validation challenges.

Dynamic logic is not only theoretically relevant, but it also shows enormous practical potential and it is indeed a topic of interest in several scientific venues, from wide-scope software engineering conferences to modal logic specific events. That being said, DaLí is the only event exclusively dedicated to this topic. It is our aim to once again bring together in a single place the heterogeneous community of colleagues which share an interest in Dynamic logic - from Academia to Industry, from Mathematics to Computer Science, - to promote their works, to foster great discussions and new collaborations.

The VardiFest titled "On the Not So Unusual Effectiveness of Logic" is a FLoC-22  workshop in honor of Moshe Vardi and is intended to celebrate Moshe Vardi's pioneering contributions that has enhanced logic's centrality in Computer science.

The workshop will be organized ala Highlights conference style: i.e., composed of short talks and invited talks.

Logic is one of the pillars of the foundation of Computer Science, together with Algorithmic Mathematics, Information Theory, and Electronics. Consequently various versions of Logic courses used to be part of the undergraduate syllabus of Computer Science. However, as witnessed by the variety of conferences related to Logic present at the FLoC event, the emphasis has moved from the foundation to applications of Logic in Computer Science. Each of these conferences deal with topics suitable for advanced undergraduate and graduate courses, which require some Logic based prerequisite. On the other hand, Logic courses in the undergraduate syllabus have been forced to make place for courses deemed more suitable for the education of future specialists and practitioners working in IT. Many of the top Universities worldwide have dropped foundational Logic courses for undergraduates for more practical oriented courses, turning undergraduate CS programs into programs more suitable for what used to be vocational colleges and professional schools.

Time has come to critically reflect upon and reevaluate the role of Logic in the undergraduate syllabus. It seems clear that the classical Logic in CS courses have no place there anymore. They seem to teach and emphasize the wrong narrative of logic as taught by tradition. However, it seems also clear that eliminating Logic courses all together is counter productive. The purpose of the workshop is the prepare a proposal for a logic course Logic-2020 which is useful and acceptable for University undergraduates in CS, and which can serve as a prerequisite for the many diverse branches of applied logic.

Proof complexity is the study of the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F (e.g. a propositional tautology) and a proof system P (i.e., a formalism usually comprised of axioms and rules), what is the size of the smallest proof of F in the system P? Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions, which bare tight relations to intricate theoretical open problems from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT/QBF solving.

The workshop will be part of FLoC and will be affiliated with the conference SAT'22.

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 Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory as well as algorithms that operate over programs in these formalisms. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be run over programs that represent highly structured probability spaces. Partly due to logic programming's strong theoretical underpinnings, PLP is fast becoming a very well founded area of probabilistic programming.

This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work in all areas related to probabilistic logic programming. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. It aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. Interactions between theoretical and applied minded researchers are encouraged.

Answer set programming is a successful extension of logic programming for solving combinatorial problems as well as knowledge representation and reasoning problems. Most current implementations of ASP work by grounding a program and using a SAT solver-like technology to find the answer sets. While this approach is extremely efficient, relying on grounding of the program leads to significant blow-up of the program size, and computing the whole model makes finding justification of an atom in the model hard. This limits the applicability of ASP to problems dealing with large knowledge bases. Goal-directed or query-driven execution strategies have been proposed that do not require grounding. The goal of this workshop is to foster discussion around challenges and opportunities that such approaches present.

As in 2019 and 2020, the IEEE RAS Summer School on Multi-Robot Systems, 2022 will be held at the campus of Czech Technical University, located at the heart of the beautiful and historic city of Prague. The Summer School will promote the newest achievements in Multi-Robot Systems research to students, academic researchers, and industrial practitioners to enable putting systems of cooperating robots into practice.

The main scope of the 2022 IEEE RAS Summer School on Multi-Robot Systems will be systems of cooperating aerial vehicles and swarms, including lectures by well-recognized experts in the field, and hands-on experience with real-world experiments using state-of-the-art aerial platforms developed for Multi-Robot research.

The 2022 IEEE RAS Summer School will be focused on deployment of MRS in real-world conditions being motivated by EU Aerial-Core project and DARPA SubTChallenge.

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 Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

As in 2019 and 2020, the IEEE RAS Summer School on Multi-Robot Systems, 2022 will be held at the campus of Czech Technical University, located at the heart of the beautiful and historic city of Prague. The Summer School will promote the newest achievements in Multi-Robot Systems research to students, academic researchers, and industrial practitioners to enable putting systems of cooperating robots into practice.

The main scope of the 2022 IEEE RAS Summer School on Multi-Robot Systems will be systems of cooperating aerial vehicles and swarms, including lectures by well-recognized experts in the field, and hands-on experience with real-world experiments using state-of-the-art aerial platforms developed for Multi-Robot research.

The 2022 IEEE RAS Summer School will be focused on deployment of MRS in real-world conditions being motivated by EU Aerial-Core project and DARPA SubTChallenge.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas.

QBFEVAL'22 is the 2022 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'22 awards solvers that stand out as being particularly effective on specific categories of QBF instances. This will be a joint event with the 25th Int. Conference on Theory and Applications of Satisfiability Testing (SAT, affiliated with FLoC 2022).

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 Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

As in 2019 and 2020, the IEEE RAS Summer School on Multi-Robot Systems, 2022 will be held at the campus of Czech Technical University, located at the heart of the beautiful and historic city of Prague. The Summer School will promote the newest achievements in Multi-Robot Systems research to students, academic researchers, and industrial practitioners to enable putting systems of cooperating robots into practice.

The main scope of the 2022 IEEE RAS Summer School on Multi-Robot Systems will be systems of cooperating aerial vehicles and swarms, including lectures by well-recognized experts in the field, and hands-on experience with real-world experiments using state-of-the-art aerial platforms developed for Multi-Robot research.

The 2022 IEEE RAS Summer School will be focused on deployment of MRS in real-world conditions being motivated by EU Aerial-Core project and DARPA SubTChallenge.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas.

QBFEVAL'22 is the 2022 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'22 awards solvers that stand out as being particularly effective on specific categories of QBF instances. This will be a joint event with the 25th Int. Conference on Theory and Applications of Satisfiability Testing (SAT, affiliated with FLoC 2022).

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 Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

As in 2019 and 2020, the IEEE RAS Summer School on Multi-Robot Systems, 2022 will be held at the campus of Czech Technical University, located at the heart of the beautiful and historic city of Prague. The Summer School will promote the newest achievements in Multi-Robot Systems research to students, academic researchers, and industrial practitioners to enable putting systems of cooperating robots into practice.

The main scope of the 2022 IEEE RAS Summer School on Multi-Robot Systems will be systems of cooperating aerial vehicles and swarms, including lectures by well-recognized experts in the field, and hands-on experience with real-world experiments using state-of-the-art aerial platforms developed for Multi-Robot research.

The 2022 IEEE RAS Summer School will be focused on deployment of MRS in real-world conditions being motivated by EU Aerial-Core project and DARPA SubTChallenge.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas.

QBFEVAL'22 is the 2022 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'22 awards solvers that stand out as being particularly effective on specific categories of QBF instances. This will be a joint event with the 25th Int. Conference on Theory and Applications of Satisfiability Testing (SAT, affiliated with FLoC 2022).

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

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

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

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 Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

As in 2019 and 2020, the IEEE RAS Summer School on Multi-Robot Systems, 2022 will be held at the campus of Czech Technical University, located at the heart of the beautiful and historic city of Prague. The Summer School will promote the newest achievements in Multi-Robot Systems research to students, academic researchers, and industrial practitioners to enable putting systems of cooperating robots into practice.

The main scope of the 2022 IEEE RAS Summer School on Multi-Robot Systems will be systems of cooperating aerial vehicles and swarms, including lectures by well-recognized experts in the field, and hands-on experience with real-world experiments using state-of-the-art aerial platforms developed for Multi-Robot research.

The 2022 IEEE RAS Summer School will be focused on deployment of MRS in real-world conditions being motivated by EU Aerial-Core project and DARPA SubTChallenge.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas.

QBFEVAL'22 is the 2022 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'22 awards solvers that stand out as being particularly effective on specific categories of QBF instances. This will be a joint event with the 25th Int. Conference on Theory and Applications of Satisfiability Testing (SAT, affiliated with FLoC 2022).

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 Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

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 Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

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.

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.

IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). IJCAR 2022 will be part of the Eighth Federated Logic Conference (FLoC 2022).

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 Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

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.

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.

IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). IJCAR 2022 will be part of the Eighth Federated Logic Conference (FLoC 2022).

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

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.

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.

IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). IJCAR 2022 will be part of the Eighth Federated Logic Conference (FLoC 2022).

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

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.

IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). IJCAR 2022 will be part of the Eighth Federated Logic Conference (FLoC 2022).

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). IJCAR 2022 will be part of the Eighth Federated Logic Conference (FLoC 2022).

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems.

ThEdu'22 will be a satellite workshop of FLoC 2022. Invited Speakers: Thierry Dana-Picard, Yoni Zohar.

Starting from Craig's interpolation theorem for first-order logic, the existence and computation of interpolants became an active research area, with applications in different fields, notably in verification, databases, and knowledge representation. There are challenging theoretical and practical questions, for model-theoretic as well as proof-theoretic approaches. The workshop aims at bringing together researchers working on interpolation and its various applications, based on different approaches, increasing the awareness of the automated reasoning community for challenging open problems related to interpolation.

iPRA 2022 is a workshop at the Federated Logic Conference (FLoC) 2022. The workshop will include invited talks, invited tutorials (speakers to be announced), and contributed talks.

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.

SMT 2022 is the 20th International Workshop on Satisfiability Modulo Theories. It is affiliated with IJCAR 2022, part of FLoC2022, and will be held on August 11th-12th, 2022, in Haifa, Israel.

The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Relevant topics include but are not limited to: * Decision procedures and theories of interest * Combinations of decision procedures * Novel implementation techniques * Benchmarks and evaluation methodologies * Applications and case studies * Theoretical results.

EuroProofNet is the European research network on digital proofs, aiming at boosting the interoperability and usability of proof systems. The EuroProofNet Automated Theorem Provers Working Group (WG2) is organizing its kickoff meeting co-located with the 8th Workshop on Practical Aspects of Automated Reasoning (PAAR 2022), taking place at FLoC in Haifa, Israel, at August 11-12, 2022. While PAAR 2022 is a two-day event, the working group meeting will essentially be on the second day of PAAR (August 12).

Confirmed speakers: Josef Urban, Geoff Sutcliffe, Andres Notzli and Guillaume Burel. The meeting will be primarily in-person, but the organizers plan to implement a hybrid format so that all interested EuroProofNet members can participate via a video call.

The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:

• LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)

• FSCD (7th International Conference on Formal Structures for Computation and Deduction)
• ITP (13th International Conference on Interactive Theorem Proving)
• IJCAR (International Joint Conference on Automated Reasoning)

• CSF (35th IEEE Computer Security Foundations Symposium)

• CAV (34th International Conference on Computer Aided Verification)

• KR (19th International Conference on Principles of Knowledge Representation and Reasoning)

• ICLP (38th International Conference on Logic Programming)

• SAT (25th International Conference on Theory and Applications of Satisfiability Testing)

• CP (25th International Conference on Principles and Practice of Constraint Programming)

Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics. KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel, from July 31 to August 12, 2022. The KR-affiliated FLoC tutorials and workshops will take place directly before KR, on July 31-August 1. All events that are part of FLoC are currently planned to take place physically, but people can participate remotely in cases where travel is impossible.

IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). IJCAR 2022 will be part of the Eighth Federated Logic Conference (FLoC 2022).

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

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.

SMT 2022 is the 20th International Workshop on Satisfiability Modulo Theories. It is affiliated with IJCAR 2022, part of FLoC2022, and will be held on August 11th-12th, 2022, in Haifa, Israel.

The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Relevant topics include but are not limited to: * Decision procedures and theories of interest * Combinations of decision procedures * Novel implementation techniques * Benchmarks and evaluation methodologies * Applications and case studies * Theoretical results.

EuroProofNet is the European research network on digital proofs, aiming at boosting the interoperability and usability of proof systems. The EuroProofNet Automated Theorem Provers Working Group (WG2) is organizing its kickoff meeting co-located with the 8th Workshop on Practical Aspects of Automated Reasoning (PAAR 2022), taking place at FLoC in Haifa, Israel, at August 11-12, 2022. While PAAR 2022 is a two-day event, the working group meeting will essentially be on the second day of PAAR (August 12).

Confirmed speakers: Josef Urban, Geoff Sutcliffe, Andres Notzli and Guillaume Burel. The meeting will be primarily in-person, but the organizers plan to implement a hybrid format so that all interested EuroProofNet members can participate via a video call.

UNIF 2022 is the 36th in a series of annual workshops on unification and related topics. Unification is concerned with the problem of identifying given (first- or higher-order) terms, either syntactically or modulo a theory. It is a fundamental technique that is employed in various areas of Computer Science and Mathematics. In particular, unification algorithms are key components in completion of term rewriting systems, resolution-based theorem proving, and logic programming. But unification is, for example, also investigated in the context of natural language processing, program analysis, types, modal logics, and in knowledge representation.

Just as its predecessors', the purpose of UNIF 2022 is to bring together researchers interested in unification theory and its applications, as well as closely related topics, such as matching (i.e., one-ided unification), anti-unification (i.e., the dual problem to unification), disunification (i.e., solving equations and inequations) and the admissibility problem (which generalizes unification in modal logics). It is a forum for presenting recent (even unfinished) work, and discuss new ideas and trends in this and related fields. UNIF 2022 is associated with IJCAR 2022 part of the Federated Logic Conference 2022.

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

This workshop focuses on end-to-end implementations of vector-based compositional architectures. This means not only the elementary word embeddings are obtained from data, but also the categories/types and their internal composition so that neural methods can then be applied to learn how the structure of syntactic derivations can be systematically mapped to operations on the data-driven word representations. For this last step, the workshop invites approaches that do not require the semantic operations to be linear maps since restricting the meaning algebra to finite dimensional vector spaces and linear maps means that vital information encoded in syntactic derivations may be lost in translation.

On the evaluation side, we welcome work on modern NLP tasks for evaluating sentence embeddings such as Natural Language Inference, sentence-level classification, and sentence disambiguation tasks. Special interest goes out to work that uses compositionality to investigate the syntactic sensitivity of large-scale language models.

FMKD@JOWO intends to create a space of confluence and a forum for discussion for researchers interested in knowledge diversity in a wide sense, including diversity in terms of diverging perspectives, different beliefs, semantic heterogeneity and others. The importance of understanding and handling the different forms of diversity that manifest between knowledge formalisations (ontologies, knowledge bases, or knowledge graphs) is widely recognised and has led to the proposal of a variety of systems of representation, tackling overlapping aspects of this phenomenon.

Besides understanding the phenomenon and considering formal models for the representation of knowledge diversity, we are interested in the variety of reasoning problems that emerge in this context, including jointly reasoning with possibly conflicting sources, interpreting knowledge from alternative viewpoints, consolidating the diversity as uncertainty, reasoning by means of argumentation between the sources and pursuing knowledge aggregations among others.

The purpose of the workshop is to bridge the gap between the cognitive sciences and research on formal ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation.

More specifically, CAOS investigates key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology, and reasoning, and how they can be formally and ontologically understood and analysed. The exploration of the connection between cognitive sciences/experimental psychology and ontologies, as well as, more generally, symbolic AI, aims also to provide formal and logical modelling and reasoning approaches for capturing such connections. CAOS, thus, seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems, also in practical application.

Cognition And OntologieS 2022 is part of the 8th Joint Ontology Workshops (JOWO 2022).

Every year researchers from areas like philosophy, computer science, linguistics, conceptual modelling and cognitive science gather to participate in a series of workshops and tutorials related to ontology. The event is The Joint Ontology Workshops (JOWO), an interdisciplinary umbrella conference centred on research in and application of ontologies. Biyearly, JOWO is co-located with FOIS, but being a large enough event on its own, every other year, JOWO is a freestanding event.

Due to its unique format, JOWO offers an inspiring platform in which participants can engage with new knowledge in tutorials, present their own innovative findings in workshops, explore new research collaborations from nearby disciplines and network with researchers and practitioners at the event's social program.

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

This workshop focuses on end-to-end implementations of vector-based compositional architectures. This means not only the elementary word embeddings are obtained from data, but also the categories/types and their internal composition so that neural methods can then be applied to learn how the structure of syntactic derivations can be systematically mapped to operations on the data-driven word representations. For this last step, the workshop invites approaches that do not require the semantic operations to be linear maps since restricting the meaning algebra to finite dimensional vector spaces and linear maps means that vital information encoded in syntactic derivations may be lost in translation.

On the evaluation side, we welcome work on modern NLP tasks for evaluating sentence embeddings such as Natural Language Inference, sentence-level classification, and sentence disambiguation tasks. Special interest goes out to work that uses compositionality to investigate the syntactic sensitivity of large-scale language models.

FMKD@JOWO intends to create a space of confluence and a forum for discussion for researchers interested in knowledge diversity in a wide sense, including diversity in terms of diverging perspectives, different beliefs, semantic heterogeneity and others. The importance of understanding and handling the different forms of diversity that manifest between knowledge formalisations (ontologies, knowledge bases, or knowledge graphs) is widely recognised and has led to the proposal of a variety of systems of representation, tackling overlapping aspects of this phenomenon.

Besides understanding the phenomenon and considering formal models for the representation of knowledge diversity, we are interested in the variety of reasoning problems that emerge in this context, including jointly reasoning with possibly conflicting sources, interpreting knowledge from alternative viewpoints, consolidating the diversity as uncertainty, reasoning by means of argumentation between the sources and pursuing knowledge aggregations among others.

The purpose of the workshop is to bridge the gap between the cognitive sciences and research on formal ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation.

More specifically, CAOS investigates key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology, and reasoning, and how they can be formally and ontologically understood and analysed. The exploration of the connection between cognitive sciences/experimental psychology and ontologies, as well as, more generally, symbolic AI, aims also to provide formal and logical modelling and reasoning approaches for capturing such connections. CAOS, thus, seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems, also in practical application.

Cognition And OntologieS 2022 is part of the 8th Joint Ontology Workshops (JOWO 2022).

Every year researchers from areas like philosophy, computer science, linguistics, conceptual modelling and cognitive science gather to participate in a series of workshops and tutorials related to ontology. The event is The Joint Ontology Workshops (JOWO), an interdisciplinary umbrella conference centred on research in and application of ontologies. Biyearly, JOWO is co-located with FOIS, but being a large enough event on its own, every other year, JOWO is a freestanding event.

Due to its unique format, JOWO offers an inspiring platform in which participants can engage with new knowledge in tutorials, present their own innovative findings in workshops, explore new research collaborations from nearby disciplines and network with researchers and practitioners at the event's social program.

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

FMKD@JOWO intends to create a space of confluence and a forum for discussion for researchers interested in knowledge diversity in a wide sense, including diversity in terms of diverging perspectives, different beliefs, semantic heterogeneity and others. The importance of understanding and handling the different forms of diversity that manifest between knowledge formalisations (ontologies, knowledge bases, or knowledge graphs) is widely recognised and has led to the proposal of a variety of systems of representation, tackling overlapping aspects of this phenomenon.

Besides understanding the phenomenon and considering formal models for the representation of knowledge diversity, we are interested in the variety of reasoning problems that emerge in this context, including jointly reasoning with possibly conflicting sources, interpreting knowledge from alternative viewpoints, consolidating the diversity as uncertainty, reasoning by means of argumentation between the sources and pursuing knowledge aggregations among others.

The purpose of the workshop is to bridge the gap between the cognitive sciences and research on formal ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation.

More specifically, CAOS investigates key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology, and reasoning, and how they can be formally and ontologically understood and analysed. The exploration of the connection between cognitive sciences/experimental psychology and ontologies, as well as, more generally, symbolic AI, aims also to provide formal and logical modelling and reasoning approaches for capturing such connections. CAOS, thus, seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems, also in practical application.

Cognition And OntologieS 2022 is part of the 8th Joint Ontology Workshops (JOWO 2022).

Every year researchers from areas like philosophy, computer science, linguistics, conceptual modelling and cognitive science gather to participate in a series of workshops and tutorials related to ontology. The event is The Joint Ontology Workshops (JOWO), an interdisciplinary umbrella conference centred on research in and application of ontologies. Biyearly, JOWO is co-located with FOIS, but being a large enough event on its own, every other year, JOWO is a freestanding event.

Due to its unique format, JOWO offers an inspiring platform in which participants can engage with new knowledge in tutorials, present their own innovative findings in workshops, explore new research collaborations from nearby disciplines and network with researchers and practitioners at the event's social program.

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.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

FMKD@JOWO intends to create a space of confluence and a forum for discussion for researchers interested in knowledge diversity in a wide sense, including diversity in terms of diverging perspectives, different beliefs, semantic heterogeneity and others. The importance of understanding and handling the different forms of diversity that manifest between knowledge formalisations (ontologies, knowledge bases, or knowledge graphs) is widely recognised and has led to the proposal of a variety of systems of representation, tackling overlapping aspects of this phenomenon.

Besides understanding the phenomenon and considering formal models for the representation of knowledge diversity, we are interested in the variety of reasoning problems that emerge in this context, including jointly reasoning with possibly conflicting sources, interpreting knowledge from alternative viewpoints, consolidating the diversity as uncertainty, reasoning by means of argumentation between the sources and pursuing knowledge aggregations among others.

The purpose of the workshop is to bridge the gap between the cognitive sciences and research on formal ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation.

More specifically, CAOS investigates key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology, and reasoning, and how they can be formally and ontologically understood and analysed. The exploration of the connection between cognitive sciences/experimental psychology and ontologies, as well as, more generally, symbolic AI, aims also to provide formal and logical modelling and reasoning approaches for capturing such connections. CAOS, thus, seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems, also in practical application.

Cognition And OntologieS 2022 is part of the 8th Joint Ontology Workshops (JOWO 2022).

Every year researchers from areas like philosophy, computer science, linguistics, conceptual modelling and cognitive science gather to participate in a series of workshops and tutorials related to ontology. The event is The Joint Ontology Workshops (JOWO), an interdisciplinary umbrella conference centred on research in and application of ontologies. Biyearly, JOWO is co-located with FOIS, but being a large enough event on its own, every other year, JOWO is a freestanding event.

Due to its unique format, JOWO offers an inspiring platform in which participants can engage with new knowledge in tutorials, present their own innovative findings in workshops, explore new research collaborations from nearby disciplines and network with researchers and practitioners at the event's social program.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Registration is now open. Early registration is available until the 5th of June 2022.

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

FMKD@JOWO intends to create a space of confluence and a forum for discussion for researchers interested in knowledge diversity in a wide sense, including diversity in terms of diverging perspectives, different beliefs, semantic heterogeneity and others. The importance of understanding and handling the different forms of diversity that manifest between knowledge formalisations (ontologies, knowledge bases, or knowledge graphs) is widely recognised and has led to the proposal of a variety of systems of representation, tackling overlapping aspects of this phenomenon.

Besides understanding the phenomenon and considering formal models for the representation of knowledge diversity, we are interested in the variety of reasoning problems that emerge in this context, including jointly reasoning with possibly conflicting sources, interpreting knowledge from alternative viewpoints, consolidating the diversity as uncertainty, reasoning by means of argumentation between the sources and pursuing knowledge aggregations among others.

The purpose of the workshop is to bridge the gap between the cognitive sciences and research on formal ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation.

More specifically, CAOS investigates key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology, and reasoning, and how they can be formally and ontologically understood and analysed. The exploration of the connection between cognitive sciences/experimental psychology and ontologies, as well as, more generally, symbolic AI, aims also to provide formal and logical modelling and reasoning approaches for capturing such connections. CAOS, thus, seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems, also in practical application.

Cognition And OntologieS 2022 is part of the 8th Joint Ontology Workshops (JOWO 2022).

Every year researchers from areas like philosophy, computer science, linguistics, conceptual modelling and cognitive science gather to participate in a series of workshops and tutorials related to ontology. The event is The Joint Ontology Workshops (JOWO), an interdisciplinary umbrella conference centred on research in and application of ontologies. Biyearly, JOWO is co-located with FOIS, but being a large enough event on its own, every other year, JOWO is a freestanding event.

Due to its unique format, JOWO offers an inspiring platform in which participants can engage with new knowledge in tutorials, present their own innovative findings in workshops, explore new research collaborations from nearby disciplines and network with researchers and practitioners at the event's social program.

This international workshop celebrates the past 30 years of active research in the area of Finite Model Theory (FMT) in Finland. Research in FMT in Finland began due to the joint efforts of Phokion G. Kolaitis and Jouko Väänänen in the end of 1980's. Concurrently, while celebrating the 30 years of FMT in Finland, the workshop aspires to be a venue for displaying the current state-of-art of research in FMT globally.

The meeting will consist of three keynote lectures, several contributed talks, and plenty of time for collaboration spread over a three day period. The workshop aspires for an intimate and relaxed atmosphere in the spirit of Dagstuhl seminars. Tentative keynote speakers: Anuj Dawar  (University of Cambridge), Phokion G. Kolaitis  (University of California Santa Cruz and IBM Research) and Jouko Väänänen (University of Helsinki and University of Amsterdam).

This international workshop celebrates the past 30 years of active research in the area of Finite Model Theory (FMT) in Finland. Research in FMT in Finland began due to the joint efforts of Phokion G. Kolaitis and Jouko Väänänen in the end of 1980's. Concurrently, while celebrating the 30 years of FMT in Finland, the workshop aspires to be a venue for displaying the current state-of-art of research in FMT globally.

The meeting will consist of three keynote lectures, several contributed talks, and plenty of time for collaboration spread over a three day period. The workshop aspires for an intimate and relaxed atmosphere in the spirit of Dagstuhl seminars. Tentative keynote speakers: Anuj Dawar  (University of Cambridge), Phokion G. Kolaitis  (University of California Santa Cruz and IBM Research) and Jouko Väänänen (University of Helsinki and University of Amsterdam).

The ERC-Starting Grant Truth and Semantics (TRUST 803684) at the University of Bristol, together with dr. Johannes Korbmacher (University of Utrecht), is organizing a two-day workshop on truthmaking, semantical grounding, and paradoxes. The workshop will be held in person in Bristol (UK) on August 22-23, 2022.

The aim of the conference is twofold. On the one hand, we would like to investigate the role that various forms of truthmaking semantics and semantical grounding can have in diagnosing the problematic nature of paradoxes (including, but not limited to, semantic paradoxes, paradoxes of vagueness, paradoxes of conditionals…), and how they can be used to generate possible solutions to them; and, on the other hand, we would like to study paradoxes of truthmaking or paradoxes of semantic grounding.

DubDial will be the 26th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2022 the workshop will be hosted by the Information, Communication and Entertainment Research Institute at Technological University Dublin, Ireland and the SFI ADAPT Research Centre. There will also be an online component for those who cannot travel to Dublin.

This year, there will be a guiding theme for the conference: Interactivism. The interactivist model (Bickhard, 2009) offers a new dynamic approach to understanding language, communication, and cognition. Across many disciplines, from philosophy to neuroscience and robotics, there is recognition that explanations of life and mind need to be grounded in the physics of far-from-equilibrium, interactive systems. From this starting point, explanations have been developed for phenomena ranging from representation, perception, and action to motivation, memory, learning and development, emotions, consciousness, rationality, sociality, personality and psychopathology. This work has yet to develop interfaces with studies of specific phenomena in dialogue modelling and our purpose is to open the discussion on how dialogue researchers can take advantage of this and related perspectives like Enactivism and Ecological Psychology.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2022 will be co-located with the Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022).

The HHU Summer School 'Philosophy of Mathematics Beyond the Armchair?!' aims at gathering young scholars with an interest into the philosophy of mathematics who want to explore new and innovative methodologies. Current trends show that philosophers of mathematics see the potential in applying various methods from other disciplines such as large corpus analyses, interview studies, or psychological experiments. We offer a platform to educate the upcoming generation in those methods. It should be noted that those methods are in principle valuable for other fields of philosophy as well.

During five days, the schedule will be split into a morning and afternoon session in which internationally highly reputed lecturers offer courses presenting their methods of expertise. The students will have the possibility to apply the methods and study the practical details. In some evening lectures, we will reflect on the limits and potential of empirical methods for the philosophy of mathematics together with prominent philosophers of mathematics. Further, a social get-together and an afternoon excursion is planned to guarantee exchange between the participants.

This international workshop celebrates the past 30 years of active research in the area of Finite Model Theory (FMT) in Finland. Research in FMT in Finland began due to the joint efforts of Phokion G. Kolaitis and Jouko Väänänen in the end of 1980's. Concurrently, while celebrating the 30 years of FMT in Finland, the workshop aspires to be a venue for displaying the current state-of-art of research in FMT globally.

The meeting will consist of three keynote lectures, several contributed talks, and plenty of time for collaboration spread over a three day period. The workshop aspires for an intimate and relaxed atmosphere in the spirit of Dagstuhl seminars. Tentative keynote speakers: Anuj Dawar  (University of Cambridge), Phokion G. Kolaitis  (University of California Santa Cruz and IBM Research) and Jouko Väänänen (University of Helsinki and University of Amsterdam).

The ERC-Starting Grant Truth and Semantics (TRUST 803684) at the University of Bristol, together with dr. Johannes Korbmacher (University of Utrecht), is organizing a two-day workshop on truthmaking, semantical grounding, and paradoxes. The workshop will be held in person in Bristol (UK) on August 22-23, 2022.

The aim of the conference is twofold. On the one hand, we would like to investigate the role that various forms of truthmaking semantics and semantical grounding can have in diagnosing the problematic nature of paradoxes (including, but not limited to, semantic paradoxes, paradoxes of vagueness, paradoxes of conditionals…), and how they can be used to generate possible solutions to them; and, on the other hand, we would like to study paradoxes of truthmaking or paradoxes of semantic grounding.

DubDial will be the 26th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2022 the workshop will be hosted by the Information, Communication and Entertainment Research Institute at Technological University Dublin, Ireland and the SFI ADAPT Research Centre. There will also be an online component for those who cannot travel to Dublin.

This year, there will be a guiding theme for the conference: Interactivism. The interactivist model (Bickhard, 2009) offers a new dynamic approach to understanding language, communication, and cognition. Across many disciplines, from philosophy to neuroscience and robotics, there is recognition that explanations of life and mind need to be grounded in the physics of far-from-equilibrium, interactive systems. From this starting point, explanations have been developed for phenomena ranging from representation, perception, and action to motivation, memory, learning and development, emotions, consciousness, rationality, sociality, personality and psychopathology. This work has yet to develop interfaces with studies of specific phenomena in dialogue modelling and our purpose is to open the discussion on how dialogue researchers can take advantage of this and related perspectives like Enactivism and Ecological Psychology.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2022 will be co-located with the Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022).

The HHU Summer School 'Philosophy of Mathematics Beyond the Armchair?!' aims at gathering young scholars with an interest into the philosophy of mathematics who want to explore new and innovative methodologies. Current trends show that philosophers of mathematics see the potential in applying various methods from other disciplines such as large corpus analyses, interview studies, or psychological experiments. We offer a platform to educate the upcoming generation in those methods. It should be noted that those methods are in principle valuable for other fields of philosophy as well.

During five days, the schedule will be split into a morning and afternoon session in which internationally highly reputed lecturers offer courses presenting their methods of expertise. The students will have the possibility to apply the methods and study the practical details. In some evening lectures, we will reflect on the limits and potential of empirical methods for the philosophy of mathematics together with prominent philosophers of mathematics. Further, a social get-together and an afternoon excursion is planned to guarantee exchange between the participants.

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

DubDial will be the 26th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2022 the workshop will be hosted by the Information, Communication and Entertainment Research Institute at Technological University Dublin, Ireland and the SFI ADAPT Research Centre. There will also be an online component for those who cannot travel to Dublin.

This year, there will be a guiding theme for the conference: Interactivism. The interactivist model (Bickhard, 2009) offers a new dynamic approach to understanding language, communication, and cognition. Across many disciplines, from philosophy to neuroscience and robotics, there is recognition that explanations of life and mind need to be grounded in the physics of far-from-equilibrium, interactive systems. From this starting point, explanations have been developed for phenomena ranging from representation, perception, and action to motivation, memory, learning and development, emotions, consciousness, rationality, sociality, personality and psychopathology. This work has yet to develop interfaces with studies of specific phenomena in dialogue modelling and our purpose is to open the discussion on how dialogue researchers can take advantage of this and related perspectives like Enactivism and Ecological Psychology.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2022 will be co-located with the Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022).

The HHU Summer School 'Philosophy of Mathematics Beyond the Armchair?!' aims at gathering young scholars with an interest into the philosophy of mathematics who want to explore new and innovative methodologies. Current trends show that philosophers of mathematics see the potential in applying various methods from other disciplines such as large corpus analyses, interview studies, or psychological experiments. We offer a platform to educate the upcoming generation in those methods. It should be noted that those methods are in principle valuable for other fields of philosophy as well.

During five days, the schedule will be split into a morning and afternoon session in which internationally highly reputed lecturers offer courses presenting their methods of expertise. The students will have the possibility to apply the methods and study the practical details. In some evening lectures, we will reflect on the limits and potential of empirical methods for the philosophy of mathematics together with prominent philosophers of mathematics. Further, a social get-together and an afternoon excursion is planned to guarantee exchange between the participants.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2022 will be co-located with the Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022).

The HHU Summer School 'Philosophy of Mathematics Beyond the Armchair?!' aims at gathering young scholars with an interest into the philosophy of mathematics who want to explore new and innovative methodologies. Current trends show that philosophers of mathematics see the potential in applying various methods from other disciplines such as large corpus analyses, interview studies, or psychological experiments. We offer a platform to educate the upcoming generation in those methods. It should be noted that those methods are in principle valuable for other fields of philosophy as well.

During five days, the schedule will be split into a morning and afternoon session in which internationally highly reputed lecturers offer courses presenting their methods of expertise. The students will have the possibility to apply the methods and study the practical details. In some evening lectures, we will reflect on the limits and potential of empirical methods for the philosophy of mathematics together with prominent philosophers of mathematics. Further, a social get-together and an afternoon excursion is planned to guarantee exchange between the participants.

Logics and strategic reasoning play a central role in multi-agent systems. Logics can be used, for instance, to express the agents’ abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behaviour for the agents of the system. At the intersection, we find logics that can express existence of strategies or equilibria, and can be used to reason about them.

The LAMAS&SR workshop merges two international workshops: LAMAS (Logical Aspects of Multi-Agent Systems), which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR (Strategic Reasoning), devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. LAMAS&SR 2022 will be an event co-located with the 14th International Conference on Advances In Modal Logic (AiML 2022, 22-25 August).

The HHU Summer School 'Philosophy of Mathematics Beyond the Armchair?!' aims at gathering young scholars with an interest into the philosophy of mathematics who want to explore new and innovative methodologies. Current trends show that philosophers of mathematics see the potential in applying various methods from other disciplines such as large corpus analyses, interview studies, or psychological experiments. We offer a platform to educate the upcoming generation in those methods. It should be noted that those methods are in principle valuable for other fields of philosophy as well.

During five days, the schedule will be split into a morning and afternoon session in which internationally highly reputed lecturers offer courses presenting their methods of expertise. The students will have the possibility to apply the methods and study the practical details. In some evening lectures, we will reflect on the limits and potential of empirical methods for the philosophy of mathematics together with prominent philosophers of mathematics. Further, a social get-together and an afternoon excursion is planned to guarantee exchange between the participants.

Logics and strategic reasoning play a central role in multi-agent systems. Logics can be used, for instance, to express the agents’ abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behaviour for the agents of the system. At the intersection, we find logics that can express existence of strategies or equilibria, and can be used to reason about them.

The LAMAS&SR workshop merges two international workshops: LAMAS (Logical Aspects of Multi-Agent Systems), which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR (Strategic Reasoning), devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. LAMAS&SR 2022 will be an event co-located with the 14th International Conference on Advances In Modal Logic (AiML 2022, 22-25 August).

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 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 topic of bilateralism - situated in the area of proof-theoretic semantics - has received considerable attention in the area of philosophical logic within the past years. According to proof-theoretic semantics the meaning of the logical connectives is determined by the rules of inference governing their use in proofs. In this context bilateralism demands an equal consideration of dual concepts like truth and falsity, assertion and denial, or proof and refutation in that they should both be taken as primitive concepts, i.e., not reducible to each other.

Any papers related to bilateralism in the context of proof-theoretic semantics are welcome.  Papers should be prepared according to the general submission rules (see here) and submitted via the editorial platform of the Bulletin of the Section of Logic by selecting the article type Special Issue - Bilateralism and Proof-Theoretic Semantics. Guest Editor: Sara Ayhan (Ruhr University Bochum).

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.