"Games" journal is an open access journal devoted to game theory. Logicians and game theorists have long found that ideas from each other's fields can usefully inform their own. While the majority of work at the intersection of logic and games has arguably focused on zero-sum/win-lose games, there has recently been much interest in the logical foundations of general sum games, and solution concepts, such as Nash equilibrium. The aim of this Special Issue is to profile the state-of-the-art in logic and game theory, and showcase the key problems and directions that are driving research in the area.

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.

Studying medieval logic can make us aware of the consequences of certain ideas in at least two ways. First, the problems that medieval logicians were tackling are in many cases still with us today and still unresolved, more so than in some more recent periods. Secondly, though medieval academia was small in comparison to its modern counterpart, logic played a key role in the medieval curriculum and was the object of close attention by some remarkably perceptive thinkers. So the study of medieval logic has particular contemporary relevance and can yield many insights into contemporary puzzles in philosophy of logic. The object of the workshop is to encourage investigation into these connections and to showcase notable examples.

The workshop is heavily slanted toward discussion and collaboration. We want to instigate a multi-disciplinary research program in which concepts, structures, and methods from one discipline can be reused in another. Tangibly and in the short-term, we will bring together people from different disciplines in order to write an expository survey paper that grounds the varied research in applied category theory and lays out the parameters of the research program.

A limited number of speakers will give overview talks intended to instigate discussion, including Samson Abramsky (Oxford), John Baez (UC Riverside), Kathryn Hess (EPFL), Mehrnoosh Sadrzadeh (Queen Mary) and David Spivak (MIT).

"PhDs in Logic" is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20 minute) presentations by PhD students, master students and first-year postdocs on their research. The tenth edition of "PhDs in Logic" will take place at the Institute of Philosophy of the Czech Academy of Sciences.

The tutorial speakers are: Chris Fermüller (TU Wien, Austria), Radek Honzík (Charles University, Czech Republic), Jan Krajíček (Czech Academy of Sciences, Czech Republic), Roman Kuznets (TU Wien, Austria) and Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne, France).

The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) ,  an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry.

LC 2018 will include tutorials by Katrin Tent (WWU Münster) and Ulrike Sattler (University of Manchester), a Gödel Lecture by Rod Downey (Victoria University of Wellington), and 6 special sessions on the topics of Descriptive set theory and dynamical systems, Model theory, Proof theory and constructivism, Temporal and multivalued logics, Computability theory, and Philosophy of Logic and Mathematics.

Studying medieval logic can make us aware of the consequences of certain ideas in at least two ways. First, the problems that medieval logicians were tackling are in many cases still with us today and still unresolved, more so than in some more recent periods. Secondly, though medieval academia was small in comparison to its modern counterpart, logic played a key role in the medieval curriculum and was the object of close attention by some remarkably perceptive thinkers. So the study of medieval logic has particular contemporary relevance and can yield many insights into contemporary puzzles in philosophy of logic. The object of the workshop is to encourage investigation into these connections and to showcase notable examples.

The workshop is heavily slanted toward discussion and collaboration. We want to instigate a multi-disciplinary research program in which concepts, structures, and methods from one discipline can be reused in another. Tangibly and in the short-term, we will bring together people from different disciplines in order to write an expository survey paper that grounds the varied research in applied category theory and lays out the parameters of the research program.

A limited number of speakers will give overview talks intended to instigate discussion, including Samson Abramsky (Oxford), John Baez (UC Riverside), Kathryn Hess (EPFL), Mehrnoosh Sadrzadeh (Queen Mary) and David Spivak (MIT).

"PhDs in Logic" is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20 minute) presentations by PhD students, master students and first-year postdocs on their research. The tenth edition of "PhDs in Logic" will take place at the Institute of Philosophy of the Czech Academy of Sciences.

The tutorial speakers are: Chris Fermüller (TU Wien, Austria), Radek Honzík (Charles University, Czech Republic), Jan Krajíček (Czech Academy of Sciences, Czech Republic), Roman Kuznets (TU Wien, Austria) and Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne, France).

