Epistemic planning is the enrichment of automated planning with epistemic notions such as knowledge and belief. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine state of the art from several such sub-areas of artificial intelligence that have so far been considered mostly in separation. Epistemic planning has applications in game playing, human-robot interaction, social robotics, etc.

For this special issue of AIJ, we invite papers on theory, applications, and implemented systems of epistemic planning.

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers.

Just before and after the main WoLLIC 2019 event, Utrecht University will host two satellite workshops:
-Proof Theory in Logic on 1-2 July 2019. This workshop on the role of structural proof theory in the study of logics will consist of invited talks by researchers in that area.
-Compositionality in formal and distributional models of natural language semantics, on July 6 2019.

The 19th annual Philosophy of Logic, Mathematics, and Physics (LMP) Graduate Conference will take place on Monday-Tuesday, June 10-11, 2019, at the University of Western Ontario in London, Ontario, Canada. We are pleased to announce that David John Baker (the University of Michigan) will be giving the keynote address for this year's LMP.

The 23rd annual Philosophy of Physics Conference will be on the subject of quantum field theory and will immediately follow the LMP on Wednesday-Friday, June 12-14, 2019.

The 97th edition of the "Arbeitstagung Allgemeine Algebra" (Workshop on General Algebra, AAA) conference series is going to be held at Technische Universität Wien in Vienna, Austria. The conference topics include Universal Algebra, Connections with Model Theory, Lattices, Categories, Semigroups, Applications in Computer Science, Classical Algebra, and Interactions with Philosophy. The program will consist of five invited plenary lectures of one hour, as well as contributed talks of about 20-25 minutes held in up to three parallel sessions.

The 97th edition of the "Arbeitstagung Allgemeine Algebra" (Workshop on General Algebra, AAA) conference series is going to be held at Technische Universität Wien in Vienna, Austria. The conference topics include Universal Algebra, Connections with Model Theory, Lattices, Categories, Semigroups, Applications in Computer Science, Classical Algebra, and Interactions with Philosophy. The program will consist of five invited plenary lectures of one hour, as well as contributed talks of about 20-25 minutes held in up to three parallel sessions.

In association with ICLA 2019, a pre-conference workshop on Logic and Cognition will be held on March 2, 2019. The workshop will focus on applying modal logics to analyze psychological tasks involving mental states, in particular:
(I) the paradigmatic false belief tasks, and
(II) higher order social reasoning tasks involving strategic games.

Speakers:
- Rohit Parikh (CUNY, USA)
- Torben Braüner (Roskilde University, Denmark)
- Sujata Ghosh (ISI Chennai, India)

The 97th edition of the "Arbeitstagung Allgemeine Algebra" (Workshop on General Algebra, AAA) conference series is going to be held at Technische Universität Wien in Vienna, Austria. The conference topics include Universal Algebra, Connections with Model Theory, Lattices, Categories, Semigroups, Applications in Computer Science, Classical Algebra, and Interactions with Philosophy. The program will consist of five invited plenary lectures of one hour, as well as contributed talks of about 20-25 minutes held in up to three parallel sessions.

ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition and historical research on logic.

The goal of this workshop is to bring together people interested in structured representations of semantic information, especially from a computational perspective. In recent years, there has been a growing body of research which aims to integrate structured entities into formal semantic accounts. Important developments in this direction are the introduction of rich type systems and the use of frame-based representations, among others. The workshop is open to both foundational issues of structured semantic representations and applications to specific linguistic phenomena.

ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition and historical research on logic.

ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition and historical research on logic.

Grice's first maxim of quality says "do not say what you believe to be false", but we often do. We tell lies ("I did not have sexual relations with that woman"), we deceive (e.g. by lying by implicature), we bullshit ("Trade wars are easy to win"), we make up stories ("When Harry Potter first came to Hogwarts …"), we pretend (Kids playing: "You were Batgirl and I was Wonder Woman"), or we use irony ("Losing the key was very smart!"). In all such speech acts there is a clear sense in which we're not, or at least not literally, speaking the truth. In this workshop we want to discuss the challenges that these and other deviations from the Gricean norm of quality pose for semantics and pragmatics and see if we can incorporate ideas from philosophy, literary theory, cognitive science and other related fields to extend the coverage of our theories of meaning and our understanding of the dynamics and logic of (non-)cooperative conversation.

