CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers: Hannes Diener (Christchurch, New Zealand) , Fabian Immler (Pittsburgh, USA), Florian Steinberg (Paris, France), Thomas Streicher (Darmstadt, France) and Holger Thies (Fukuoka, Japan). Tutorial Speaker: Helmut Schwichtenberg (Munich, Germany).

Over the past decades, important contributions to the mathematical and conceptual foundations of physical theories have been made within the philosophical community. Conversely, critical analysis of the formal structures of our best physical theories inform central philosophical concerns, and in some cases new theorems have been proven and new lines of argument developed that are of philosophical significance. This conference series aims to bring together philosophers, physicists, and mathematicians working on such issues. This year's event will be held on September 2-3, 2019 at the University of Salzburg (Austria). It will immediately precede a workshop on "Symmetry and Equivalence in Physics" taking place on September 3-4, 2019.

The International Computer Science Symposium in Russia (CSR) is an annual international conference held in Russia that intends to cover a broad range of topics in Theoretical Computer Science. CSR'19 will be part of the Computer Science Summer in Russia which will also include the Ershov Informatics Conference (PSI'19) and a summer school in Computer Science for students.

ACAI is the biannual summer school sponsored by the European Association for Artificial Intelligence (EurAI). This year's theme is "AI for Multi-Agent Worlds". The programme will include courses on logic and strategic interaction in multiagent systems, computational social choice, reinforcement learning, argumentation theory, and AI ethics, amongst many others. EurAI will provide a number of scholarhips for participants.

The 7th European Set Theory Conference will be held July 1 - 5, 2019 in Vienna, Austria.

The conference features the presentation of the Hausdorff Medal, an initiative of the European Set Theory Society. The currently confirmed invited speakers are: Jörg Brendle, Mirna Džamonja, Todd Eisworth, Moti Gitik, Alexander Kechris, Piotr Koszmider, Maryanthe Malliaris, Justin Moore, Dima Sinapova, Slawomir Solecki, Boaz Tsaban, Anush Tserunyan, Matteo Viale and Hugh Woodin. The organizing committee includes: Vera Fischer, Sy-David Friedman, Benjamin Miller.

Rewriting is a simple yet powerful model of computation with numerous applications in computer science and many other fields: logic, mathematics, programming languages, model checking, quantum computing, biology, music...

This school proposes to master students, PhD students and researchers, two parallel tracks:

• Basic track: introduction to first-order term rewriting and λ-calculus
• Advanced track: advanced lectures on rewriting theory (graph rewriting, conditional rewriting, geometry of rewriting, computational complexity of rewrite systems) and an overview of many applications of rewriting techniques in other fields (quantum physics, biology, music, automated deduction, model checking).

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

Speakers:

• Roberto Ciuni (Philosophy, University of Padova): Information-based oughts and their interaction with knowledge and belief
• Karolina Krzyzanowska (ILLC, University of Amsterdam): Minimal rationality constraints for conditional obligation
• Louwe Kuijer (Computer Science, University of Liverpool): True clauses, false connections, and the limits of pragmatic explanations

The International Computer Science Symposium in Russia (CSR) is an annual international conference held in Russia that intends to cover a broad range of topics in Theoretical Computer Science. CSR'19 will be part of the Computer Science Summer in Russia which will also include the Ershov Informatics Conference (PSI'19) and a summer school in Computer Science for students.

ACAI is the biannual summer school sponsored by the European Association for Artificial Intelligence (EurAI). This year's theme is "AI for Multi-Agent Worlds". The programme will include courses on logic and strategic interaction in multiagent systems, computational social choice, reinforcement learning, argumentation theory, and AI ethics, amongst many others. EurAI will provide a number of scholarhips for participants.

The 7th European Set Theory Conference will be held July 1 - 5, 2019 in Vienna, Austria.

The conference features the presentation of the Hausdorff Medal, an initiative of the European Set Theory Society. The currently confirmed invited speakers are: Jörg Brendle, Mirna Džamonja, Todd Eisworth, Moti Gitik, Alexander Kechris, Piotr Koszmider, Maryanthe Malliaris, Justin Moore, Dima Sinapova, Slawomir Solecki, Boaz Tsaban, Anush Tserunyan, Matteo Viale and Hugh Woodin. The organizing committee includes: Vera Fischer, Sy-David Friedman, Benjamin Miller.

Rewriting is a simple yet powerful model of computation with numerous applications in computer science and many other fields: logic, mathematics, programming languages, model checking, quantum computing, biology, music...

This school proposes to master students, PhD students and researchers, two parallel tracks:

• Basic track: introduction to first-order term rewriting and λ-calculus
• Advanced track: advanced lectures on rewriting theory (graph rewriting, conditional rewriting, geometry of rewriting, computational complexity of rewrite systems) and an overview of many applications of rewriting techniques in other fields (quantum physics, biology, music, automated deduction, model checking).

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The Ershov Informatics Conference (the PSI Conference Series, 12th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations between the Russian informatics community and its international counterparts, as well as between established scientists and younger researchers.

PSI 2019 will be a part of the Computer Science Summer in Russia, which will also include the International Computer Science Symposium CSR'19, a workshop track, and a summer school in Computer Science for students.

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 International Computer Science Symposium in Russia (CSR) is an annual international conference held in Russia that intends to cover a broad range of topics in Theoretical Computer Science. CSR'19 will be part of the Computer Science Summer in Russia which will also include the Ershov Informatics Conference (PSI'19) and a summer school in Computer Science for students.

ACAI is the biannual summer school sponsored by the European Association for Artificial Intelligence (EurAI). This year's theme is "AI for Multi-Agent Worlds". The programme will include courses on logic and strategic interaction in multiagent systems, computational social choice, reinforcement learning, argumentation theory, and AI ethics, amongst many others. EurAI will provide a number of scholarhips for participants.

The 7th European Set Theory Conference will be held July 1 - 5, 2019 in Vienna, Austria.