The workshop is heavily slanted toward discussion and collaboration. We want to instigate a multi-disciplinary research program in which concepts, structures, and methods from one discipline can be reused in another. Tangibly and in the short-term, we will bring together people from different disciplines in order to write an expository survey paper that grounds the varied research in applied category theory and lays out the parameters of the research program.

A limited number of speakers will give overview talks intended to instigate discussion, including Samson Abramsky (Oxford), John Baez (UC Riverside), Kathryn Hess (EPFL), Mehrnoosh Sadrzadeh (Queen Mary) and David Spivak (MIT).

"PhDs in Logic" is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20 minute) presentations by PhD students, master students and first-year postdocs on their research. The tenth edition of "PhDs in Logic" will take place at the Institute of Philosophy of the Czech Academy of Sciences.

The tutorial speakers are: Chris Fermüller (TU Wien, Austria), Radek Honzík (Charles University, Czech Republic), Jan Krajíček (Czech Academy of Sciences, Czech Republic), Roman Kuznets (TU Wien, Austria) and Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne, France).

This school provides an introduction to some of the main topics of the trimester program; the lectures are mainly directed at PhD students and young postdocs.

Speakers and topics:
Peter Aczel: Constructive set theory
Robert Constable: Proof assistants and formalization
Thierry Coquand: Constructive algebra
Martín Escardó: Univalent type theory
Matthew Hendtlass: Constructive analysis
Simon Huber: Homotopy type theory
Rosalie Iemhoff: Structural proof theory
Ulrich Kohlenbach: Extraction of information from proofs
Peter Dybjer: Intuitionistic type theory
Andreas Weiermann: Higher proof theory and combinatorics

The workshop is heavily slanted toward discussion and collaboration. We want to instigate a multi-disciplinary research program in which concepts, structures, and methods from one discipline can be reused in another. Tangibly and in the short-term, we will bring together people from different disciplines in order to write an expository survey paper that grounds the varied research in applied category theory and lays out the parameters of the research program.

A limited number of speakers will give overview talks intended to instigate discussion, including Samson Abramsky (Oxford), John Baez (UC Riverside), Kathryn Hess (EPFL), Mehrnoosh Sadrzadeh (Queen Mary) and David Spivak (MIT).

"PhDs in Logic" is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20 minute) presentations by PhD students, master students and first-year postdocs on their research. The tenth edition of "PhDs in Logic" will take place at the Institute of Philosophy of the Czech Academy of Sciences.

The tutorial speakers are: Chris Fermüller (TU Wien, Austria), Radek Honzík (Charles University, Czech Republic), Jan Krajíček (Czech Academy of Sciences, Czech Republic), Roman Kuznets (TU Wien, Austria) and Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne, France).

This school provides an introduction to some of the main topics of the trimester program; the lectures are mainly directed at PhD students and young postdocs.

Speakers and topics:
Peter Aczel: Constructive set theory
Robert Constable: Proof assistants and formalization
Thierry Coquand: Constructive algebra
Martín Escardó: Univalent type theory
Matthew Hendtlass: Constructive analysis
Simon Huber: Homotopy type theory
Rosalie Iemhoff: Structural proof theory
Ulrich Kohlenbach: Extraction of information from proofs
Peter Dybjer: Intuitionistic type theory
Andreas Weiermann: Higher proof theory and combinatorics

This school provides an introduction to some of the main topics of the trimester program; the lectures are mainly directed at PhD students and young postdocs.

Speakers and topics:
Peter Aczel: Constructive set theory
Robert Constable: Proof assistants and formalization
Thierry Coquand: Constructive algebra
Martín Escardó: Univalent type theory
Matthew Hendtlass: Constructive analysis
Simon Huber: Homotopy type theory
Rosalie Iemhoff: Structural proof theory
Ulrich Kohlenbach: Extraction of information from proofs
Peter Dybjer: Intuitionistic type theory
Andreas Weiermann: Higher proof theory and combinatorics

This school provides an introduction to some of the main topics of the trimester program; the lectures are mainly directed at PhD students and young postdocs.

