The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics.

Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers.  Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.

At the JOWO 2020 "The Bolzano Summer of Knowledge" Edition, workshops and tutorials will be taking place virtually between August 31st and October 7th 2020, and will be affiliated with the conferences EKAW, FOIS, and ICBO.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

The Centrum Wiskunde & Informatica (CWI) of the NWO Institute Organisation and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam were organizing a symposium on the occasion of the retirement of Jos Baeten as general director of CWI and professor of theory of computing of ILLC on Thursday 1 October 2020.

The symposium had to be cancelled because of tighter coronavirus   restrictions in the Netherlands.

AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field

The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics.

Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers.  Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.

At the JOWO 2020 "The Bolzano Summer of Knowledge" Edition, workshops and tutorials will be taking place virtually between August 31st and October 7th 2020, and will be affiliated with the conferences EKAW, FOIS, and ICBO.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics.

Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers.  Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.

At the JOWO 2020 "The Bolzano Summer of Knowledge" Edition, workshops and tutorials will be taking place virtually between August 31st and October 7th 2020, and will be affiliated with the conferences EKAW, FOIS, and ICBO.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics.

Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers.  Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.

At the JOWO 2020 "The Bolzano Summer of Knowledge" Edition, workshops and tutorials will be taking place virtually between August 31st and October 7th 2020, and will be affiliated with the conferences EKAW, FOIS, and ICBO.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics.

Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers.  Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.

At the JOWO 2020 "The Bolzano Summer of Knowledge" Edition, workshops and tutorials will be taking place virtually between August 31st and October 7th 2020, and will be affiliated with the conferences EKAW, FOIS, and ICBO.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics.

Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers.  Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.

At the JOWO 2020 "The Bolzano Summer of Knowledge" Edition, workshops and tutorials will be taking place virtually between August 31st and October 7th 2020, and will be affiliated with the conferences EKAW, FOIS, and ICBO.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

The Joint Ontology WOrkshops (JOWO) is a venue of workshops that, together, address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics.

Workshops and tutorials at JOWO 2020 are events whose scientific program is independently established by the workshop organizers.  Workshops can be events that provide a forum for the discussion of topics broadly related to ontologies, formal ontology, and knowledge management and their application in information science or other areas. JOWO is especially suitable for interdisciplinary and innovative formats.

At the JOWO 2020 "The Bolzano Summer of Knowledge" Edition, workshops and tutorials will be taking place virtually between August 31st and October 7th 2020, and will be affiliated with the conferences EKAW, FOIS, and ICBO.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

We are in the reality of natural and computational systems of argumentation provided by reasoning, with natural and artificial languages. Intelligent systems of argumentation target advanced methods for exchanging, saving, reasoning, accessing, and updating information in memory. There will be a Special Session on Natural Language and Argumentation 2020 (NLA'20) at DCAI'20, the 17th International Conference on Distributed Computing and Artificial Intelligence. This special session will cover both theories and applications.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.

Invited Speakers: Natasha Alechina and Johan van Benthem.

Given the worsening epidemiological situation, the organizers have decided to hold DaLi as an online workshop via Zoom.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.

Invited Speakers: Natasha Alechina and Johan van Benthem.

Given the worsening epidemiological situation, the organizers have decided to hold DaLi as an online workshop via Zoom.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

The Mathematical Institute of the Georg-August-University Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation" as an online event. This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, The Axioms of Zermelo and Fraenkel, Recursion and Complexity and Connexive logic. Students may anticipate a high professional outcome in a dedicated international environment.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

The Mathematical Institute of the Georg-August-University Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation" as an online event. This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, The Axioms of Zermelo and Fraenkel, Recursion and Complexity and Connexive logic. Students may anticipate a high professional outcome in a dedicated international environment.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

The Mathematical Institute of the Georg-August-University Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation" as an online event. This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, The Axioms of Zermelo and Fraenkel, Recursion and Complexity and Connexive logic. Students may anticipate a high professional outcome in a dedicated international environment.

Probability and Meaning (PaM) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP).  PaM will bring together researchers interested in computationally relevant probabilistic approaches to natural language meaning. PaM will include symbolic, machine learning and experimental approaches to this task, as well as hybrid models.

After careful consideration of the pandemic situation, the conference is moving online. The registration for PaM2020 is now open and free.

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

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

A number of satellite workshops will take place before the main conferences. TACAS '21 will also host the 10th Competition on Software Verification (SV-COMP).

Due to the ongoing COVID-19 pandemic, ETAPS 2021 will take place virtually only.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

