Traditionally, philosophy of mathematics focused on the formal component of mathematics and ignores the human and social components of the mathematical discipline. In the last decades, some philosophers of mathematics have challenged this traditional view and claimed that many of the features of the discipline of mathematics depend at least partially on interpersonal context and cultural embedding. The special issue entitled "Enabling Mathematical Cultures" aims to cover this broadly interdisciplinary scope, studying the social and cultural features of mathematical research practice and its philosophical ramifications.

Guest editors: Benedikt Loewe, Ursula Martin, Alison Pease.

The Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences. The second and third workshop took place successfully in Guangzhou (2014) and Taipei (2016), respectively. And the two post conference proceedings were published in the Studia Logica book series "Logic in Asia" (http://www.springer.com/series/13080?detailsPage=titles) with Springer.

The Fourth Asian Workshop on Philosophical Logic (AWPL 2018) will be held in Beijing, China, on 20-21 October 2018, organized by the Tsinghua-UvA Joint Research Centre for Logic at Tsinghua University.

This interdisciplinary conference will bring together researchers in philosophy, theoretical economics, formal political science, computer science and mathematics who have been independently studying similar questions: namely, opinion formation dynamics, peer interactions and deliberation in social groups, and the implications of these phenomena for the epistemic competency of collective decisions.

This colloquium addresses the design and use of models to represent the beliefs and knowledge of agents as well as changes in the beliefs and knowledge of social communities.

The colloquium unites researchers who use a variety of formal tools to study the process of belief formation, belief revision and knowledge updating in social communities. We focus on multi-agent scenarios centered around topics such as belief merge, social-epistemic influence, group knowledge, and belief-polarisation.

Our approach will be interdisciplinary in nature and brings together insights originating from Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Network Theory, Cognitive Science and AI.

Programme:
13.30-13.45: Presentation of the book by Edouard Machery
13.45-14.30: Peter Hawke (UvA) and Tom Schoonen (UvA)
14.30-15.15: Benedikt Löwe (UvA)
15.15-15.45: Coffee break
15.45-16.30: Catarina Dutilh Novaes (VU)
16.30-17.15: Manuel Gustavo Isaac (UvA)

Please note that registration is required.

This colloquium addresses the design and use of models to represent the beliefs and knowledge of agents as well as changes in the beliefs and knowledge of social communities.

The colloquium unites researchers who use a variety of formal tools to study the process of belief formation, belief revision and knowledge updating in social communities. We focus on multi-agent scenarios centered around topics such as belief merge, social-epistemic influence, group knowledge, and belief-polarisation.

Our approach will be interdisciplinary in nature and brings together insights originating from Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Network Theory, Cognitive Science and AI.

This event continues a long-standing tradition at Stanford of annual workshops in logic, broadly conceived, aimed at fostering discussion across disciplines and universities, with the added goal of involving both junior and senior participants. The content of the workshop is drawn from the disciplines of logic, philosophy, mathematics, computer science, cognitive science, linguistics and economics, with an emphasis on exploring interdisciplinary contacts.

This event continues a long-standing tradition at Stanford of annual workshops in logic, broadly conceived, aimed at fostering discussion across disciplines and universities, with the added goal of involving both junior and senior participants. The content of the workshop is drawn from the disciplines of logic, philosophy, mathematics, computer science, cognitive science, linguistics and economics, with an emphasis on exploring interdisciplinary contacts.

The VIEG - 2018 will be held from 14.00 Fri. to the afternoon of Sat. June 8-9th 2018 at the School of Mathematics, University of Bristol

Invited participants include: David Aspero (UEA), Raffaela Cutolo (Naples), Mirna Dzamonja (UEA), Martin Goldstern (TU Vienna), Asaf Karagila (UEA), Benedikt Löwe (Hamburg, ILLC Amsterdam), Charles Morgan (Bristol).

The Department of Mathematics of the University of Turin will host the following two 1-day workshops in logic:

- Workshop on Wadge Theory and Automata II (June 8th, speakers: Jacques Duparc, Olivier Finkel, Matteo Mio, Michał Skrzypczak, Louis Vuilleumier)

- Descriptive Set Theory Day in Turin (June 12th, speakers: Gianluca Basso, Gianluca Paolini, Marcin Sabok, Sławomir Solecki, Anush Tserunyan)

In both cases the participation is free, but please write an e-mail if you intend to come (we need a rough estimate on the number of participants).

The VIEG - 2018 will be held from 14.00 Fri. to the afternoon of Sat. June 8-9th 2018 at the School of Mathematics, University of Bristol

Invited participants include: David Aspero (UEA), Raffaela Cutolo (Naples), Mirna Dzamonja (UEA), Martin Goldstern (TU Vienna), Asaf Karagila (UEA), Benedikt Löwe (Hamburg, ILLC Amsterdam), Charles Morgan (Bristol).

The Department of Mathematics of the University of Turin will host the following two 1-day workshops in logic:

- Workshop on Wadge Theory and Automata II (June 8th, speakers: Jacques Duparc, Olivier Finkel, Matteo Mio, Michał Skrzypczak, Louis Vuilleumier)

- Descriptive Set Theory Day in Turin (June 12th, speakers: Gianluca Basso, Gianluca Paolini, Marcin Sabok, Sławomir Solecki, Anush Tserunyan)

In both cases the participation is free, but please write an e-mail if you intend to come (we need a rough estimate on the number of participants).

Poznań Reasoning Week 2018, which is the third edition of PRW, consists of three conferences, aimed at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling:
- Games and Reasoning 2018 (11 september)
- Logic and Cognition 2018 (12-13 september)
- Refutation Symposium 2018 (14-15 september)

The aim of the Games and Reasoning conference is to gather researchers from various fields who use games as tools in their research. The concept of a game includes here serious games, scientific discovery games, gamification techniques in science, games with a purpose as well as the more general approaches using game theoretical framework.

Logic and Cognition is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at shedding the light on actual reasoning processes.

Refutation systems are axiomatic systems applied to non-valid formulas (or sequents). A refutation system consists of refutation axioms and refutation rules. This approach is complementary to standard proof methods.  Although refutation systems are not widely known, we believe that the method has potential and can produce results that are both interesting and useful. The goal of the Refutation Symposium is to explain key concepts and techniques, and present new results on refutation systems.

AixDial will be the 22nd edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2018 the workshop will be hosted by Aix Marseille University, and organized by the Language and Speech Lab (LPL) as well as the Computer Science Lab (LIS). It will be collocated with the Workshop on Prosody and Meaning: Information Structure and Beyond.

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.

Invited Speakers: Yiannis Moschovakis (Los Angeles & Athens), Andreas Herzig (CNRS, IRIT, Toulouse), Alessandra Palmigiano (TU Delft) and Amy Felty (Ottawa).

The Department of Mathematics of the University of Turin will host the following two 1-day workshops in logic:

- Workshop on Wadge Theory and Automata II (June 8th, speakers: Jacques Duparc, Olivier Finkel, Matteo Mio, Michał Skrzypczak, Louis Vuilleumier)

- Descriptive Set Theory Day in Turin (June 12th, speakers: Gianluca Basso, Gianluca Paolini, Marcin Sabok, Sławomir Solecki, Anush Tserunyan)

In both cases the participation is free, but please write an e-mail if you intend to come (we need a rough estimate on the number of participants).

Accessible categories are notable for their importance in other areas of mathematics, be it through combinatorial model categories in homotopy theory or abstract elementary classes in model theory, with large cardinal axioms from set theory often thrown into the mix. The goal of this workshop is to bring together practitioners from these different fields to try to break down barriers and build new connections.

The Department of Mathematics of the University of Turin will host the following two 1-day workshops in logic:

- Workshop on Wadge Theory and Automata II (June 8th, speakers: Jacques Duparc, Olivier Finkel, Matteo Mio, Michał Skrzypczak, Louis Vuilleumier)

- Descriptive Set Theory Day in Turin (June 12th, speakers: Gianluca Basso, Gianluca Paolini, Marcin Sabok, Sławomir Solecki, Anush Tserunyan)

In both cases the participation is free, but please write an e-mail if you intend to come (we need a rough estimate on the number of participants).

The workshop AsubL (Algebra & Substructural Logics) is a workshop on algebraic structures related to substructural logics. It is the sixth in the series and it will be held in Cagliari, Italy  as an event in the framework of SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics.

Invited speakers: Anatolij Dvurečenskij, Tomasz Kowalski, Hiroakira Ono (Founder of AsubL) and Constantine Tsinakis.

The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.

The scope of this event covers mathematical, computational, and philosophical logic. The major topics include (but are not limited to) the areas of Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Logic and Computer Science, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other non-classical Logics, Axiomatic Theories of Truth, and Philosophical Logic.

For more information, see scandiavianlogic dot org or contact sls2018 at flov.gu.se.

The Department of Mathematics of the University of Turin will host the following two 1-day workshops in logic:

- Workshop on Wadge Theory and Automata II (June 8th, speakers: Jacques Duparc, Olivier Finkel, Matteo Mio, Michał Skrzypczak, Louis Vuilleumier)

- Descriptive Set Theory Day in Turin (June 12th, speakers: Gianluca Basso, Gianluca Paolini, Marcin Sabok, Sławomir Solecki, Anush Tserunyan)

In both cases the participation is free, but please write an e-mail if you intend to come (we need a rough estimate on the number of participants).

The workshop AsubL (Algebra & Substructural Logics) is a workshop on algebraic structures related to substructural logics. It is the sixth in the series and it will be held in Cagliari, Italy  as an event in the framework of SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics.

Invited speakers: Anatolij Dvurečenskij, Tomasz Kowalski, Hiroakira Ono (Founder of AsubL) and Constantine Tsinakis.

The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.

The scope of this event covers mathematical, computational, and philosophical logic. The major topics include (but are not limited to) the areas of Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Logic and Computer Science, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other non-classical Logics, Axiomatic Theories of Truth, and Philosophical Logic.

For more information, see scandiavianlogic dot org or contact sls2018 at flov.gu.se.

Workshop held on the occasion of the two PhD defenses by Malvin Gattinger and Chenwei Shi.

The aim of GandALF 2018 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

The workshop AsubL (Algebra & Substructural Logics) is a workshop on algebraic structures related to substructural logics. It is the sixth in the series and it will be held in Cagliari, Italy  as an event in the framework of SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics.

Invited speakers: Anatolij Dvurečenskij, Tomasz Kowalski, Hiroakira Ono (Founder of AsubL) and Constantine Tsinakis.

The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.

The scope of this event covers mathematical, computational, and philosophical logic. The major topics include (but are not limited to) the areas of Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Logic and Computer Science, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other non-classical Logics, Axiomatic Theories of Truth, and Philosophical Logic.

For more information, see scandiavianlogic dot org or contact sls2018 at flov.gu.se.

The study of dialogue investigates how natural language is used in interaction between interlocutors and how coordination and successful communication is achieved. However, studies on dialogue have often taken for granted that we align our perceptual representations, an unsustainable assumption when we consider interactions between agents with obviously different perceptual capabilities, such as humans and avators or robots.

Contrarily, studies of perception have focussed on how an agent interacts with and interprets the information from their perceptual environment. In the last decade there has been impressive progress on integrated approaches to language, action, and perception. However, these have a limited integration to the dynamics of dialogue and often fail to take into account the incremental and context sensitive nature of language and the environment.

The aim of this workshop is to initiate a genuine dialogue between these related areas and to examine different approaches from computational, linguistic and psychological perspectives and how these can inform each other. It will feature invited talks by leading researchers in these areas, and high level contributed papers, presented as posters, selected through open competition and rigorous review.

The workshop precedes Julia Ilin's PhD defense (June 15, 12h, Agnietenkapel). We will hear talks by the committee members and other experts from the field. The theme of the workshop is the application of universal algebra and topological dualities in the study of non-classical logics.

Scalarity is a rich field of study in linguistics and logic. Linguistically, it enters into the meaning of a wide range of expressions. The best-known case in degree semantics may well be the gradable adjective (tall, short, likely, good ), but crosscategorially many other cases have been detected and analysed in similar scalar terms. LNAT4 seeks to consider (i) the nature and variation of scalarity in language and logic, (ii) the diagrams proposed for scalar notions, as well as (iii) the nature of possible connections between logico-linguistic scalar concepts and perception scales.

Invited Speakers: Christopher Kennedy (University of Chicago) and Stefanie Solt (Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS).

The study of dialogue investigates how natural language is used in interaction between interlocutors and how coordination and successful communication is achieved. However, studies on dialogue have often taken for granted that we align our perceptual representations, an unsustainable assumption when we consider interactions between agents with obviously different perceptual capabilities, such as humans and avators or robots.

Contrarily, studies of perception have focussed on how an agent interacts with and interprets the information from their perceptual environment. In the last decade there has been impressive progress on integrated approaches to language, action, and perception. However, these have a limited integration to the dynamics of dialogue and often fail to take into account the incremental and context sensitive nature of language and the environment.

The aim of this workshop is to initiate a genuine dialogue between these related areas and to examine different approaches from computational, linguistic and psychological perspectives and how these can inform each other. It will feature invited talks by leading researchers in these areas, and high level contributed papers, presented as posters, selected through open competition and rigorous review.

The interplay between logic and argumentation has a long history, from ancient Aristotle's logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China.

Logic and Probability have a long partnership, having survived together as a legacy from Leibniz, Bernoulli, De Morgan, Boole, Bolzano, Peirce, Keynes, Carnap, Popper and several other contemporary thinkers. According to this tradition, the problem of generalizing logical consequence relations raises questions that transcends both logic and probability, as a consequence of modern logical pluralism. This also leads to a probability pluralism, represented by non-standard theories of probability (i.e., theories of probability based on non-classical logics) that open new avenues and pose new challenges to theory and to applications.

All such tendencies and areas of investigation are naturally generalized to possibility logics, necessity logics and other credal calculi that extend probability, considering that belief can be regarded as generalized probability or as evidence. This workshop intends to contribute to the state-of-the-art of such research topics, emphasizing the connections between all such topics.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

The interplay between logic and argumentation has a long history, from ancient Aristotle's logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China.

Logic and Probability have a long partnership, having survived together as a legacy from Leibniz, Bernoulli, De Morgan, Boole, Bolzano, Peirce, Keynes, Carnap, Popper and several other contemporary thinkers. According to this tradition, the problem of generalizing logical consequence relations raises questions that transcends both logic and probability, as a consequence of modern logical pluralism. This also leads to a probability pluralism, represented by non-standard theories of probability (i.e., theories of probability based on non-classical logics) that open new avenues and pose new challenges to theory and to applications.

All such tendencies and areas of investigation are naturally generalized to possibility logics, necessity logics and other credal calculi that extend probability, considering that belief can be regarded as generalized probability or as evidence. This workshop intends to contribute to the state-of-the-art of such research topics, emphasizing the connections between all such topics.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

Understanding the ontological nature of economic concepts and institutions is crucial for providing principled modelling in many important domains such as enterprise modelling, business processes, and social ontology. A significant number of fundamental concepts that are ubiquitous in economics have only recently been approached from an ontological perspective. For instance: value, risk, preference, utility, capability, good, service, exchange, transaction, competition. This workshop offers a venue to gather the recent contributions to this important topic.

The workshop is part of the Joint Ontology Workshop Programme associated with the 10th International Conference on Formal Ontology in Information Systems (FOIS).

Logic and Probability have a long partnership, having survived together as a legacy from Leibniz, Bernoulli, De Morgan, Boole, Bolzano, Peirce, Keynes, Carnap, Popper and several other contemporary thinkers. According to this tradition, the problem of generalizing logical consequence relations raises questions that transcends both logic and probability, as a consequence of modern logical pluralism. This also leads to a probability pluralism, represented by non-standard theories of probability (i.e., theories of probability based on non-classical logics) that open new avenues and pose new challenges to theory and to applications.

All such tendencies and areas of investigation are naturally generalized to possibility logics, necessity logics and other credal calculi that extend probability, considering that belief can be regarded as generalized probability or as evidence. This workshop intends to contribute to the state-of-the-art of such research topics, emphasizing the connections between all such topics.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

Diagrams 2018 is the tenth conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.

The conference, held in honor of Thomas C. Hales on the occasion of his 60th birthday, will feature talks on representation theory, discrete geometry, and formal verification, with 1.5 days dedicated to each of these topics and with broadly accessible public lectures at the interfaces.

LOGICA 2018 is the 32nd in the series of annual international symposia devoted to logic to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), on 18 – 22 June 2018.