Speakers and topics:
Peter Aczel: Constructive set theory
Robert Constable: Proof assistants and formalization
Thierry Coquand: Constructive algebra
Martín Escardó: Univalent type theory
Matthew Hendtlass: Constructive analysis
Simon Huber: Homotopy type theory
Rosalie Iemhoff: Structural proof theory
Ulrich Kohlenbach: Extraction of information from proofs
Peter Dybjer: Intuitionistic type theory
Andreas Weiermann: Higher proof theory and combinatorics

The e-Ideas Group at the University of Amsterdam, Netherlands is pleased to announce its first workshop, taking place in dates 13-14th July 2018 in Amsterdam.

The aim of the workshop will be to foster discussion on the development of mathematics and related themes in philosophy in the German speaking context during the 19th century.

Confirmed keynote speakers: Paola Basso (University of Bucharest, Romania), Paola Cantù (Université Aix-Marseille, France), Jeremy Heis (University of California, Irvine, U.S.A.) and James Tappenden (University of Michigan, U.S.A.).

This school provides an introduction to some of the main topics of the trimester program; the lectures are mainly directed at PhD students and young postdocs.

Speakers and topics:
Peter Aczel: Constructive set theory
Robert Constable: Proof assistants and formalization
Thierry Coquand: Constructive algebra
Martín Escardó: Univalent type theory
Matthew Hendtlass: Constructive analysis
Simon Huber: Homotopy type theory
Rosalie Iemhoff: Structural proof theory
Ulrich Kohlenbach: Extraction of information from proofs
Peter Dybjer: Intuitionistic type theory
Andreas Weiermann: Higher proof theory and combinatorics

This school provides an introduction to some of the main topics of the trimester program; the lectures are mainly directed at PhD students and young postdocs.

Speakers and topics:
Peter Aczel: Constructive set theory
Robert Constable: Proof assistants and formalization
Thierry Coquand: Constructive algebra
Martín Escardó: Univalent type theory
Matthew Hendtlass: Constructive analysis
Simon Huber: Homotopy type theory
Rosalie Iemhoff: Structural proof theory
Ulrich Kohlenbach: Extraction of information from proofs
Peter Dybjer: Intuitionistic type theory
Andreas Weiermann: Higher proof theory and combinatorics

This school provides an introduction to some of the main topics of the trimester program; the lectures are mainly directed at PhD students and young postdocs.

Speakers and topics:
Peter Aczel: Constructive set theory
Robert Constable: Proof assistants and formalization
Thierry Coquand: Constructive algebra
Martín Escardó: Univalent type theory
Matthew Hendtlass: Constructive analysis
Simon Huber: Homotopy type theory
Rosalie Iemhoff: Structural proof theory
Ulrich Kohlenbach: Extraction of information from proofs
Peter Dybjer: Intuitionistic type theory
Andreas Weiermann: Higher proof theory and combinatorics

Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop, affiliated with Federated Logic Conference (FLoC) 2018, invites papers on both topics. Invited speaker: Ann Copestake, University of Cambridge.

Reproduction and replication of research results are at the heart of the validation of scientific knowledge and of the scientific endeavor. But despite their key importance, reproduction and replication have not been sufficiently encouraged given the prevailing procedures and priorities for the reviewing, selection and publication of research results. This workshop seeks to foster the discussion and the advancement on a topic that has been given insufficient attention in the research area of language processing tools and resources and that has been an important topic emerging in other scientific areas. The workshop will be collocated with LREC 2018 11th Language Resources and Evaluation Conference.

Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018.

KR also features a Doctoral Consortium program, a student mentoring program bringing together PhD students and senior researchers from the area of KR. Application deadline: June 24, 2018.

TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications.

The spacetime conferences bring together physicists and philosophers and provide a forum where aspects and implications of the nature and ontology of spacetime are discussed.

To mark the 110th anniversary of Hermann Minkowski's groundbreaking lecture "Space and Time" the main theme of the Fifth International Conference on the Nature and Ontology of Spacetime will be the nature of spacetime - whether spacetime should be regarded merely as an abstract mathematical notion modelling an evolving present or spacetime represents a block universe or a growing block universe.

Thanks to the support of the Euler International Mathematical Institute, a new conference initiative called Logical Perspectives will start in 2018. The initiative aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations.