Invited speakers: Regine Eckardt (Konstanz) and Jörg Meibauer (Mainz). Organized by Daniel Gutzmann (Cologne), Emar Maier (Groningen), and Katharina Turgay (Landau).

A workshop affiliated with the 13th International Conference on Computational Semantics (IWCS 2019)

Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics.

Invited speakers: Krasimir Angelov (Gothenburg), Rafaella Bernardi, (Trento).

Grice's first maxim of quality says "do not say what you believe to be false", but we often do. We tell lies ("I did not have sexual relations with that woman"), we deceive (e.g. by lying by implicature), we bullshit ("Trade wars are easy to win"), we make up stories ("When Harry Potter first came to Hogwarts …"), we pretend (Kids playing: "You were Batgirl and I was Wonder Woman"), or we use irony ("Losing the key was very smart!"). In all such speech acts there is a clear sense in which we're not, or at least not literally, speaking the truth. In this workshop we want to discuss the challenges that these and other deviations from the Gricean norm of quality pose for semantics and pragmatics and see if we can incorporate ideas from philosophy, literary theory, cognitive science and other related fields to extend the coverage of our theories of meaning and our understanding of the dynamics and logic of (non-)cooperative conversation.

Invited speakers: Regine Eckardt (Konstanz) and Jörg Meibauer (Mainz). Organized by Daniel Gutzmann (Cologne), Emar Maier (Groningen), and Katharina Turgay (Landau).

Confirmed speakers:
* Roy Sorensen (Washington University, St. Louis)
* Catarina Dutilh Novaes (Vrije Universiteit Amsterdam)
* Catrin Campbell-Moore (Bristol University)

Grice's first maxim of quality says "do not say what you believe to be false", but we often do. We tell lies ("I did not have sexual relations with that woman"), we deceive (e.g. by lying by implicature), we bullshit ("Trade wars are easy to win"), we make up stories ("When Harry Potter first came to Hogwarts …"), we pretend (Kids playing: "You were Batgirl and I was Wonder Woman"), or we use irony ("Losing the key was very smart!"). In all such speech acts there is a clear sense in which we're not, or at least not literally, speaking the truth. In this workshop we want to discuss the challenges that these and other deviations from the Gricean norm of quality pose for semantics and pragmatics and see if we can incorporate ideas from philosophy, literary theory, cognitive science and other related fields to extend the coverage of our theories of meaning and our understanding of the dynamics and logic of (non-)cooperative conversation.

Invited speakers: Regine Eckardt (Konstanz) and Jörg Meibauer (Mainz). Organized by Daniel Gutzmann (Cologne), Emar Maier (Groningen), and Katharina Turgay (Landau).

Heyting Day 2019 is devoted to Frege’s momentous philosophical paper Der Gedanke (1918-1919), which addresses such fundamental questions as 'What is truth? What is meaning? How can thoughts be shared?' The talks organised on Heyting Day provide historical background and illustrate how Frege’s work is still relevant to
the lively contemporary debate.

The conference is concerned with the theory of computability and complexity over real-valued data.

Most mathematical models in physics and engineering are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

The conference CCA 2019 is followed by the conference Computability in Europe (CiE 2019).

We are going to exceed the boundaries of mathematics again, and examine issues surrounding mathematics and its pedagogy together with researchers from all over the world who represent not only different scientific disciplines, but also different cultures, and thus may bring fresh perspectives to our discussions. We warmly invite especially mathematicians, mathematics educators, psychologists, philosophers and teachers of mathematics who are interested in transforming mathematics education and making it better for all the students.

The conference program will include plenary lectures, extended presentations, thematic working sessions, workshops and a poster session.

We are going to exceed the boundaries of mathematics again, and examine issues surrounding mathematics and its pedagogy together with researchers from all over the world who represent not only different scientific disciplines, but also different cultures, and thus may bring fresh perspectives to our discussions. We warmly invite especially mathematicians, mathematics educators, psychologists, philosophers and teachers of mathematics who are interested in transforming mathematics education and making it better for all the students.

The conference program will include plenary lectures, extended presentations, thematic working sessions, workshops and a poster session.