Invited speakers are Samson Abramsky, Francesco Berto, Danielle Macbeth, and Jaroslav Peregrin. A tutorial will be given by Carles Noguera i Clofent.

As was the case with the earlier editions, EASSS-2018 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses will be taught by leading researchers in the field and are aimed at Masters and PhD students, but can be attended by any interested researcher.

EASSS 2018 is organised under the auspices of EURAMAS, the European Association for Multi-Agent Systems.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

Logic and Probability have a long partnership, having survived together as a legacy from Leibniz, Bernoulli, De Morgan, Boole, Bolzano, Peirce, Keynes, Carnap, Popper and several other contemporary thinkers. According to this tradition, the problem of generalizing logical consequence relations raises questions that transcends both logic and probability, as a consequence of modern logical pluralism. This also leads to a probability pluralism, represented by non-standard theories of probability (i.e., theories of probability based on non-classical logics) that open new avenues and pose new challenges to theory and to applications.

All such tendencies and areas of investigation are naturally generalized to possibility logics, necessity logics and other credal calculi that extend probability, considering that belief can be regarded as generalized probability or as evidence. This workshop intends to contribute to the state-of-the-art of such research topics, emphasizing the connections between all such topics.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

Diagrams 2018 is the tenth conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.

The conference, held in honor of Thomas C. Hales on the occasion of his 60th birthday, will feature talks on representation theory, discrete geometry, and formal verification, with 1.5 days dedicated to each of these topics and with broadly accessible public lectures at the interfaces.