The topics include, but are not limited to:
- the foundations of mathematics and those of computing;
- logical methods in philosophy (e.g. in epistemology, the philosophy of mathematics or that of language);
- logical methods in mathematics;
- logical methods in computer science.

There will be only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to know more about the field.

ICGI, which has been organized bi-annually since early nineties, is the major forum for presentation and discussion of original research papers on all aspects of grammatical inference. The theme of ICGI 2018 will include theoretical and experimental analysis of various models of grammatical inference and algorithms for induction of different classes of languages and automata. This year we especially encourage submissions related to the domain of bioinformatics, which will be presented at a special joint session with the collocated Polish Bionformatics Society symposium.

The confirmed keynote speakers include: Colin de la Higuera (Nantes), Johannes Söding (Goettingen), and Frits Vaandrager (Nijmegen).

There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.

After a full decade of being hosted in various universities, BLAST returns to its birthplace. BLAST aims at bringing together researchers and students in the above-mentioned diverse areas and the scientific program will include three tutorials exposing the audience to various aspects of the these areas. There will also be seven invited lectures and contributed talks.

Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950ties, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The workshop assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress.

The workshop focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches.

Quantifiers are linguistic expressions encoding representations of quantities. Their study has been one of the great success stories in natural language semantics. On the other hand, the study of the mental representation of numerical and other quantitative information has become an active area of research in cognitive science and neuroscience. This workshop provides a venue for continued exploration of the interface between these two domains.

Keynote Speakers: Jakub Dotlačil (Amsterdam), Michael Franke (Tübingen), and Steven Piantadosi (Rochester).

Georg Cantor (1845-1918) is considered by many the father of modern set theory, his notion of cardinality bringing to life a proper class of different infinities! This conference aims to gather leading scientists from various areas of present-day set theory to celebrate his work.

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

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

Object and event perception are core features of human cognitive processing. Further, these core human cognitive abilities may be reflected differently in language and in perception. This symposium aims to integrate perspectives from different areas (including psychology, neuroscience, linguistics, computer science, AI, and philosophy).

The conference will include the Robert Blumberg Distinguished Lecture.

The spacetime conferences bring together physicists and philosophers and provide a forum where aspects and implications of the nature and ontology of spacetime are discussed.

To mark the 110th anniversary of Hermann Minkowski's groundbreaking lecture "Space and Time" the main theme of the Fifth International Conference on the Nature and Ontology of Spacetime will be the nature of spacetime - whether spacetime should be regarded merely as an abstract mathematical notion modelling an evolving present or spacetime represents a block universe or a growing block universe.

Thanks to the support of the Euler International Mathematical Institute, a new conference initiative called Logical Perspectives will start in 2018. The initiative aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations.

The topics include, but are not limited to:
- the foundations of mathematics and those of computing;
- logical methods in philosophy (e.g. in epistemology, the philosophy of mathematics or that of language);
- logical methods in mathematics;
- logical methods in computer science.

There will be only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to know more about the field.

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). In 2018 the colloquium is jointly organized by the Chair of Philosophy 1 and the Chair for Theoretical Computer Science of the University of Bayreuth, Germany. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence.

Keynote Speakers: Isolde Adler (Leeds, England), Joerg Brendle (Kobe, Japan), Douglas Cenzer (Gainesville FL, U.S.A.), Laura Fontanella (Marseille, France), Benny Kimelfeld (Haifa, Israel), Yang Liu (Cambridge, England), Sara Negri (Helsinki, Finland) and Charlotte Werndl (Salzburg, Austria). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

The spacetime conferences bring together physicists and philosophers and provide a forum where aspects and implications of the nature and ontology of spacetime are discussed.

To mark the 110th anniversary of Hermann Minkowski's groundbreaking lecture "Space and Time" the main theme of the Fifth International Conference on the Nature and Ontology of Spacetime will be the nature of spacetime - whether spacetime should be regarded merely as an abstract mathematical notion modelling an evolving present or spacetime represents a block universe or a growing block universe.