The aim of the workshop is to bring together researchers from two related fields in dynamic games: graph games and stochastic games. Despite clear differences in the emphasis, these two fields share a number of research goals, study related models, and use similar proof techniques. There is a scope for an interdisciplinary collaboration between researchers in different fields including computer science, economics, mathematics, and logic. The workshop is called for to serve as a forum for such collaboration.

The workshop has a wide scope, and covers amongst others the following areas:
- theoretical advances in graph and stochastic games
- algorithms and computational complexity in these games
- applications in computer science, economics, mathematics, biology, and physics

It?s an honor and a pleasure to host Frances Egan and Robert Matthews in Bochum to deliver the next Rudolf-Carnap-Lecture series. They will present two talks each, as always in the context of a Graduate workshop where several PhD students and Postdocs will also have the chance to present their ideas on themes associated with the topics of the lectures.

FG 2019 is the 24th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2019, will take place at University of Latvia, Riga, Latvia. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

The Edelstein Center and the Bergmann Center at the Hebrew University of Jerusalem are happy to announce a workshop on aspects of language representation. The workshop concerns approaches to the representation of linguistic expressions and their implications on issues in logic, semantics and computability theory.

Participants include: Nachum Dershowitz (Tel Aviv University), Michael Goldboim (Tel Aviv University), Balthasar Grabmayr (HU Berlin), David Kashtan (Hebrew University of Jerusalem), Carlo Nicolai (King's College London), Paula Quinon (Lund University), Gil Sagi (Haifa University) and Stewart Shapiro (Ohio State).

We are going to exceed the boundaries of mathematics again, and examine issues surrounding mathematics and its pedagogy together with researchers from all over the world who represent not only different scientific disciplines, but also different cultures, and thus may bring fresh perspectives to our discussions. We warmly invite especially mathematicians, mathematics educators, psychologists, philosophers and teachers of mathematics who are interested in transforming mathematics education and making it better for all the students.

The conference program will include plenary lectures, extended presentations, thematic working sessions, workshops and a poster session.

The aim of the workshop is to bring together researchers from two related fields in dynamic games: graph games and stochastic games. Despite clear differences in the emphasis, these two fields share a number of research goals, study related models, and use similar proof techniques. There is a scope for an interdisciplinary collaboration between researchers in different fields including computer science, economics, mathematics, and logic. The workshop is called for to serve as a forum for such collaboration.

The workshop has a wide scope, and covers amongst others the following areas:
- theoretical advances in graph and stochastic games
- algorithms and computational complexity in these games
- applications in computer science, economics, mathematics, biology, and physics

It?s an honor and a pleasure to host Frances Egan and Robert Matthews in Bochum to deliver the next Rudolf-Carnap-Lecture series. They will present two talks each, as always in the context of a Graduate workshop where several PhD students and Postdocs will also have the chance to present their ideas on themes associated with the topics of the lectures.

We are going to exceed the boundaries of mathematics again, and examine issues surrounding mathematics and its pedagogy together with researchers from all over the world who represent not only different scientific disciplines, but also different cultures, and thus may bring fresh perspectives to our discussions. We warmly invite especially mathematicians, mathematics educators, psychologists, philosophers and teachers of mathematics who are interested in transforming mathematics education and making it better for all the students.

The conference program will include plenary lectures, extended presentations, thematic working sessions, workshops and a poster session.

The goal of this interdisciplinary meeting is to explore philosophical and historical issues that arise at the intersection of theoretical computer science, mathematics, and natural science, including issues that arise in the practice of those disciplines.

Conference topics include: the history of computer science; the foundations of computation and mathematical cognition; computational and informational perspectives on scientific decision making, scientific methodology, and the characterisation of scientific theories; physical notions of computation and the 'Physical Church-Turing Thesis'.

The goal of the NUMTA2019 Conference is to create a multidisciplinary round table for an open discussion on numerical modeling nature by using traditional and emerging computational paradigms. The Conference (including also special streams and sessions) will discuss all aspects of numerical computations and modeling from foundations and philosophy to advanced numerical techniques. New technological challenges and fundamental ideas from theoretical computer science, linguistic, logic, set theory, and philosophy will meet requirements and new fresh applications from physics, chemistry, biology, and economy.

Together with regular presentations at the Conference there will be the Summer School offering tutorials and discussion sections covering the topics of the Conference.

Everyday human decision making involves various kinds of non-classical reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. These types of reasoning usually show two intertwined aspects, an ampliative aspect (augmenting the underlying reasoning by allowing more conclusions) and a defeasible aspect (curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned). Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. But despite the progress that has been achieved, large avenues remain open for exploration.

DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

In honor of the 70th birthday of Professor Mic Detlefsen, the University of Notre Dame will host a conference on twin themes in Detlefsen's work: Purity and Idealization in the Philosophy of Mathematics. All are welcome.

The ALT 2019 conference is dedicated to all theoretical and algorithmic aspects of machine learning.

In honor of the 70th birthday of Professor Mic Detlefsen, the University of Notre Dame will host a conference on twin themes in Detlefsen's work: Purity and Idealization in the Philosophy of Mathematics. All are welcome.

The ALT 2019 conference is dedicated to all theoretical and algorithmic aspects of machine learning.

The International Association for Computing and Philosophy promotes philosophical dialogue and interdisciplinary research on all aspects of the computational and informational turn. Coming to these issues from a rich variety of disciplines, IACAP's members have a tradition of helping to shape philosophical and ethical debates about the nature, development, application, and limits of computation, information technologies, and artificial intelligence.

IACAP's 2019 meeting will gather philosophers, mathematicians, ethicists, logicians, roboticists, computer scientists, and cognitive scientists to explore the conference topics.

This year the IACAP Annual Meeting will include a special, one-day track on research related to computing and epistemic logic, with special interest in concurrency; computing systems where multiple sequential computers or microprocessors interact.

The ALT 2019 conference is dedicated to all theoretical and algorithmic aspects of machine learning.

LATA is a conference series on theoretical computer science and its applications. LATA 2019 will 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 2019 will consist of invited talks and peer-reviewed contributions. Invited speakers: Henning Fernau (University of Trier), Edward A. Lee (University of California, Berkeley), Vadim Lozin (University of Warwick), From Words to Graphs, and Esko Ukkonen (University of Helsinki).

LATA is a conference series on theoretical computer science and its applications. LATA 2019 will 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 2019 will consist of invited talks and peer-reviewed contributions. Invited speakers: Henning Fernau (University of Trier), Edward A. Lee (University of California, Berkeley), Vadim Lozin (University of Warwick), From Words to Graphs, and Esko Ukkonen (University of Helsinki).

ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.

As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.

Due to the current situation regarding the Coronavirus, the physical meeting for EDBT/ICDT 2020 in Copenhagen has to be canceled. However, EDBT/ICDT 2020 as a conference is NOT canceled, but will be held as an online event.

LATA is a conference series on theoretical computer science and its applications. LATA 2019 will 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 2019 will consist of invited talks and peer-reviewed contributions. Invited speakers: Henning Fernau (University of Trier), Edward A. Lee (University of California, Berkeley), Vadim Lozin (University of Warwick), From Words to Graphs, and Esko Ukkonen (University of Helsinki).

The Symposium on Compositional Structures (SYCO) is an interdisciplinary series of meetings aiming to support the growing community of researchers interested in the phenomenon of compositionality, from both applied and abstract perspectives, and in particular where category theory serves as a unifying common language.  This new series aims to bring together the communities behind many previous successful events which have taken place over the last decade, including "Categories, Logic and Physics", "Categories, Logic and Physics (Scotland)", "Higher-Dimensional Rewriting and Applications", "String Diagrams in Computation, Logic and Physics", "Applied Category Theory", "Simons Workshop on Compositionality", and the "Peripatetic Seminar in Sheaves and Logic".

Invited speakers: Marie Kerjean (INRIA Bretagne Atlantique)  and Alessandra Palmigiano (Delft University of Technology and University of Johannesburg).

LATA is a conference series on theoretical computer science and its applications. LATA 2019 will 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 2019 will consist of invited talks and peer-reviewed contributions. Invited speakers: Henning Fernau (University of Trier), Edward A. Lee (University of California, Berkeley), Vadim Lozin (University of Warwick), From Words to Graphs, and Esko Ukkonen (University of Helsinki).

The Symposium on Compositional Structures (SYCO) is an interdisciplinary series of meetings aiming to support the growing community of researchers interested in the phenomenon of compositionality, from both applied and abstract perspectives, and in particular where category theory serves as a unifying common language.  This new series aims to bring together the communities behind many previous successful events which have taken place over the last decade, including "Categories, Logic and Physics", "Categories, Logic and Physics (Scotland)", "Higher-Dimensional Rewriting and Applications", "String Diagrams in Computation, Logic and Physics", "Applied Category Theory", "Simons Workshop on Compositionality", and the "Peripatetic Seminar in Sheaves and Logic".

Invited speakers: Marie Kerjean (INRIA Bretagne Atlantique)  and Alessandra Palmigiano (Delft University of Technology and University of Johannesburg).

LATA is a conference series on theoretical computer science and its applications. LATA 2019 will 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 2019 will consist of invited talks and peer-reviewed contributions. Invited speakers: Henning Fernau (University of Trier), Edward A. Lee (University of California, Berkeley), Vadim Lozin (University of Warwick), From Words to Graphs, and Esko Ukkonen (University of Helsinki).

Join us for an innovative 2-day conference on the nexus between Metaphor, Linguistic Diversity, and Creativity.

The conference will be structured around four themes. Each theme will be introduced in a keynote lecture, and developed in a plenary round-table discussion featuring selected panelists. Panelists will address general questions as well as questions raised by the audience. Moreover, two extensive Poster sessions will be dedicated to present specific studies related to the four themes.

Themes:
- Metaphor and Linguistic Diversity (keynote speaker: Lera Boroditsky)
- Metaphor and Emotion (keynote speaker: Zoltán Kövecse)
- Metaphor and Communication (keynote speaker: Gerard Steen)
- Metaphor and Creativity (keynote speaker: Rachel Giora)

Join us for an innovative 2-day conference on the nexus between Metaphor, Linguistic Diversity, and Creativity.

The conference will be structured around four themes. Each theme will be introduced in a keynote lecture, and developed in a plenary round-table discussion featuring selected panelists. Panelists will address general questions as well as questions raised by the audience. Moreover, two extensive Poster sessions will be dedicated to present specific studies related to the four themes.

Themes:
- Metaphor and Linguistic Diversity (keynote speaker: Lera Boroditsky)
- Metaphor and Emotion (keynote speaker: Zoltán Kövecse)
- Metaphor and Communication (keynote speaker: Gerard Steen)
- Metaphor and Creativity (keynote speaker: Rachel Giora)

Relational and algebraic methods belong to the core of computer science. This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) aims to showcase the variety and relevance of recent developments in this field ranging from theory to applications.