LOGICA 2018 is the 32nd in the series of annual international symposia devoted to logic to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), on 18 – 22 June 2018.

Invited speakers are Samson Abramsky, Francesco Berto, Danielle Macbeth, and Jaroslav Peregrin. A tutorial will be given by Carles Noguera i Clofent.

As was the case with the earlier editions, EASSS-2018 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses will be taught by leading researchers in the field and are aimed at Masters and PhD students, but can be attended by any interested researcher.

EASSS 2018 is organised under the auspices of EURAMAS, the European Association for Multi-Agent Systems.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

Logic and Probability have a long partnership, having survived together as a legacy from Leibniz, Bernoulli, De Morgan, Boole, Bolzano, Peirce, Keynes, Carnap, Popper and several other contemporary thinkers. According to this tradition, the problem of generalizing logical consequence relations raises questions that transcends both logic and probability, as a consequence of modern logical pluralism. This also leads to a probability pluralism, represented by non-standard theories of probability (i.e., theories of probability based on non-classical logics) that open new avenues and pose new challenges to theory and to applications.

All such tendencies and areas of investigation are naturally generalized to possibility logics, necessity logics and other credal calculi that extend probability, considering that belief can be regarded as generalized probability or as evidence. This workshop intends to contribute to the state-of-the-art of such research topics, emphasizing the connections between all such topics.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