Thanks to the support of the Euler International Mathematical Institute, a new conference initiative called Logical Perspectives will start in 2018. The initiative aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations.

The topics include, but are not limited to:
- the foundations of mathematics and those of computing;
- logical methods in philosophy (e.g. in epistemology, the philosophy of mathematics or that of language);
- logical methods in mathematics;
- logical methods in computer science.

There will be only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to know more about the field.

The spacetime conferences bring together physicists and philosophers and provide a forum where aspects and implications of the nature and ontology of spacetime are discussed.

To mark the 110th anniversary of Hermann Minkowski's groundbreaking lecture "Space and Time" the main theme of the Fifth International Conference on the Nature and Ontology of Spacetime will be the nature of spacetime - whether spacetime should be regarded merely as an abstract mathematical notion modelling an evolving present or spacetime represents a block universe or a growing block universe.

Thanks to the support of the Euler International Mathematical Institute, a new conference initiative called Logical Perspectives will start in 2018. The initiative aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations.

The topics include, but are not limited to:
- the foundations of mathematics and those of computing;
- logical methods in philosophy (e.g. in epistemology, the philosophy of mathematics or that of language);
- logical methods in mathematics;
- logical methods in computer science.

There will be only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to know more about the field.

The Centre for Logic and Philosophy of Science (CLWF) of the Vrije Universiteit Brussel (VUB) will host its Second Masterclass in the Philosophy of Mathematical Practice on May, 17-19, with Prof. Dr. Karine Chemla (SPHERE, Université Paris 7 - CNRS, France). The Masterclass will be composed of three lectures, the tentative titles of which are as follows:

- Practices of Generality in the Mathematics of Ancient China and Beyond
- Working with Diagrams, Interpreting Diagrams. Views Based on Chinese Sources
- The Practices of Abstraction and their Interpretations in the Mathematics of Ancient China

We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. The lectures by Prof. Chemla will take place in the mornings, and will be followed by afternoon sessions with presentations by early career researchers in the History and Philosophy of Mathematical Practice. We ask people to register to the Masterclass by May, 1st.

Explainable AI (XAI) systems embody explanation processes that allow users to gain insight into the system's models and decisions, with the intent of improving the user's performance on a related task. This raises several questions, such as: how should explainable models be designed? How should user interfaces communicate decision making? What types of user interactions should be supported? How should explanation quality be measured? These questions are of interest to researchers, practitioners, and end-users, independent of what AI techniques are used. Solutions can draw from several disciplines, including cognitive science, human factors, and psycholinguistics.

Thanks to the support of the Euler International Mathematical Institute, a new conference initiative called Logical Perspectives will start in 2018. The initiative aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations.

The topics include, but are not limited to:
- the foundations of mathematics and those of computing;
- logical methods in philosophy (e.g. in epistemology, the philosophy of mathematics or that of language);
- logical methods in mathematics;
- logical methods in computer science.

There will be only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to know more about the field.

The Centre for Logic and Philosophy of Science (CLWF) of the Vrije Universiteit Brussel (VUB) will host its Second Masterclass in the Philosophy of Mathematical Practice on May, 17-19, with Prof. Dr. Karine Chemla (SPHERE, Université Paris 7 - CNRS, France). The Masterclass will be composed of three lectures, the tentative titles of which are as follows:

- Practices of Generality in the Mathematics of Ancient China and Beyond
- Working with Diagrams, Interpreting Diagrams. Views Based on Chinese Sources
- The Practices of Abstraction and their Interpretations in the Mathematics of Ancient China

We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. The lectures by Prof. Chemla will take place in the mornings, and will be followed by afternoon sessions with presentations by early career researchers in the History and Philosophy of Mathematical Practice. We ask people to register to the Masterclass by May, 1st.

The Society for Exact Philosophy is an international scholarly association, founded in 1970, to provide sustained discussion among researchers who believe that rigorous methods have a place in philosophical investigations. To this end, the Society meets annually, alternating between locations in Canada and the U.S.

2018 Keynote Speakers: Elaine Landry (UC Davis), Joan Rand Moschovakis (UCLA) and Craige Roberts (NYU/Ohio State).