The conference features the presentation of the Hausdorff Medal, an initiative of the European Set Theory Society. The currently confirmed invited speakers are: Jörg Brendle, Mirna Džamonja, Todd Eisworth, Moti Gitik, Alexander Kechris, Piotr Koszmider, Maryanthe Malliaris, Justin Moore, Dima Sinapova, Slawomir Solecki, Boaz Tsaban, Anush Tserunyan, Matteo Viale and Hugh Woodin. The organizing committee includes: Vera Fischer, Sy-David Friedman, Benjamin Miller.

Rewriting is a simple yet powerful model of computation with numerous applications in computer science and many other fields: logic, mathematics, programming languages, model checking, quantum computing, biology, music...

This school proposes to master students, PhD students and researchers, two parallel tracks:

• Basic track: introduction to first-order term rewriting and λ-calculus
• Advanced track: advanced lectures on rewriting theory (graph rewriting, conditional rewriting, geometry of rewriting, computational complexity of rewrite systems) and an overview of many applications of rewriting techniques in other fields (quantum physics, biology, music, automated deduction, model checking).

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The Ershov Informatics Conference (the PSI Conference Series, 12th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations between the Russian informatics community and its international counterparts, as well as between established scientists and younger researchers.

PSI 2019 will be a part of the Computer Science Summer in Russia, which will also include the International Computer Science Symposium CSR'19, a workshop track, and a summer school in Computer Science for students.

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.

ISIPTA 2019 is devoted to robustness and imprecision in uncertainty modelling, inference and decision making, focusing in particular on uncertainty frameworks that extend or replace the probabilistic one.

ISIPTA conferences are characterised by a friendly and cooperative style, a strong emphasis on in-depth discussion and a true openness to new ideas. We hope that you too will both enjoy and contribute to this unique atmosphere.

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

The International Computer Science Symposium in Russia (CSR) is an annual international conference held in Russia that intends to cover a broad range of topics in Theoretical Computer Science. CSR'19 will be part of the Computer Science Summer in Russia which will also include the Ershov Informatics Conference (PSI'19) and a summer school in Computer Science for students.

ACAI is the biannual summer school sponsored by the European Association for Artificial Intelligence (EurAI). This year's theme is "AI for Multi-Agent Worlds". The programme will include courses on logic and strategic interaction in multiagent systems, computational social choice, reinforcement learning, argumentation theory, and AI ethics, amongst many others. EurAI will provide a number of scholarhips for participants.

The 7th European Set Theory Conference will be held July 1 - 5, 2019 in Vienna, Austria.

The conference features the presentation of the Hausdorff Medal, an initiative of the European Set Theory Society. The currently confirmed invited speakers are: Jörg Brendle, Mirna Džamonja, Todd Eisworth, Moti Gitik, Alexander Kechris, Piotr Koszmider, Maryanthe Malliaris, Justin Moore, Dima Sinapova, Slawomir Solecki, Boaz Tsaban, Anush Tserunyan, Matteo Viale and Hugh Woodin. The organizing committee includes: Vera Fischer, Sy-David Friedman, Benjamin Miller.

Rewriting is a simple yet powerful model of computation with numerous applications in computer science and many other fields: logic, mathematics, programming languages, model checking, quantum computing, biology, music...

This school proposes to master students, PhD students and researchers, two parallel tracks:

• Basic track: introduction to first-order term rewriting and λ-calculus
• Advanced track: advanced lectures on rewriting theory (graph rewriting, conditional rewriting, geometry of rewriting, computational complexity of rewrite systems) and an overview of many applications of rewriting techniques in other fields (quantum physics, biology, music, automated deduction, model checking).

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The Ershov Informatics Conference (the PSI Conference Series, 12th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations between the Russian informatics community and its international counterparts, as well as between established scientists and younger researchers.

PSI 2019 will be a part of the Computer Science Summer in Russia, which will also include the International Computer Science Symposium CSR'19, a workshop track, and a summer school in Computer Science for students.

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.

ISIPTA 2019 is devoted to robustness and imprecision in uncertainty modelling, inference and decision making, focusing in particular on uncertainty frameworks that extend or replace the probabilistic one.

ISIPTA conferences are characterised by a friendly and cooperative style, a strong emphasis on in-depth discussion and a true openness to new ideas. We hope that you too will both enjoy and contribute to this unique atmosphere.

Concurrency and Logics are two of the most active research areas in the theoretical computer science domain. The literature in these fields is extensive and provides a plethora of logics and models for reasoning about intelligent and distributed systems. More recently, the interplay of concurrency and logic with other research areas has received much attention, as witnessed by recent editions of AI conferences. All these examples share the challenge of developing novel theories and tools for automated reasoning that take into account the behaviour of concurrent and multi-agent entities.

The workshop aims to bring together researchers working on different aspects of logic and concurrency in AI, multi-agent systems, and computer science, both from a theoretical and a practical point of view. Besides, it aims to promote research on Foundation of AI in other research communities that are traditionally Theoretical Computer Science-oriented.

The notion of assertion plays a key inferential role and has a long tradition in logic. It is a key ingredient in most logical systems, either implicitly or explicitly. The idea of assertion thus appears strongly invariant across a range of logical theories, logical methods, and logical notations.

The aim of the workshop is to bring together scholars interested in the analysis of the logical notion of assertion and other related notions such as inference, proof, argument, meaning of logical constants that may receive an assertion-based interpretation.

A satellite event to WAP 2019 is the workshop "Peirce on Assertion".

The International Computer Science Symposium in Russia (CSR) is an annual international conference held in Russia that intends to cover a broad range of topics in Theoretical Computer Science. CSR'19 will be part of the Computer Science Summer in Russia which will also include the Ershov Informatics Conference (PSI'19) and a summer school in Computer Science for students.

ACAI is the biannual summer school sponsored by the European Association for Artificial Intelligence (EurAI). This year's theme is "AI for Multi-Agent Worlds". The programme will include courses on logic and strategic interaction in multiagent systems, computational social choice, reinforcement learning, argumentation theory, and AI ethics, amongst many others. EurAI will provide a number of scholarhips for participants.

The 7th European Set Theory Conference will be held July 1 - 5, 2019 in Vienna, Austria.