The Mathematical Institute of the Georg-August-University Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation" as an online event. This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, The Axioms of Zermelo and Fraenkel, Recursion and Complexity and Connexive logic. Students may anticipate a high professional outcome in a dedicated international environment.

Probability and Meaning (PaM) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP).  PaM will bring together researchers interested in computationally relevant probabilistic approaches to natural language meaning. PaM will include symbolic, machine learning and experimental approaches to this task, as well as hybrid models.

After careful consideration of the pandemic situation, the conference is moving online. The registration for PaM2020 is now open and free.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

The Mathematical Institute of the Georg-August-University Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation" as an online event. This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, The Axioms of Zermelo and Fraenkel, Recursion and Complexity and Connexive logic. Students may anticipate a high professional outcome in a dedicated international environment.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

LATA is a conference series on theoretical computer science and its applications. LATA 2020 & 2021 will consist of invited talks and peer-reviewed contributions, and reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

LATA 2020 & 2021 will merge the scheduled program for LATA 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.

Keynote speakers: Eric Allender (Rutgers University),  Laure Daviaud (City, University of London), Christoph Haase (University College London), Artur Jeż (University of Wrocław), Jean-Éric Pin (CNRS), and Thomas Place (University of Bordeaux).

Invited Speakers: Natasha Alechina, Ekaterina Komendantskaya, Samvel K. Shoukourian and Ilya Sergey. In addition there will be one invited industrial talk from Leading Research Center for Blockchain Technology of Innopolis University, which will be presented by Leonid Merkin, and a panel discussion on (experimental and industrial) contemporary programming languages.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. Established in 1998, the aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

ATVA 2020 is the 18th in the ATVA series of symposia intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field.

Invited speakers: Tobias Nipkow (Munich, Germany), Klaus Havelund (CalTech / NASA JPL) and David Dill (Standford, USA).

The conference will take place online in Hanoi in a conference room as scheduled, since Hanoi City is not locked-down. We are encouraging local participants to take part in the conference. We also warmly welcome all the international participants in the case that they are able to travel to the conference site. For those participants and speakers who are not able to come to the conference site, they can attend and deliver their lectures/talks online.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

ATVA 2020 is the 18th in the ATVA series of symposia intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field.

Invited speakers: Tobias Nipkow (Munich, Germany), Klaus Havelund (CalTech / NASA JPL) and David Dill (Standford, USA).

The conference will take place online in Hanoi in a conference room as scheduled, since Hanoi City is not locked-down. We are encouraging local participants to take part in the conference. We also warmly welcome all the international participants in the case that they are able to travel to the conference site. For those participants and speakers who are not able to come to the conference site, they can attend and deliver their lectures/talks online.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

ATVA 2020 is the 18th in the ATVA series of symposia intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field.

Invited speakers: Tobias Nipkow (Munich, Germany), Klaus Havelund (CalTech / NASA JPL) and David Dill (Standford, USA).

The conference will take place online in Hanoi in a conference room as scheduled, since Hanoi City is not locked-down. We are encouraging local participants to take part in the conference. We also warmly welcome all the international participants in the case that they are able to travel to the conference site. For those participants and speakers who are not able to come to the conference site, they can attend and deliver their lectures/talks online.

Paradoxes seized the attention of logicians in the middle ages, and were used both as tests for the viability of theories of logic, language, epistemology, and possibly every philosophical issue, and also in the specific genre of insolubles as needing a theoretical solution, usually involving issues about signification, truth, knowledge and modality. Numerous theories were developed, not only in the Latin West, but also in the Islamic world and in the Byzantine tradition. Some of these theories are well known, others barely investigated, if at all. This workshop is an opportunity to discuss and contrast a range of these theories and consider their advantages and drawbacks, and their relation to more recent theories of paradox and antinomy.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

ATVA 2020 is the 18th in the ATVA series of symposia intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field.

Invited speakers: Tobias Nipkow (Munich, Germany), Klaus Havelund (CalTech / NASA JPL) and David Dill (Standford, USA).

The conference will take place online in Hanoi in a conference room as scheduled, since Hanoi City is not locked-down. We are encouraging local participants to take part in the conference. We also warmly welcome all the international participants in the case that they are able to travel to the conference site. For those participants and speakers who are not able to come to the conference site, they can attend and deliver their lectures/talks online.

Paradoxes seized the attention of logicians in the middle ages, and were used both as tests for the viability of theories of logic, language, epistemology, and possibly every philosophical issue, and also in the specific genre of insolubles as needing a theoretical solution, usually involving issues about signification, truth, knowledge and modality. Numerous theories were developed, not only in the Latin West, but also in the Islamic world and in the Byzantine tradition. Some of these theories are well known, others barely investigated, if at all. This workshop is an opportunity to discuss and contrast a range of these theories and consider their advantages and drawbacks, and their relation to more recent theories of paradox and antinomy.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