Diagrams 2018 is the tenth conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.

The conference, held in honor of Thomas C. Hales on the occasion of his 60th birthday, will feature talks on representation theory, discrete geometry, and formal verification, with 1.5 days dedicated to each of these topics and with broadly accessible public lectures at the interfaces.

LOGICA 2018 is the 32nd in the series of annual international symposia devoted to logic to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), on 18 – 22 June 2018.

Invited speakers are Samson Abramsky, Francesco Berto, Danielle Macbeth, and Jaroslav Peregrin. A tutorial will be given by Carles Noguera i Clofent.

As was the case with the earlier editions, EASSS-2018 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses will be taught by leading researchers in the field and are aimed at Masters and PhD students, but can be attended by any interested researcher.

EASSS 2018 is organised under the auspices of EURAMAS, the European Association for Multi-Agent Systems.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

Diagrams 2018 is the tenth conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.

The conference, held in honor of Thomas C. Hales on the occasion of his 60th birthday, will feature talks on representation theory, discrete geometry, and formal verification, with 1.5 days dedicated to each of these topics and with broadly accessible public lectures at the interfaces.

LOGICA 2018 is the 32nd in the series of annual international symposia devoted to logic to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), on 18 – 22 June 2018.

Invited speakers are Samson Abramsky, Francesco Berto, Danielle Macbeth, and Jaroslav Peregrin. A tutorial will be given by Carles Noguera i Clofent.