The Centre for Logic and Philosophy of Science (CLWF) of the Vrije Universiteit Brussel (VUB) will host its Second Masterclass in the Philosophy of Mathematical Practice on May, 17-19, with Prof. Dr. Karine Chemla (SPHERE, Université Paris 7 - CNRS, France). The Masterclass will be composed of three lectures, the tentative titles of which are as follows:

- Practices of Generality in the Mathematics of Ancient China and Beyond
- Working with Diagrams, Interpreting Diagrams. Views Based on Chinese Sources
- The Practices of Abstraction and their Interpretations in the Mathematics of Ancient China

We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. The lectures by Prof. Chemla will take place in the mornings, and will be followed by afternoon sessions with presentations by early career researchers in the History and Philosophy of Mathematical Practice. We ask people to register to the Masterclass by May, 1st.

The Society for Exact Philosophy is an international scholarly association, founded in 1970, to provide sustained discussion among researchers who believe that rigorous methods have a place in philosophical investigations. To this end, the Society meets annually, alternating between locations in Canada and the U.S.

2018 Keynote Speakers: Elaine Landry (UC Davis), Joan Rand Moschovakis (UCLA) and Craige Roberts (NYU/Ohio State).

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the eighth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The summer school will bring together researchers from different disciplines with the goal of providing participants with knowledge about concept research outside of their own fields and to initiate interdisciplinary exchanges and research. The subsequent and co-located international workshop provides an excellent opportunity to present and discuss ongoing research on concepts.

Both events will focus on (but not be restricted to) three core questions: How can we formally describe and model concepts? Where do concepts come from, and how are they acquired? How are concepts used in cognitive tasks?

The Society for Exact Philosophy is an international scholarly association, founded in 1970, to provide sustained discussion among researchers who believe that rigorous methods have a place in philosophical investigations. To this end, the Society meets annually, alternating between locations in Canada and the U.S.

2018 Keynote Speakers: Elaine Landry (UC Davis), Joan Rand Moschovakis (UCLA) and Craige Roberts (NYU/Ohio State).

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the eighth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the eighth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the eighth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering, as well as information retrieval, recommendation, social network analysis and text processing. Thus, there exist many ``natural links'' between FCA and AI.

The five preceding editions of the FCA4AI Workshop  showed that many researchers working in Artificial Intelligence are indeed interested in a powerful method for classification and mining such as Formal Concept Analysis. This year, we have the chance to organize a new edition of the workshop in Stockholm co-located with the IJCAI 2018 Conference.

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the eighth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the eighth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The theme of the conference is algorithmic randomness and related topics in computability, complexity and logic such as Kolmogorov complexity and reverse mathematics. This year, the conference has special attention to the connections between these topics and dynamical systems and ergodic theory.

We seem to approach a text that we know to be a work of fiction rather differently than a newspaper article, or a conversation about the weather. An influential view in philosophy is that fictional narratives are prescriptions for the reader to imagine some fictional world, while regular assertions are proposals to update the common ground. But whatever the eventual diagnosis, the (apparent) difference between the interpretation of fiction and of non-fiction already raises interesting linguistic questions: How does a reader even know that a text is fiction? Are there linguistic clues an author may leave that mark a given text as such? And is our formal semantic toolkit, developed for dealing with assertions in every day communication, suitable and sufficient for dealing with the peculiarities of narrative fiction and literary style?

In this workshop we want to bring together linguists and philosophers interested in applying formal semantic tools to linguistic phenomena characteristic of fiction/narrative.

We seem to approach a text that we know to be a work of fiction rather differently than a newspaper article, or a conversation about the weather. An influential view in philosophy is that fictional narratives are prescriptions for the reader to imagine some fictional world, while regular assertions are proposals to update the common ground. But whatever the eventual diagnosis, the (apparent) difference between the interpretation of fiction and of non-fiction already raises interesting linguistic questions: How does a reader even know that a text is fiction? Are there linguistic clues an author may leave that mark a given text as such? And is our formal semantic toolkit, developed for dealing with assertions in every day communication, suitable and sufficient for dealing with the peculiarities of narrative fiction and literary style?