ATVA 2020 is the 18th in the ATVA series of symposia intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field.

Invited speakers: Tobias Nipkow (Munich, Germany), Klaus Havelund (CalTech / NASA JPL) and David Dill (Standford, USA).

The conference will take place online in Hanoi in a conference room as scheduled, since Hanoi City is not locked-down. We are encouraging local participants to take part in the conference. We also warmly welcome all the international participants in the case that they are able to travel to the conference site. For those participants and speakers who are not able to come to the conference site, they can attend and deliver their lectures/talks online.

Paradoxes seized the attention of logicians in the middle ages, and were used both as tests for the viability of theories of logic, language, epistemology, and possibly every philosophical issue, and also in the specific genre of insolubles as needing a theoretical solution, usually involving issues about signification, truth, knowledge and modality. Numerous theories were developed, not only in the Latin West, but also in the Islamic world and in the Byzantine tradition. Some of these theories are well known, others barely investigated, if at all. This workshop is an opportunity to discuss and contrast a range of these theories and consider their advantages and drawbacks, and their relation to more recent theories of paradox and antinomy.

The European Network for the Philosophy of Language and Mind (PLM) organizes a workshop on Delusion in Language and Mind at the ILLC/University of Amsterdam, October 23--24.

The workshop includes 8 presentations on the subject plus detailed commentaries on the papers, both by expert members of the network. The workshop will be held on-line and on-location, if the situation permits.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

The European Network for the Philosophy of Language and Mind (PLM) organizes a workshop on Delusion in Language and Mind at the ILLC/University of Amsterdam, October 23--24.

The workshop includes 8 presentations on the subject plus detailed commentaries on the papers, both by expert members of the network. The workshop will be held on-line and on-location, if the situation permits.

Humanities Bulletin is a multidisciplinary peer-reviewed Journal which features original studies and reviews in the various branches of Humanities, including History, Literature, Philosophy, Arts.
This journal is not allied with any specific school of thinking or cultural tradition; instead, it encourages dialogue between ideas and people with different points of view. Our aim is to bring together different international scholars, in order to promote the dialogue between cultures, ideas and new academic researches.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

Automated planning is of central concern in high-level symbolic AI research, with applications in logistics, robotics and service composition. In the simple case of an agent operating in a known world, the output of a planner is just a sequence of actions to be performed to the effect that it achieves a desired goal state. Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge.

Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine the state of the art from all three areas.

Due to the Corona crisis this conference has been rescheduled for fall 2020.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge. Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning.

ZJULogAI 2020 (CLAR, AWPL, and GCAI) will take place as a three-day online event using Zoom on October 26 (Day 1), October 30 (Day 2), and November 2 (Day 3), 2020.

With their special focus theme on Explainable AI, the conferences:
 - CLAR2020 (Conference on Logic and Argumentation)
 - AWPL2020 (Asian Workshop on Philosophical Logic)
 - GCAI2020 (Global Conference on Artificial Intelligence)
intend to promote the interplay between logical approaches and machine learning-based approaches in order to make AI more transparent and accountable.

Automated planning is of central concern in high-level symbolic AI research, with applications in logistics, robotics and service composition. In the simple case of an agent operating in a known world, the output of a planner is just a sequence of actions to be performed to the effect that it achieves a desired goal state. Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge.

Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine the state of the art from all three areas.

Due to the Corona crisis this conference has been rescheduled for fall 2020.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge. Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning.

ZJULogAI 2020 (CLAR, AWPL, and GCAI) will take place as a three-day online event using Zoom on October 26 (Day 1), October 30 (Day 2), and November 2 (Day 3), 2020.

With their special focus theme on Explainable AI, the conferences:
 - CLAR2020 (Conference on Logic and Argumentation)
 - AWPL2020 (Asian Workshop on Philosophical Logic)
 - GCAI2020 (Global Conference on Artificial Intelligence)
intend to promote the interplay between logical approaches and machine learning-based approaches in order to make AI more transparent and accountable.

Automated planning is of central concern in high-level symbolic AI research, with applications in logistics, robotics and service composition. In the simple case of an agent operating in a known world, the output of a planner is just a sequence of actions to be performed to the effect that it achieves a desired goal state. Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge.

Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine the state of the art from all three areas.

Due to the Corona crisis this conference has been rescheduled for fall 2020.