As was the case with the earlier editions, EASSS-2018 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses will be taught by leading researchers in the field and are aimed at Masters and PhD students, but can be attended by any interested researcher.

EASSS 2018 is organised under the auspices of EURAMAS, the European Association for Multi-Agent Systems.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

The International Association for Computing and Philosophy promotes philosophical dialogue and interdisciplinary research on all aspects of the computational and informational turn. Coming to these issues from a rich variety of disciplines, IACAP's members have a tradition of helping to shape philosophical and ethical debates about the nature, development, application, and limits of computation, information technologies, and artificial intelligence. IACAP's 2018 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists to explore these topics. Keynote speakers include Ned Block (NYU) and Ed Zalta (Stanford).

We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.

Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.

Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).

The workshop will discuss new insights in the interaction between logic and law, and more precisely the study of different answers to the question: What role does logic play in legal reasoning? It will present both current challenges and historical perspectives in the relation between logic and law.

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 2018 workshop will be part of the 41st German Conference on Artificial Intelligence (KI-2018).

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

Diagrams 2018 is the tenth conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.

The conference, held in honor of Thomas C. Hales on the occasion of his 60th birthday, will feature talks on representation theory, discrete geometry, and formal verification, with 1.5 days dedicated to each of these topics and with broadly accessible public lectures at the interfaces.

LOGICA 2018 is the 32nd in the series of annual international symposia devoted to logic to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), on 18 – 22 June 2018.

Invited speakers are Samson Abramsky, Francesco Berto, Danielle Macbeth, and Jaroslav Peregrin. A tutorial will be given by Carles Noguera i Clofent.

As was the case with the earlier editions, EASSS-2018 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses will be taught by leading researchers in the field and are aimed at Masters and PhD students, but can be attended by any interested researcher.