In this workshop we want to bring together linguists and philosophers interested in applying formal semantic tools to linguistic phenomena characteristic of fiction/narrative.

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the eighth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

PCC 2018 is organized as external event for the trimester on "Types, Sets and Constructions" of the Hausdorff Research Institute for Mathematics.

CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics focused on but not limited to Bulgarian.

Our invited speakers will be: Dr. Zornitsa Kozareva (Amazon), Dr. Sujith Ravi (Google), and Prof. Ruslan Mitkov (University of Wolverhampton).

The 37th Journees sur les Arithmetiques Faible (Days of Weak Arithmetics) will cover traditional topics of the "Days" such as: Provability in weak arithmetics, Definability in weak arithmetics, Weak arithmetics and model theory, Decidability/undecidability of weak logical theories, and Modeling computations in the frameworks of weak arithmetics.

CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics focused on but not limited to Bulgarian.

Our invited speakers will be: Dr. Zornitsa Kozareva (Amazon), Dr. Sujith Ravi (Google), and Prof. Ruslan Mitkov (University of Wolverhampton).

The 37th Journees sur les Arithmetiques Faible (Days of Weak Arithmetics) will cover traditional topics of the "Days" such as: Provability in weak arithmetics, Definability in weak arithmetics, Weak arithmetics and model theory, Decidability/undecidability of weak logical theories, and Modeling computations in the frameworks of weak arithmetics.

In the last few decades an impressive amount of foundational research in philosophical logic has been devoted to the development of semantical tools which provide sufficiently fine-grained semantics to deal with important topics of pure and applied modal logic, such as the representation of situations, states of affairs, structured contents, hyperintensional contexts, and agent-related attitudes, like epistemic and prohairetic attitudes. A number of different modal frameworks have emerged to tackle these themes. The aim of this conference is to study the potential of these approaches and to explore new connections between them, by providing a forum to present new ideas and analytical methods.

Invited Speakers: Sergei Artemov (New York), Marta Bilkova (Prague), Hannes Leitgeb (Munich) and Sonja Smets (Amsterdam).

The 37th Journees sur les Arithmetiques Faible (Days of Weak Arithmetics) will cover traditional topics of the "Days" such as: Provability in weak arithmetics, Definability in weak arithmetics, Weak arithmetics and model theory, Decidability/undecidability of weak logical theories, and Modeling computations in the frameworks of weak arithmetics.

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.

The conference is devoted to non-classical logics: modal, many-valued, temporal, paraconsistent, epistemic, deontic, substructural, and nonmonotonic logic, and their applications in computer science, artificial intelligence, formal linguistics, cognitive studies, as well as the deeper analysis of traditional philosophical problems. We will also celebrate the 25th anniversary of the journal Logic and Logical Philosophy published by the Nicolaus Copernicus University in Toruń and edited by the Department of Logic.

The conference is organized by Departament of Logic and Methodology of Sciences of Lodz University and Department of Logic of Nicolaus Copernicus University.

The annual meeting of the Australasian Association of Logic will be held in Wellington. Guest speakers will include Timothy Williamson. The current president of the AAL is Max Cresswell and he will give this year's presidential address. This year's conference will be held in honour of Rob Goldblatt and Max Cresswell. Both Rob and Max will retire from Victoria soon and so this is a chance to celebrate their outstanding contributions to logic.

The first Forcing Project Networking Conference (FPNC2018) is the informal kick-off event of the Forcing Project. The project aims to analyse, from a historical and philosophical point of view, the development of modern set theory since the introduction of the forcing technique. FPNC2018 is devoted to methodological approaches in the study of recent mathematics and focuses on the topics of mathematical philosophy and mathematical practice.

Topics of interest include but are not limited to:
– formal semantics and formal pragmatics
– experimental pragmatics
– formal/experimental pragmatics interface
– semantics/pragmatics distinction and semantics/pragmatics interface
– epistemic foundations of semantics and pragmatics
– semantics/pragmatics and epistemic logic
- speech act theory
– semantics and pragmatics of conventions
– the principles of compositionality and contextuality
– lexical semantics and pragmatics

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.