The conference features the presentation of the Hausdorff Medal, an initiative of the European Set Theory Society. The currently confirmed invited speakers are: Jörg Brendle, Mirna Džamonja, Todd Eisworth, Moti Gitik, Alexander Kechris, Piotr Koszmider, Maryanthe Malliaris, Justin Moore, Dima Sinapova, Slawomir Solecki, Boaz Tsaban, Anush Tserunyan, Matteo Viale and Hugh Woodin. The organizing committee includes: Vera Fischer, Sy-David Friedman, Benjamin Miller.

Rewriting is a simple yet powerful model of computation with numerous applications in computer science and many other fields: logic, mathematics, programming languages, model checking, quantum computing, biology, music...

This school proposes to master students, PhD students and researchers, two parallel tracks:

• Basic track: introduction to first-order term rewriting and λ-calculus
• Advanced track: advanced lectures on rewriting theory (graph rewriting, conditional rewriting, geometry of rewriting, computational complexity of rewrite systems) and an overview of many applications of rewriting techniques in other fields (quantum physics, biology, music, automated deduction, model checking).

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The Ershov Informatics Conference (the PSI Conference Series, 12th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations between the Russian informatics community and its international counterparts, as well as between established scientists and younger researchers.

PSI 2019 will be a part of the Computer Science Summer in Russia, which will also include the International Computer Science Symposium CSR'19, a workshop track, and a summer school in Computer Science for students.

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.

ISIPTA 2019 is devoted to robustness and imprecision in uncertainty modelling, inference and decision making, focusing in particular on uncertainty frameworks that extend or replace the probabilistic one.

ISIPTA conferences are characterised by a friendly and cooperative style, a strong emphasis on in-depth discussion and a true openness to new ideas. We hope that you too will both enjoy and contribute to this unique atmosphere.

Rewriting is a simple yet powerful model of computation with numerous applications in computer science and many other fields: logic, mathematics, programming languages, model checking, quantum computing, biology, music...

This school proposes to master students, PhD students and researchers, two parallel tracks:

• Basic track: introduction to first-order term rewriting and λ-calculus
• Advanced track: advanced lectures on rewriting theory (graph rewriting, conditional rewriting, geometry of rewriting, computational complexity of rewrite systems) and an overview of many applications of rewriting techniques in other fields (quantum physics, biology, music, automated deduction, model checking).

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

ISIPTA 2019 is devoted to robustness and imprecision in uncertainty modelling, inference and decision making, focusing in particular on uncertainty frameworks that extend or replace the probabilistic one.

ISIPTA conferences are characterised by a friendly and cooperative style, a strong emphasis on in-depth discussion and a true openness to new ideas. We hope that you too will both enjoy and contribute to this unique atmosphere.

This workshop brings together philosophers and logicians working on (meta-ontological) questions pertaining to the existence of abstract objects and (formal) issues arising from circularly defined concepts (e.g. paradoxes), with a special focus on truth, properties, numbers, and abstraction principles.

Confirmed speakers: Jody Azzouni (Tufts), Riccardo Bruni (Florence), Catrin Campbell-Moore (Bristol), Andrea Cantini (Florence), Roy Cook (Minnesota), Thomas Hofweber (North Carolina), Leon Horsten (Bristol), Benjamin Marschall (Cambridge) and Edoardo Rivello (Torino).

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

This workshop brings together philosophers and logicians working on (meta-ontological) questions pertaining to the existence of abstract objects and (formal) issues arising from circularly defined concepts (e.g. paradoxes), with a special focus on truth, properties, numbers, and abstraction principles.

Confirmed speakers: Jody Azzouni (Tufts), Riccardo Bruni (Florence), Catrin Campbell-Moore (Bristol), Andrea Cantini (Florence), Roy Cook (Minnesota), Thomas Hofweber (North Carolina), Leon Horsten (Bristol), Benjamin Marschall (Cambridge) and Edoardo Rivello (Torino).

Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. Many problems from application domains such as model checking, formal verification or synthesis can be encoded as a QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. The goal of the International Workshop on Quantified Boolean Formulas and Beyond (QBF 2019) is to bring together researchers working on theoretical and practical aspects of QBF solving.

In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers.

The focus of this iteration of PROGIC is decision making, with an emphasis on advances in descriptive, normative, and prescriptive models of decision making.

Invited Speakers: Sebastian Ebert (Frankfurt School), Johanna Thoma (LSE), Peter Wakker (Erasmus) and Michael Waldmann (Goettingen).

Over last decades, the empirical research on judicial decision-making has bloomed. However, the influence of these developments on traditional, conceptual theory of judicial decision-making has been mostly superficial. The impact of empirical findings on concepts such as judicial discretion, formalism, judicial rationality, legal interpretation, or rules vs. standards debate is yet to be determined. The aim of this interdisciplinary workshop is to combine perspectives of psychology, sociology, economics, criminology, neuroscience and other behavioral sciences, with the legal-theoretical approach to judicial decision-making.

Confirmed speakers: Jeffrey J. Rachlinski (Cornell), Frederick Schauer (Virginia).

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The focus of this iteration of PROGIC is decision making, with an emphasis on advances in descriptive, normative, and prescriptive models of decision making.

Invited Speakers: Sebastian Ebert (Frankfurt School), Johanna Thoma (LSE), Peter Wakker (Erasmus) and Michael Waldmann (Goettingen).

Over last decades, the empirical research on judicial decision-making has bloomed. However, the influence of these developments on traditional, conceptual theory of judicial decision-making has been mostly superficial. The impact of empirical findings on concepts such as judicial discretion, formalism, judicial rationality, legal interpretation, or rules vs. standards debate is yet to be determined. The aim of this interdisciplinary workshop is to combine perspectives of psychology, sociology, economics, criminology, neuroscience and other behavioral sciences, with the legal-theoretical approach to judicial decision-making.

Confirmed speakers: Jeffrey J. Rachlinski (Cornell), Frederick Schauer (Virginia).

LCC meetings are aimed at the foundational interconnections between logic and computational complexity. LCC'19 will be collocated with ICALP 2019. The program will consist of invited lectures as well as contributed talks selected by the Program Committee.

One of the main issues behind many failing systems is the ad-hoc verification approach that involves a variety of formalism and techniques for the modeling and analysis of various components of the present-age (cyber)-physical systems. The fundamental differences between these modeling and analysis techniques limit us to analyze the whole system as one unit and thus miss many corner cases, which arise due to the operation of all the sub-components of the system together. One of the major concerns is that, despite the above-mentioned evident limitation in the analysis methods, many safety-critical systems, such as aerospace, smart-transportation, smart-grid and e-health, are increasingly involving physical elements. Moreover, we are moving towards integrating more complex physical elements in our engineering systems. Finally, the impact of physical components is relevant to both the safety and security of the overall system.

The objective of the workshop is to gather scientists and engineers interested in formal verification techniques for the modeling, analysis, and verification of safety and security critical physical systems.

This is the 14th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. The three-day conference will give opportunity for paper presentations and discussions.

Among the topics of particular relevance are:
- Modal logics for games and protocols
- Foundations of game and decision theory
- Learning and information-processing models
- Bounded rationality approaches to game and decision theory

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

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 8 July 2019.

ICALP 2019 will have three tracks:
Track A: Algorithms, Complexity and Games
Track B: Automata, Logic, Semantics, and Theory of Programming
Track C: Foundations of Networks and Multi-Agent Systems: Models, Algorithms and Information Management

This is the main annual summer school in the area of multiagent systems, intended for both PhD and MSc students.

The main goal of the European Agent Systems Summer School is to provide an exchange of knowledge among individuals and groups interested in various aspects of autonomous systems. This dissemination is provided by formal state-of-the-art courses conducted by leading experts in the field and by informal meetings during the event. A typical course is 4 hours long and provides a general introduction to the selected topic followed by in-depth exposition of recent and relevant contributions. Both the practical and theoretical aspects of Multi-Agent Systems are within the scope of EASSS.

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The focus of this iteration of PROGIC is decision making, with an emphasis on advances in descriptive, normative, and prescriptive models of decision making.

Invited Speakers: Sebastian Ebert (Frankfurt School), Johanna Thoma (LSE), Peter Wakker (Erasmus) and Michael Waldmann (Goettingen).

Over last decades, the empirical research on judicial decision-making has bloomed. However, the influence of these developments on traditional, conceptual theory of judicial decision-making has been mostly superficial. The impact of empirical findings on concepts such as judicial discretion, formalism, judicial rationality, legal interpretation, or rules vs. standards debate is yet to be determined. The aim of this interdisciplinary workshop is to combine perspectives of psychology, sociology, economics, criminology, neuroscience and other behavioral sciences, with the legal-theoretical approach to judicial decision-making.

Confirmed speakers: Jeffrey J. Rachlinski (Cornell), Frederick Schauer (Virginia).

This is the 14th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. The three-day conference will give opportunity for paper presentations and discussions.

Among the topics of particular relevance are:
- Modal logics for games and protocols
- Foundations of game and decision theory
- Learning and information-processing models
- Bounded rationality approaches to game and decision theory

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

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 8 July 2019.

ICALP 2019 will have three tracks:
Track A: Algorithms, Complexity and Games
Track B: Automata, Logic, Semantics, and Theory of Programming
Track C: Foundations of Networks and Multi-Agent Systems: Models, Algorithms and Information Management

This is the main annual summer school in the area of multiagent systems, intended for both PhD and MSc students.

The main goal of the European Agent Systems Summer School is to provide an exchange of knowledge among individuals and groups interested in various aspects of autonomous systems. This dissemination is provided by formal state-of-the-art courses conducted by leading experts in the field and by informal meetings during the event. A typical course is 4 hours long and provides a general introduction to the selected topic followed by in-depth exposition of recent and relevant contributions. Both the practical and theoretical aspects of Multi-Agent Systems are within the scope of EASSS.

Several successful logic programming languages have been proposed in the literature. Researchers have long recognized the need for epistemic operators in these languages.  A central question is that of the definition of a rigorous and intuitive semantics for such epistemic operators, which is still subject of ongoing research. Notions of equivalence, structural properties, and the inter-relationships between logic programming languages and established logics are all subjects being actively investigated.

Another important topic is that of practical solvers to compute answers to logic programs that contain epistemic operators. Several solvers are actively developed, building on established solvers, or using rewriting-based approaches. For practical applications, additional language features are actively explored in order to be able to apply epistemic extensions of logic programming langauges to practical problems.

The goal of this workshop is to facilitate discussions regarding these topics and a productive exchange of ideas. The workshop is part of the International Conference of Logic Programming (ICLP) 2019.

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The focus of this iteration of PROGIC is decision making, with an emphasis on advances in descriptive, normative, and prescriptive models of decision making.

Invited Speakers: Sebastian Ebert (Frankfurt School), Johanna Thoma (LSE), Peter Wakker (Erasmus) and Michael Waldmann (Goettingen).

Over last decades, the empirical research on judicial decision-making has bloomed. However, the influence of these developments on traditional, conceptual theory of judicial decision-making has been mostly superficial. The impact of empirical findings on concepts such as judicial discretion, formalism, judicial rationality, legal interpretation, or rules vs. standards debate is yet to be determined. The aim of this interdisciplinary workshop is to combine perspectives of psychology, sociology, economics, criminology, neuroscience and other behavioral sciences, with the legal-theoretical approach to judicial decision-making.

Confirmed speakers: Jeffrey J. Rachlinski (Cornell), Frederick Schauer (Virginia).

This is the 14th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. The three-day conference will give opportunity for paper presentations and discussions.

Among the topics of particular relevance are:
- Modal logics for games and protocols
- Foundations of game and decision theory
- Learning and information-processing models
- Bounded rationality approaches to game and decision theory

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

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 8 July 2019.

ICALP 2019 will have three tracks:
Track A: Algorithms, Complexity and Games
Track B: Automata, Logic, Semantics, and Theory of Programming
Track C: Foundations of Networks and Multi-Agent Systems: Models, Algorithms and Information Management

This is the main annual summer school in the area of multiagent systems, intended for both PhD and MSc students.

The main goal of the European Agent Systems Summer School is to provide an exchange of knowledge among individuals and groups interested in various aspects of autonomous systems. This dissemination is provided by formal state-of-the-art courses conducted by leading experts in the field and by informal meetings during the event. A typical course is 4 hours long and provides a general introduction to the selected topic followed by in-depth exposition of recent and relevant contributions. Both the practical and theoretical aspects of Multi-Agent Systems are within the scope of EASSS.

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

Over last decades, the empirical research on judicial decision-making has bloomed. However, the influence of these developments on traditional, conceptual theory of judicial decision-making has been mostly superficial. The impact of empirical findings on concepts such as judicial discretion, formalism, judicial rationality, legal interpretation, or rules vs. standards debate is yet to be determined. The aim of this interdisciplinary workshop is to combine perspectives of psychology, sociology, economics, criminology, neuroscience and other behavioral sciences, with the legal-theoretical approach to judicial decision-making.

Confirmed speakers: Jeffrey J. Rachlinski (Cornell), Frederick Schauer (Virginia).

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

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 8 July 2019.

ICALP 2019 will have three tracks:
Track A: Algorithms, Complexity and Games
Track B: Automata, Logic, Semantics, and Theory of Programming
Track C: Foundations of Networks and Multi-Agent Systems: Models, Algorithms and Information Management

This is the main annual summer school in the area of multiagent systems, intended for both PhD and MSc students.

The main goal of the European Agent Systems Summer School is to provide an exchange of knowledge among individuals and groups interested in various aspects of autonomous systems. This dissemination is provided by formal state-of-the-art courses conducted by leading experts in the field and by informal meetings during the event. A typical course is 4 hours long and provides a general introduction to the selected topic followed by in-depth exposition of recent and relevant contributions. Both the practical and theoretical aspects of Multi-Agent Systems are within the scope of EASSS.

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

Over last decades, the empirical research on judicial decision-making has bloomed. However, the influence of these developments on traditional, conceptual theory of judicial decision-making has been mostly superficial. The impact of empirical findings on concepts such as judicial discretion, formalism, judicial rationality, legal interpretation, or rules vs. standards debate is yet to be determined. The aim of this interdisciplinary workshop is to combine perspectives of psychology, sociology, economics, criminology, neuroscience and other behavioral sciences, with the legal-theoretical approach to judicial decision-making.

Confirmed speakers: Jeffrey J. Rachlinski (Cornell), Frederick Schauer (Virginia).

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 8 July 2019.

ICALP 2019 will have three tracks:
Track A: Algorithms, Complexity and Games
Track B: Automata, Logic, Semantics, and Theory of Programming
Track C: Foundations of Networks and Multi-Agent Systems: Models, Algorithms and Information Management

This is the main annual summer school in the area of multiagent systems, intended for both PhD and MSc students.

The main goal of the European Agent Systems Summer School is to provide an exchange of knowledge among individuals and groups interested in various aspects of autonomous systems. This dissemination is provided by formal state-of-the-art courses conducted by leading experts in the field and by informal meetings during the event. A typical course is 4 hours long and provides a general introduction to the selected topic followed by in-depth exposition of recent and relevant contributions. Both the practical and theoretical aspects of Multi-Agent Systems are within the scope of EASSS.

The 2019 Australasian Association for Logic conference will be held at the University of Wollongong on July 12th and 13th, straight after the AAP conference.

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

Over last decades, the empirical research on judicial decision-making has bloomed. However, the influence of these developments on traditional, conceptual theory of judicial decision-making has been mostly superficial. The impact of empirical findings on concepts such as judicial discretion, formalism, judicial rationality, legal interpretation, or rules vs. standards debate is yet to be determined. The aim of this interdisciplinary workshop is to combine perspectives of psychology, sociology, economics, criminology, neuroscience and other behavioral sciences, with the legal-theoretical approach to judicial decision-making.

Confirmed speakers: Jeffrey J. Rachlinski (Cornell), Frederick Schauer (Virginia).

The 2019 Australasian Association for Logic conference will be held at the University of Wollongong on July 12th and 13th, straight after the AAP conference.

We will meet to remember and celebrate Martin's life and work. There will be invited talks from friends and colleagues as well as ample time for discussions and exchange of memories during the breaks. The talks will be about various topics in Computer Science and Mathematics that Martin would have enjoyed. The talks will combine scientific content with personal stories about Martin.

If you would like to propose a contribution to the program then contact Jan Hoffmann or Don Sannella.

CAV 2019 is the 31st in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security.

CAV 2019 includes the following workshops:

• BeMC: The Best of Model Checking (BeMC) — workshop in honor of Orna Grumberg
• DARS: Design and Analysis of Robust Systems
• VMW: Verification Mentoring Workshop
• NSV: Numerical Software Verification
• VSTTE: Verified Software: Theories, Tools, and Experiments
• Democratizing Software Verification
• FoMLAS: Formal Methods for ML-Enabled Autonomous Systems
• SYNT: Synthesis

The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages (e.g., OCL, textual MOF, Epsilon, or Alloy) can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation.

The workshop will be co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System.

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches.

The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning.

The purpose of this workshop is to bring together researchers from philosophy, computer science, and allied disciplines who work on non-monotonic logics and defeasible inference. The idea is to bring traditional philosophical reflections on these topics-- such as defeat in epistemology, prima facie duties in ethics, and belief revision in philosophy of science-- together with the rich tradition of non-monotonic logics in computer science and artificial intelligence, including default logic and logic programming.

This will be a 1.5 day workshop (half day Friday 11 October afternoon, full day Saturday 12 October), with approximately 30 participants, including 4 invited talks, 2-3 contributed talks, and a poster session.

Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

Topics of interest: include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Invited Speakers: Ingela Alger (Toulouse School of Economics), Vincent Conitzer (Duke University), and Brian Hill (HEC Paris).

CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

Topics of interest: include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Invited Speakers: Ingela Alger (Toulouse School of Economics), Vincent Conitzer (Duke University), and Brian Hill (HEC Paris).

MOL is devoted to the study of mathematical structures and methods that are of importance to the description of language.

Specific topics within the scope of the conference include:
 - formal and computational analysis of linguistic theories and frameworks
 - learnability of formal grammars
 - proof-theoretic, model-theoretic and type-theoretic methods in linguistics
  - mathematical foundations of statistical approaches to language analysis
  - formal models of language use and language change

The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasise its attention to those at early stages of their careers, the network is glad to announce, in addition to its biennial main conferences, its second graduate conference. We expect to host up to 6/8 contributed talks by graduate and early career speakers of any nationality, selected by double-blind review.

Invited speakers: Salvatore Florio (University of Birmingham), Lavinia Picollo (UCL) and Jack Woods (University of Leeds).

CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

Topics of interest: include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Invited Speakers: Ingela Alger (Toulouse School of Economics), Vincent Conitzer (Duke University), and Brian Hill (HEC Paris).

MOL is devoted to the study of mathematical structures and methods that are of importance to the description of language.

Specific topics within the scope of the conference include:
 - formal and computational analysis of linguistic theories and frameworks
 - learnability of formal grammars
 - proof-theoretic, model-theoretic and type-theoretic methods in linguistics
  - mathematical foundations of statistical approaches to language analysis
  - formal models of language use and language change

The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasise its attention to those at early stages of their careers, the network is glad to announce, in addition to its biennial main conferences, its second graduate conference. We expect to host up to 6/8 contributed talks by graduate and early career speakers of any nationality, selected by double-blind review.

Invited speakers: Salvatore Florio (University of Birmingham), Lavinia Picollo (UCL) and Jack Woods (University of Leeds).

We would like to invite anyone interested to participate in a one-day workshop exploring topics such as form, essence, and hylomorphism.

The workshop is funded through the DFG-project 'Formal Causation in Aristotle and in Analytic Metaphysics and Philosophy of Science'. Speakers: Jonathan Barker (Virginia), Kit Fine (NYU), Ludger Jansen (Bochum/Rostock), Thomas Sattig (Tübingen), Michael Wallner (Graz).

The University of Tübingen hosts a summer school about the topic "Logic and Computation". The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.

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:
 - From the Foundational Crisis of Mathematics to Explicit Mathematics.
 - From Hilbert to Gentzen and beyond.
 - Automatic Reasoning in the Automobile Industry.
- Foundations of Machine Learning and AI.
Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The University of Tübingen hosts a summer school about the topic "Logic and Computation". The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.

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:
 - From the Foundational Crisis of Mathematics to Explicit Mathematics.
 - From Hilbert to Gentzen and beyond.
 - Automatic Reasoning in the Automobile Industry.
- Foundations of Machine Learning and AI.
Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The Phlox Research Group at Hamburg University is delighted to announce the 2019 Hamburg Summer School on Truthmaker Semantics. Truthmaker semantics is an approach to semantics that has attracted a growing amount of interest in recent years. It takes the content of a statement to be given in terms of the states that exactly verify it, wherethis is taken to require that the state-roughly, a part or fragment of a world=be wholly relevant to the truth of the statement.

In this course, after an introduction to the history, the motivations, and the basic framework of truthmaker semantics, we will survey its applications to (i) deontic and imperative logic, (ii) conditionals, (iii) partial content, (iv) intuitionistic and relevance logic, (v) Bayesian epistemology and the theory of rational belief revision, as well as (vi) natural language semantics (attitude reports, modals, and intensional definite descriptions). The Summer School will be taught by Kit Fine (NYU), Mark Jago (Nottingham), Johannes Korbmacher (Utrecht), Stephan Krämer (Hamburg), and Friederike Moltmann (Paris, NYU).

The University of Tübingen hosts a summer school about the topic "Logic and Computation". The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.

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:
 - From the Foundational Crisis of Mathematics to Explicit Mathematics.
 - From Hilbert to Gentzen and beyond.
 - Automatic Reasoning in the Automobile Industry.
- Foundations of Machine Learning and AI.
Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The Phlox Research Group at Hamburg University is delighted to announce the 2019 Hamburg Summer School on Truthmaker Semantics. Truthmaker semantics is an approach to semantics that has attracted a growing amount of interest in recent years. It takes the content of a statement to be given in terms of the states that exactly verify it, wherethis is taken to require that the state-roughly, a part or fragment of a world=be wholly relevant to the truth of the statement.

In this course, after an introduction to the history, the motivations, and the basic framework of truthmaker semantics, we will survey its applications to (i) deontic and imperative logic, (ii) conditionals, (iii) partial content, (iv) intuitionistic and relevance logic, (v) Bayesian epistemology and the theory of rational belief revision, as well as (vi) natural language semantics (attitude reports, modals, and intensional definite descriptions). The Summer School will be taught by Kit Fine (NYU), Mark Jago (Nottingham), Johannes Korbmacher (Utrecht), Stephan Krämer (Hamburg), and Friederike Moltmann (Paris, NYU).

In 1949, Kurt Gödel showed that there exist solutions to Einstein's equations of general relativity allowing for closed timelike curves. The existence of such curves would allow time travel into one's own past leading to all kind of causality paradoxes. Today there is an ongoing debate on how physical such solutions are and whether general relativity would prevent the formation of regions where causality violation is possible. Closely related are Gödel's philosophical ideas on the existence of time, a subject that he intensively discussed with Einstein in Princetown. 'In my view Kurt Gödel's papers represent an important contribution to general relativity, especially his analysis of the concept of time.' said Einstein.

The Kurt Goedel Society intends to celebrate the 70th anniversary of Gödel's seminal publication and the 100th anniversary of the decisive experimental verification of general relativity by organizing a conference at the University of Vienna, Austria. This event will bring together the prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The conference will be enhanced with a special exhibition about life and work of Kurt Gödel with emphasis on Gödel's solution.

The University of Tübingen hosts a summer school about the topic "Logic and Computation". The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.

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:
 - From the Foundational Crisis of Mathematics to Explicit Mathematics.
 - From Hilbert to Gentzen and beyond.
 - Automatic Reasoning in the Automobile Industry.
- Foundations of Machine Learning and AI.
Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The Phlox Research Group at Hamburg University is delighted to announce the 2019 Hamburg Summer School on Truthmaker Semantics. Truthmaker semantics is an approach to semantics that has attracted a growing amount of interest in recent years. It takes the content of a statement to be given in terms of the states that exactly verify it, wherethis is taken to require that the state-roughly, a part or fragment of a world=be wholly relevant to the truth of the statement.

In this course, after an introduction to the history, the motivations, and the basic framework of truthmaker semantics, we will survey its applications to (i) deontic and imperative logic, (ii) conditionals, (iii) partial content, (iv) intuitionistic and relevance logic, (v) Bayesian epistemology and the theory of rational belief revision, as well as (vi) natural language semantics (attitude reports, modals, and intensional definite descriptions). The Summer School will be taught by Kit Fine (NYU), Mark Jago (Nottingham), Johannes Korbmacher (Utrecht), Stephan Krämer (Hamburg), and Friederike Moltmann (Paris, NYU).

In 1949, Kurt Gödel showed that there exist solutions to Einstein's equations of general relativity allowing for closed timelike curves. The existence of such curves would allow time travel into one's own past leading to all kind of causality paradoxes. Today there is an ongoing debate on how physical such solutions are and whether general relativity would prevent the formation of regions where causality violation is possible. Closely related are Gödel's philosophical ideas on the existence of time, a subject that he intensively discussed with Einstein in Princetown. 'In my view Kurt Gödel's papers represent an important contribution to general relativity, especially his analysis of the concept of time.' said Einstein.

The Kurt Goedel Society intends to celebrate the 70th anniversary of Gödel's seminal publication and the 100th anniversary of the decisive experimental verification of general relativity by organizing a conference at the University of Vienna, Austria. This event will bring together the prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The conference will be enhanced with a special exhibition about life and work of Kurt Gödel with emphasis on Gödel's solution.

The University of Tübingen hosts a summer school about the topic "Logic and Computation". The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.

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:
 - From the Foundational Crisis of Mathematics to Explicit Mathematics.
 - From Hilbert to Gentzen and beyond.
 - Automatic Reasoning in the Automobile Industry.
- Foundations of Machine Learning and AI.
Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The Phlox Research Group at Hamburg University is delighted to announce the 2019 Hamburg Summer School on Truthmaker Semantics. Truthmaker semantics is an approach to semantics that has attracted a growing amount of interest in recent years. It takes the content of a statement to be given in terms of the states that exactly verify it, wherethis is taken to require that the state-roughly, a part or fragment of a world=be wholly relevant to the truth of the statement.

In this course, after an introduction to the history, the motivations, and the basic framework of truthmaker semantics, we will survey its applications to (i) deontic and imperative logic, (ii) conditionals, (iii) partial content, (iv) intuitionistic and relevance logic, (v) Bayesian epistemology and the theory of rational belief revision, as well as (vi) natural language semantics (attitude reports, modals, and intensional definite descriptions). The Summer School will be taught by Kit Fine (NYU), Mark Jago (Nottingham), Johannes Korbmacher (Utrecht), Stephan Krämer (Hamburg), and Friederike Moltmann (Paris, NYU).

In 1949, Kurt Gödel showed that there exist solutions to Einstein's equations of general relativity allowing for closed timelike curves. The existence of such curves would allow time travel into one's own past leading to all kind of causality paradoxes. Today there is an ongoing debate on how physical such solutions are and whether general relativity would prevent the formation of regions where causality violation is possible. Closely related are Gödel's philosophical ideas on the existence of time, a subject that he intensively discussed with Einstein in Princetown. 'In my view Kurt Gödel's papers represent an important contribution to general relativity, especially his analysis of the concept of time.' said Einstein.

The Kurt Goedel Society intends to celebrate the 70th anniversary of Gödel's seminal publication and the 100th anniversary of the decisive experimental verification of general relativity by organizing a conference at the University of Vienna, Austria. This event will bring together the prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The conference will be enhanced with a special exhibition about life and work of Kurt Gödel with emphasis on Gödel's solution.

The University of Tübingen hosts a summer school about the topic "Logic and Computation". The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.

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:
 - From the Foundational Crisis of Mathematics to Explicit Mathematics.
 - From Hilbert to Gentzen and beyond.
 - Automatic Reasoning in the Automobile Industry.
- Foundations of Machine Learning and AI.
Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The Phlox Research Group at Hamburg University is delighted to announce the 2019 Hamburg Summer School on Truthmaker Semantics. Truthmaker semantics is an approach to semantics that has attracted a growing amount of interest in recent years. It takes the content of a statement to be given in terms of the states that exactly verify it, wherethis is taken to require that the state-roughly, a part or fragment of a world=be wholly relevant to the truth of the statement.

In this course, after an introduction to the history, the motivations, and the basic framework of truthmaker semantics, we will survey its applications to (i) deontic and imperative logic, (ii) conditionals, (iii) partial content, (iv) intuitionistic and relevance logic, (v) Bayesian epistemology and the theory of rational belief revision, as well as (vi) natural language semantics (attitude reports, modals, and intensional definite descriptions). The Summer School will be taught by Kit Fine (NYU), Mark Jago (Nottingham), Johannes Korbmacher (Utrecht), Stephan Krämer (Hamburg), and Friederike Moltmann (Paris, NYU).

In 1949, Kurt Gödel showed that there exist solutions to Einstein's equations of general relativity allowing for closed timelike curves. The existence of such curves would allow time travel into one's own past leading to all kind of causality paradoxes. Today there is an ongoing debate on how physical such solutions are and whether general relativity would prevent the formation of regions where causality violation is possible. Closely related are Gödel's philosophical ideas on the existence of time, a subject that he intensively discussed with Einstein in Princetown. 'In my view Kurt Gödel's papers represent an important contribution to general relativity, especially his analysis of the concept of time.' said Einstein.

The Kurt Goedel Society intends to celebrate the 70th anniversary of Gödel's seminal publication and the 100th anniversary of the decisive experimental verification of general relativity by organizing a conference at the University of Vienna, Austria. This event will bring together the prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The conference will be enhanced with a special exhibition about life and work of Kurt Gödel with emphasis on Gödel's solution.

The University of Tübingen hosts a summer school about the topic "Logic and Computation". The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.

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:
 - From the Foundational Crisis of Mathematics to Explicit Mathematics.
 - From Hilbert to Gentzen and beyond.
 - Automatic Reasoning in the Automobile Industry.
- Foundations of Machine Learning and AI.
Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

In 1949, Kurt Gödel showed that there exist solutions to Einstein's equations of general relativity allowing for closed timelike curves. The existence of such curves would allow time travel into one's own past leading to all kind of causality paradoxes. Today there is an ongoing debate on how physical such solutions are and whether general relativity would prevent the formation of regions where causality violation is possible. Closely related are Gödel's philosophical ideas on the existence of time, a subject that he intensively discussed with Einstein in Princetown. 'In my view Kurt Gödel's papers represent an important contribution to general relativity, especially his analysis of the concept of time.' said Einstein.

The Kurt Goedel Society intends to celebrate the 70th anniversary of Gödel's seminal publication and the 100th anniversary of the decisive experimental verification of general relativity by organizing a conference at the University of Vienna, Austria. This event will bring together the prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The conference will be enhanced with a special exhibition about life and work of Kurt Gödel with emphasis on Gödel's solution.

The Munich Center for Mathematical Philosophy is organising the sixth edition of the Summer School on Mathematical Philosophy for Female Students. The summer school is open to women with a keen interest in mathematical philosophy. Applicants should be students of philosophy (or philosophically minded logicians or scientists) at an advanced undergraduate level, in a master program, or at an early PhD level.

This year, we will have the following lecture streams:
1. "Formal epistemology", led by Anna-Maria Asunta Eder (University of Cologne)
2. "Barriers to Entailment", led by Gillian Russell (UNC Chapel Hill)
3. "Philosophy of Algorithms and Simulations", led by Lena Zuchowski (University of Bristol)

The Munich Center for Mathematical Philosophy is organising the sixth edition of the Summer School on Mathematical Philosophy for Female Students. The summer school is open to women with a keen interest in mathematical philosophy. Applicants should be students of philosophy (or philosophically minded logicians or scientists) at an advanced undergraduate level, in a master program, or at an early PhD level.

This year, we will have the following lecture streams:
1. "Formal epistemology", led by Anna-Maria Asunta Eder (University of Cologne)
2. "Barriers to Entailment", led by Gillian Russell (UNC Chapel Hill)
3. "Philosophy of Algorithms and Simulations", led by Lena Zuchowski (University of Bristol)

Kit Fine and the Emmy Noether Project Relevance are delighted to announce a conference on truthmaker semantics and its applications in philosophy and linguistics.

Truthmaker semantics deviates from the familiar framework of possible world semantics, in that the notion of a possible world is replaced by a more general notion of a state that applies to any fragment of a world, and that a sentence is taken to be made true by a state only if every part of the state is involved in rendering the sentence true. A significant advantage of truthmaker semantics over the possible worlds approach is that it connects sentences with the worldly items that are directly relevant to their truth, thereby allowing important and intuitive hyperintensional distinctions to be drawn in a natural and formally elegant way. While the framework was originally developed as a semantics for relevant entailment by van Fraassen in the 1960s, recent developments have demonstrated its wide applicability in logic, metaphysics, philosophy and epistemology.

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.

The Munich Center for Mathematical Philosophy is organising the sixth edition of the Summer School on Mathematical Philosophy for Female Students. The summer school is open to women with a keen interest in mathematical philosophy. Applicants should be students of philosophy (or philosophically minded logicians or scientists) at an advanced undergraduate level, in a master program, or at an early PhD level.

This year, we will have the following lecture streams:
1. "Formal epistemology", led by Anna-Maria Asunta Eder (University of Cologne)
2. "Barriers to Entailment", led by Gillian Russell (UNC Chapel Hill)
3. "Philosophy of Algorithms and Simulations", led by Lena Zuchowski (University of Bristol)

Kit Fine and the Emmy Noether Project Relevance are delighted to announce a conference on truthmaker semantics and its applications in philosophy and linguistics.

Truthmaker semantics deviates from the familiar framework of possible world semantics, in that the notion of a possible world is replaced by a more general notion of a state that applies to any fragment of a world, and that a sentence is taken to be made true by a state only if every part of the state is involved in rendering the sentence true. A significant advantage of truthmaker semantics over the possible worlds approach is that it connects sentences with the worldly items that are directly relevant to their truth, thereby allowing important and intuitive hyperintensional distinctions to be drawn in a natural and formally elegant way. While the framework was originally developed as a semantics for relevant entailment by van Fraassen in the 1960s, recent developments have demonstrated its wide applicability in logic, metaphysics, philosophy and epistemology.

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.

The Munich Center for Mathematical Philosophy is organising the sixth edition of the Summer School on Mathematical Philosophy for Female Students. The summer school is open to women with a keen interest in mathematical philosophy. Applicants should be students of philosophy (or philosophically minded logicians or scientists) at an advanced undergraduate level, in a master program, or at an early PhD level.

This year, we will have the following lecture streams:
1. "Formal epistemology", led by Anna-Maria Asunta Eder (University of Cologne)
2. "Barriers to Entailment", led by Gillian Russell (UNC Chapel Hill)
3. "Philosophy of Algorithms and Simulations", led by Lena Zuchowski (University of Bristol)

Kit Fine and the Emmy Noether Project Relevance are delighted to announce a conference on truthmaker semantics and its applications in philosophy and linguistics.

Truthmaker semantics deviates from the familiar framework of possible world semantics, in that the notion of a possible world is replaced by a more general notion of a state that applies to any fragment of a world, and that a sentence is taken to be made true by a state only if every part of the state is involved in rendering the sentence true. A significant advantage of truthmaker semantics over the possible worlds approach is that it connects sentences with the worldly items that are directly relevant to their truth, thereby allowing important and intuitive hyperintensional distinctions to be drawn in a natural and formally elegant way. While the framework was originally developed as a semantics for relevant entailment by van Fraassen in the 1960s, recent developments have demonstrated its wide applicability in logic, metaphysics, philosophy and epistemology.

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.

This is the eighth installment of a series of workshops organized by BA LOGIC, aiming to bring together researchers to discuss different topics in philosophical logic, mainly connected with semantic paradoxes, theories of truth, and non-classical logics.