EASSS 2018 is organised under the auspices of EURAMAS, the European Association for Multi-Agent Systems.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

The International Association for Computing and Philosophy promotes philosophical dialogue and interdisciplinary research on all aspects of the computational and informational turn. Coming to these issues from a rich variety of disciplines, IACAP's members have a tradition of helping to shape philosophical and ethical debates about the nature, development, application, and limits of computation, information technologies, and artificial intelligence. IACAP's 2018 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists to explore these topics. Keynote speakers include Ned Block (NYU) and Ed Zalta (Stanford).

We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.

Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.

Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).

The workshop will discuss new insights in the interaction between logic and law, and more precisely the study of different answers to the question: What role does logic play in legal reasoning? It will present both current challenges and historical perspectives in the relation between logic and law.

You are invited to a one day workshop on the logic of contradictions in Leeds on 22nd June. What follows from a contradiction: everything, something (but not everything), or nothing? What have philosophers and logicians thought historically? What are people saying now?

Speakers: Graham Priest (CUNY), Sara Uckelmann (Durham), Catarina Dutilh Novaes (Groningen) and Alex Douglas (St Andrews). Attendance is free and refreshments will be provided. However, you are asked to register on-line since places will be limited,

The day before the workshop, 21st June, there will be a student workshop introducing current themes in philosophical logic. Graham Priest and Berta Grimau will be speaking at this.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

The International Association for Computing and Philosophy promotes philosophical dialogue and interdisciplinary research on all aspects of the computational and informational turn. Coming to these issues from a rich variety of disciplines, IACAP's members have a tradition of helping to shape philosophical and ethical debates about the nature, development, application, and limits of computation, information technologies, and artificial intelligence. IACAP's 2018 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists to explore these topics. Keynote speakers include Ned Block (NYU) and Ed Zalta (Stanford).

We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.

Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.

Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).

The workshop will discuss new insights in the interaction between logic and law, and more precisely the study of different answers to the question: What role does logic play in legal reasoning? It will present both current challenges and historical perspectives in the relation between logic and law.

The presently announced workshop aims at an account of logic as construed from logicians' practices of writing and reading, both when working a problem in logic. and when communicating logical problems and solutions with othres. Further interests are activities of commenting or reviewing, and of publishing and collecting. In order to take an interdisciplinary stance, the workshop will allow for a variety of approaches.

Keynote speakers: Prof. Dr. Volker Peckhaus (University of Paderborn), Editor-in-Chief of History and Philosophy of Logic Prof. Dr. Dirk Schlimm (McGill University Montreal / LMU Munich) PD. Dr. Matthias Wille (University of Paderborn).

The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.

NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.

Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.

Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).

The workshop will discuss new insights in the interaction between logic and law, and more precisely the study of different answers to the question: What role does logic play in legal reasoning? It will present both current challenges and historical perspectives in the relation between logic and law.

The presently announced workshop aims at an account of logic as construed from logicians' practices of writing and reading, both when working a problem in logic. and when communicating logical problems and solutions with othres. Further interests are activities of commenting or reviewing, and of publishing and collecting. In order to take an interdisciplinary stance, the workshop will allow for a variety of approaches.

Keynote speakers: Prof. Dr. Volker Peckhaus (University of Paderborn), Editor-in-Chief of History and Philosophy of Logic Prof. Dr. Dirk Schlimm (McGill University Montreal / LMU Munich) PD. Dr. Matthias Wille (University of Paderborn).

The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.

NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.

Keynote Speaker: Thomas Noll (Barcelona, Spain)

Description: This workshop shall represent a privileged platform to make an important step forward to new universal approaches to logic(s) of music. The Workshop focuses on the relatively autonomous approaches to logic(s) of music and musical logic, i.e. logic in pieces of musical compositions. We invite composers, conductors, musicians and musicologists interested in the interplay between logic and music to submit a paper or just active participation. Another objective is to bring together researchers from all over the world into closer contact.

The event "Toposes in Como", which represents the second edition of the conference "Topos à l'IHES" held in France in 2015, will consist of a three-day school, offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day conference featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis and computer science.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.

Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.

Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).

The workshop will discuss new insights in the interaction between logic and law, and more precisely the study of different answers to the question: What role does logic play in legal reasoning? It will present both current challenges and historical perspectives in the relation between logic and law.

The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.

NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.

Keynote Speaker: Thomas Noll (Barcelona, Spain)