We invite submissions of high-quality original research articles in the general fields of algebras relevant to computer science and applications of such algebras. While we welcome substantially extended versions of papers published in the proceedings of the RAMiCS 2018 conference, this call is open to anyone interested in the field of relational and algebraic methods.

The history of the International Conference of Text, Speech and Dialogue (TSD) dates back to 1997 when the event was held for the first time, that time as an international workshop, in Mariánské Lázně. The essential idea behind the project was to establish a scientific meeting platform that would act as a bridge between the East and the West. Since then an uninterrupted row of the TSD conferences has been organised by Brno (even years) and Plzeň (odd years) crews.

TSD2019 will explore the topics in the field of speech and natural language processing, in particular:
corpora, texts, transcription, and translation;
speech analysis, recognition, and synthesis;
their intertwining within dialogue systems.

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.

PLS12 will have Special Sessions on Computer Science, Model Theory and Philosophy & Set Theory, as well as a Poster Session and a Mentoring Session.

The project “Forcing: Conceptual Change in the Foundations of Mathematics” (2018-2023) aims to analyse the development of modern set theory since the introduction of the forcing technique both from a historical and philosophical point of view. It brings together methods and research questions from different research areas in the history and philosophy of mathematics to investigate if and how the extensive use of the forcing method brought about a conceptual change in set theory; and in which ways this may influence the philosophy of set theory and the foundations of mathematics.

The research group organises a series of Networking Conferences with the goal of reaching out to researchers from these different areas. The second instalment will be devoted to the topic of recent set theory as a bridge between mathematics and philosophy and focuses on the interaction between mathematical and philosophical arguments and views in set theory. Set theory has long been both a mathematical discipline and a program with foundational motivations. It seems that this dual character makes it a natural crossway between mathematics and philosophy, possibly more so than other mathematical disciplines.