Because of the coronavirus, we unfortunately won?t be able to meet in person. But we plan to have a virtual version of the workshop via Zoom. We hope that even though we can't have the usual nice meals, we will be able to do some good philosophy of math together as usual. The plan is to meet for several Wednesday afternoons in a row ('afternoon' from the point of view of the Eastern US time zone) during the month of October. Typical sessions will consist of two talks, with the details to be firmed up as the program takes shape.

Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge. Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning.

ZJULogAI 2020 (CLAR, AWPL, and GCAI) will take place as a three-day online event using Zoom on October 26 (Day 1), October 30 (Day 2), and November 2 (Day 3), 2020.

With their special focus theme on Explainable AI, the conferences:
 - CLAR2020 (Conference on Logic and Argumentation)
 - AWPL2020 (Asian Workshop on Philosophical Logic)
 - GCAI2020 (Global Conference on Artificial Intelligence)
intend to promote the interplay between logical approaches and machine learning-based approaches in order to make AI more transparent and accountable.

Automated planning is of central concern in high-level symbolic AI research, with applications in logistics, robotics and service composition. In the simple case of an agent operating in a known world, the output of a planner is just a sequence of actions to be performed to the effect that it achieves a desired goal state. Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge.

Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine the state of the art from all three areas.

Due to the Corona crisis this conference has been rescheduled for fall 2020.

Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge. Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning.

ZJULogAI 2020 (CLAR, AWPL, and GCAI) will take place as a three-day online event using Zoom on October 26 (Day 1), October 30 (Day 2), and November 2 (Day 3), 2020.

With their special focus theme on Explainable AI, the conferences:
 - CLAR2020 (Conference on Logic and Argumentation)
 - AWPL2020 (Asian Workshop on Philosophical Logic)
 - GCAI2020 (Global Conference on Artificial Intelligence)
intend to promote the interplay between logical approaches and machine learning-based approaches in order to make AI more transparent and accountable.

UNILOG LOGIC PRIZE is an international initiative to award one prize per country to an original manuscript on logic. The spanish incarnation is open to all researchers who are (or have been in the last 10 years) affiliated with any university or research institution based in Spain, regardless of their position, nationality, gender or age. This includes not only professors and researchers from these institutions, but also current postgraduate students and doctors who presented their Ph. Dissertations less than 10 years ago.

Participants are asked to submit an original manuscript written in English, between 15 and 30 pages, on any topic that can be considered to be related to logic (according to the standards of the international logic community).

Automated planning is of central concern in high-level symbolic AI research, with applications in logistics, robotics and service composition. In the simple case of an agent operating in a known world, the output of a planner is just a sequence of actions to be performed to the effect that it achieves a desired goal state. Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge.

Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine the state of the art from all three areas.

Due to the Corona crisis this conference has been rescheduled for fall 2020.

Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge. Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning.

ZJULogAI 2020 (CLAR, AWPL, and GCAI) will take place as a three-day online event using Zoom on October 26 (Day 1), October 30 (Day 2), and November 2 (Day 3), 2020.

With their special focus theme on Explainable AI, the conferences:
 - CLAR2020 (Conference on Logic and Argumentation)
 - AWPL2020 (Asian Workshop on Philosophical Logic)
 - GCAI2020 (Global Conference on Artificial Intelligence)
intend to promote the interplay between logical approaches and machine learning-based approaches in order to make AI more transparent and accountable.

The historical consensus seems to be that logic is somehow special.The traditionally exceptional properties of logic are that it is purely formal, has normative force, and that logical evidence is both foundational and a priori. Anti-exceptionalism about logic (AEL) is the denial of at least one of these properties. Our hope is that this Topical Collection advances the area of research, concentrating particularly on four important themes: Properties of Logic, Logical Methodology, Metaphysics of Logic, and Objections.

Guest Editors: Filippo Ferrari (University of Padua), Ben Martin (University of Bergen), Maria Paola Sforza Fogliani (School for Advanced Studies IUSS Pavia).

ZJULogAI 2020 (CLAR, AWPL, and GCAI) will take place as a three-day online event using Zoom on October 26 (Day 1), October 30 (Day 2), and November 2 (Day 3), 2020.

With their special focus theme on Explainable AI, the conferences:
 - CLAR2020 (Conference on Logic and Argumentation)
 - AWPL2020 (Asian Workshop on Philosophical Logic)
 - GCAI2020 (Global Conference on Artificial Intelligence)
intend to promote the interplay between logical approaches and machine learning-based approaches in order to make AI more transparent and accountable.