Description: This workshop shall represent a privileged platform to make an important step forward to new universal approaches to logic(s) of music. The Workshop focuses on the relatively autonomous approaches to logic(s) of music and musical logic, i.e. logic in pieces of musical compositions. We invite composers, conductors, musicians and musicologists interested in the interplay between logic and music to submit a paper or just active participation. Another objective is to bring together researchers from all over the world into closer contact.

The event "Toposes in Como", which represents the second edition of the conference "Topos à l'IHES" held in France in 2015, will consist of a three-day school, offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day conference featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis and computer science.

The Workshop on Logical Geometry and its Applications (WoLGA) at UNILOG 2018 aims to deepen our theoretical understanding of the logical and diagrammatic behavior of Aristotelian diagrams, as well as to broaden our perspective on their (historical and contemporary) applications.

The keynote speaker at WoLGA will be Amirouche Moktefi (Talinn University of Technology, Estonia).

Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

The XXIInd European Symposium on Medieval Logic and Semantics will have the topic "Language, Thought, and Reality: The Continental and British Traditions of Medieval Logic Revisited".

The aims of the Young Set Theory workshops are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

Tutorials: Ilijas Farah (York University), Assaf Rinot (Bar-Ilan University), Christian Rosendal (University of Illinois at Chicago) and Dima Sinapova (University of Illinois at Chicago).

P&C 2018 is an interdisciplinary meeting which aims to bring together researchers from various domains with interests in physics and computation. Research and important issues relating to the interface between physics and the theories of computation, computability and information, including their application to physical systems, will be presented and discussed. The workshop will be held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which is being held from 25-29 June 2018.

Invited Speakers: Judit X. Madarász, Oron Shagrir

The EPICENTER, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).

Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.

Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.

Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).

The workshop will discuss new insights in the interaction between logic and law, and more precisely the study of different answers to the question: What role does logic play in legal reasoning? It will present both current challenges and historical perspectives in the relation between logic and law.

The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.

NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.

The event "Toposes in Como", which represents the second edition of the conference "Topos à l'IHES" held in France in 2015, will consist of a three-day school, offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day conference featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis and computer science.

Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

The XXIInd European Symposium on Medieval Logic and Semantics will have the topic "Language, Thought, and Reality: The Continental and British Traditions of Medieval Logic Revisited".

The aims of the Young Set Theory workshops are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

Tutorials: Ilijas Farah (York University), Assaf Rinot (Bar-Ilan University), Christian Rosendal (University of Illinois at Chicago) and Dima Sinapova (University of Illinois at Chicago).

P&C 2018 is an interdisciplinary meeting which aims to bring together researchers from various domains with interests in physics and computation. Research and important issues relating to the interface between physics and the theories of computation, computability and information, including their application to physical systems, will be presented and discussed. The workshop will be held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which is being held from 25-29 June 2018.

Invited Speakers: Judit X. Madarász, Oron Shagrir

The EPICENTER, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.

The workshops in the Philosophy of Information bring together various philosophical perspectives on the nature and dynamics of information, and focus in particular on novel philosophical questions that arise in the information society. The central theme for the 9th workshop in the series is information visualisation.

Our aim is to focus on informational artefacts that encode or convey information in order to try and explain why visualisations can play a certain epistemic role and why certain visualisation are more effective than others. A special attention will be given to the study of how scientists rely on visualisations and how visual artefacts are designed in the sciences. On this basis, we wish to explore convergences between the philosophy of information and the philosophy of science as well as between the formal sciences (logic, computing) and the philosophy of information.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.

NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.

Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

The XXIInd European Symposium on Medieval Logic and Semantics will have the topic "Language, Thought, and Reality: The Continental and British Traditions of Medieval Logic Revisited".

The aims of the Young Set Theory workshops are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

Tutorials: Ilijas Farah (York University), Assaf Rinot (Bar-Ilan University), Christian Rosendal (University of Illinois at Chicago) and Dima Sinapova (University of Illinois at Chicago).

P&C 2018 is an interdisciplinary meeting which aims to bring together researchers from various domains with interests in physics and computation. Research and important issues relating to the interface between physics and the theories of computation, computability and information, including their application to physical systems, will be presented and discussed. The workshop will be held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which is being held from 25-29 June 2018.

Invited Speakers: Judit X. Madarász, Oron Shagrir

The EPICENTER, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.

The workshops in the Philosophy of Information bring together various philosophical perspectives on the nature and dynamics of information, and focus in particular on novel philosophical questions that arise in the information society. The central theme for the 9th workshop in the series is information visualisation.

Our aim is to focus on informational artefacts that encode or convey information in order to try and explain why visualisations can play a certain epistemic role and why certain visualisation are more effective than others. A special attention will be given to the study of how scientists rely on visualisations and how visual artefacts are designed in the sciences. On this basis, we wish to explore convergences between the philosophy of information and the philosophy of science as well as between the formal sciences (logic, computing) and the philosophy of information.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.

NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.

The XXIInd European Symposium on Medieval Logic and Semantics will have the topic "Language, Thought, and Reality: The Continental and British Traditions of Medieval Logic Revisited".

The aims of the Young Set Theory workshops are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

Tutorials: Ilijas Farah (York University), Assaf Rinot (Bar-Ilan University), Christian Rosendal (University of Illinois at Chicago) and Dima Sinapova (University of Illinois at Chicago).

P&C 2018 is an interdisciplinary meeting which aims to bring together researchers from various domains with interests in physics and computation. Research and important issues relating to the interface between physics and the theories of computation, computability and information, including their application to physical systems, will be presented and discussed. The workshop will be held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which is being held from 25-29 June 2018.

Invited Speakers: Judit X. Madarász, Oron Shagrir

The EPICENTER, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.

The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.

NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.

The XXIInd European Symposium on Medieval Logic and Semantics will have the topic "Language, Thought, and Reality: The Continental and British Traditions of Medieval Logic Revisited".

The aims of the Young Set Theory workshops are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

Tutorials: Ilijas Farah (York University), Assaf Rinot (Bar-Ilan University), Christian Rosendal (University of Illinois at Chicago) and Dima Sinapova (University of Illinois at Chicago).

P&C 2018 is an interdisciplinary meeting which aims to bring together researchers from various domains with interests in physics and computation. Research and important issues relating to the interface between physics and the theories of computation, computability and information, including their application to physical systems, will be presented and discussed. The workshop will be held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which is being held from 25-29 June 2018.

Invited Speakers: Judit X. Madarász, Oron Shagrir

The EPICENTER, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.

This two days DMV Studierendenkolleg is concerned with the topic of undecidability. In several talks and workshops we will be introduced to the topic and receive an overview, also concerning the intersections with other topics in mathematics (here infinite combinatorics). Finally we will catch a glimpse of today's scientific borders in two research talks.

Speakers: Carolin Antos (U Konstanz), Nathan Bowler (U Hamburg), Martin Goldstern (TU Vienna), Pascal Gollin (U Hamburg), Regula Krapf (U Koblenz-Landau), Christian Reiher (U Hamburg) and Daniel T. Soukup (U Vienna).

As organizers of this year’s ABC Day we want to provide you with the opportunity to discover all research treasures that ABC is hiding, and build bridges to connect the involved researchers. This format is radically different form the former ‘Brain Day’, as the majority of the audience were typically students from the ABC Summer School. This time, especially researchers (PhDs, post-docs, assistant/associate/full professors) are invited to attend and actively participate.

The day will consist of four elements:
- ABC Mission Statement
- Department highlights
- Pitch talks
- Drinks and bites

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.

Compositional Approaches for Physics, NLP, and Social Sciences (CAPNS 2018) will be colocated with QI 2018. The workshop is a continuation and extension of the Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, held in June 2016.

The ability to compose parts to form a more complex whole, and to analyze a whole as a combination of elements, is desirable across disciplines. In this workshop we bring together researchers applying compositional approaches to NLP, Physics, Cognitive Science, and Game Theory. The categorical model of Coecke et al. [2010], inspired by quantum protocols, has provided a convincing account of compositionality in vector space models of NLP. Similar category-theoretic approaches have been applied in cognitive science, and now are being extended to game theory. The interplay between the three disciplines will foster theoretically motivated approaches to understanding how meanings of words interact in sentences and discourse, how concepts develop, and how complex games can be analyzed. Commonalities between the compositional mechanisms employed may be extracted, and applications and phenomena traditionally thought of as 'non-compositional' will be examined.

The EPICENTER, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field takes a new, fresh approach to game theory, and studies how people reason in game theoretic situations before they eventually make a choice. More precisely, it explores how we reason about the minds of others before we make a choice. Hence, the reasoning of people like you and me is at the center stage of epistemic game theory.

This two days DMV Studierendenkolleg is concerned with the topic of undecidability. In several talks and workshops we will be introduced to the topic and receive an overview, also concerning the intersections with other topics in mathematics (here infinite combinatorics). Finally we will catch a glimpse of today's scientific borders in two research talks.

Speakers: Carolin Antos (U Konstanz), Nathan Bowler (U Hamburg), Martin Goldstern (TU Vienna), Pascal Gollin (U Hamburg), Regula Krapf (U Koblenz-Landau), Christian Reiher (U Hamburg) and Daniel T. Soukup (U Vienna).