It is our pleasure to announce that the Sociedade Brasileira de Logica (SBL) and the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical Logic, as a satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018.

Invited speakers include Matthias Aschenbrenner, Veronica Becher, Valeria de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco Miraglia, Lou van den Dries and Joris Van Der Hoeven.

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.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

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

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

The conference CCA 2018 is held in Honour of Klaus Weihrauch's 75th Birthday, and is preceded by the conference Computability in Europe (CiE 2018) that takes place in Kiel, in the north of Germany, from July 30 to August 3, 2018.

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.

There are various approaches to ambiguity from a wide variety of perspectives. This is due to the fact that ambiguity exists and arises on many different levels of natural language. We want to bring together scholars working on different aspects of ambiguity, in particular to approach the following questions:
1. What is the core of this phenomenon?
2. What is the common ground in approaching the phenomenon?
3. What can be gained by combining different approaches?

Our special focus is thus on bringing together approaches seeing ambiguity as a mere computational problem and approaches seeing it as a linguistic phenomenon with some interest in itself.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

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.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

The 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) will be held in Parma in 4-6 April 2018, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.

The workshop is a continuation of a series of conferences on logic and foundations of mathematics (Formal Mathematics, Bonn 2015; FOMUS, Bielefeld 2016; LMP, Goettingen 2017). The meeting is designed as a hybrid between a research conference and a winter school. The workshop focuses on  investigating the landscape of current views on the foundations of mathematics. In addition to the scientific debate, it aims to foster a community of young scientists concerned with foundational questions.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

The 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) will be held in Parma in 4-6 April 2018, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.

The workshop is a continuation of a series of conferences on logic and foundations of mathematics (Formal Mathematics, Bonn 2015; FOMUS, Bielefeld 2016; LMP, Goettingen 2017). The meeting is designed as a hybrid between a research conference and a winter school. The workshop focuses on  investigating the landscape of current views on the foundations of mathematics. In addition to the scientific debate, it aims to foster a community of young scientists concerned with foundational questions.

Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

The 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) will be held in Parma in 4-6 April 2018, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.

The workshop is a continuation of a series of conferences on logic and foundations of mathematics (Formal Mathematics, Bonn 2015; FOMUS, Bielefeld 2016; LMP, Goettingen 2017). The meeting is designed as a hybrid between a research conference and a winter school. The workshop focuses on  investigating the landscape of current views on the foundations of mathematics. In addition to the scientific debate, it aims to foster a community of young scientists concerned with foundational questions.

The Conference Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2018 will be the 27th edition in the series. It will be organised by the School of Computer Science of the University of Birmingham.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

The workshop is a continuation of a series of conferences on logic and foundations of mathematics (Formal Mathematics, Bonn 2015; FOMUS, Bielefeld 2016; LMP, Goettingen 2017). The meeting is designed as a hybrid between a research conference and a winter school. The workshop focuses on  investigating the landscape of current views on the foundations of mathematics. In addition to the scientific debate, it aims to foster a community of young scientists concerned with foundational questions.

This is a joint Arché-Oxford event, following up on Group Knowledge and Mathematical Collaboration held in Oxford in April 2017.
In this second edition, we will look at the social virtues that lead to good mathematics in such collaborative settings, drawing on research in mathematical practice, social epistemology, sociology, ethnography and philosophy of science to answer questions about which features of our practices lead to successful and unsuccessful collaborations

The ALT 2018 conference is dedicated to all theoretical and algorithmic aspects of machine learning. This is a new ALT: new submission time, new conference time, new program, and a new ambition, to substantially grow its audience and let ALT be known as the best conference in algorithmic and theoretical machine learning. ALT 2018 will have both a best student paper award (E.M. Gold Award) and a best paper award.

The conference will be co-located with AISTATS 2018, which immediately follows ALT 2018.

Several new models of computation have emerged in the last years, and many developments of traditional computation models have been proposed with the aim of taking into account the new demands of users of computer systems and the new capabilities of computation engines.

The aim of this workshop is to bring together researchers who are currently developing new computation models or new features for traditional computation models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

DCM 2018 will take place in Oxford on July 8, as a one-day satellite event of FLoC 2018, associated to LICS'18.

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.

Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including state-of-the-art techniques, the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.

Invited Speakers : Delia Kesner (Université Paris Diderot, France), Kuen-Bang Hou, alias Favonia (Institute for Advanced Study, Princeton, USA), and Grigore Rosu (University of Illinois at Urbana-Champaign, USA).

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

This is a joint Arché-Oxford event, following up on Group Knowledge and Mathematical Collaboration held in Oxford in April 2017.
In this second edition, we will look at the social virtues that lead to good mathematics in such collaborative settings, drawing on research in mathematical practice, social epistemology, sociology, ethnography and philosophy of science to answer questions about which features of our practices lead to successful and unsuccessful collaborations

The ALT 2018 conference is dedicated to all theoretical and algorithmic aspects of machine learning. This is a new ALT: new submission time, new conference time, new program, and a new ambition, to substantially grow its audience and let ALT be known as the best conference in algorithmic and theoretical machine learning. ALT 2018 will have both a best student paper award (E.M. Gold Award) and a best paper award.

The conference will be co-located with AISTATS 2018, which immediately follows ALT 2018.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

The ALT 2018 conference is dedicated to all theoretical and algorithmic aspects of machine learning. This is a new ALT: new submission time, new conference time, new program, and a new ambition, to substantially grow its audience and let ALT be known as the best conference in algorithmic and theoretical machine learning. ALT 2018 will have both a best student paper award (E.M. Gold Award) and a best paper award.

The conference will be co-located with AISTATS 2018, which immediately follows ALT 2018.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

Are you interested in using new ICT technology to boost your research?

Want to learn how to use high performance computing to speed up your calculations? Can you imagine the possibilities of scientific visualisation, and would you like to explore the power of big data analysis?

Discover new possibilities, experience the practical impact and do more with your data at the SURF Research Bootcamp.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike.

The workshop will be highly interactive, giving all attendees an opportunity to participate. There will be sessions for displaying posters and open discussion sessions organised around specific topics such as "Automated Reasoning and Artificial Intelligence". Invited speakers: Ekaterina Komendantskaya (Heriot-Watt University) and Lawrence Paulson (University of Cambridge).

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

The workshop provides an informal forum for the automated reasoning community to discuss recent work, new ideas and applications, and current trends. It aims to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike.

The workshop will be highly interactive, giving all attendees an opportunity to participate. There will be sessions for displaying posters and open discussion sessions organised around specific topics such as "Automated Reasoning and Artificial Intelligence". Invited speakers: Ekaterina Komendantskaya (Heriot-Watt University) and Lawrence Paulson (University of Cambridge).

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.

CMCS'18 will be co-located with ETAPS 2018. Invited speakers: Clemens Kupke (Strathclyde) and Daniela Petrisan (Diderot). Invited tutorial speakers: Bob Coecke (Oxford) and Aleks Kissinger (Radboud).

GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials.

Invited Speakers: Guy McCusker, Matteo Mio and Ulrich Schöpp.

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.

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity; deductive formalisms as they relate to complexity; complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. LCC 2018 will be part of FLoC 2018.

The program will consist of invited lectures by Mikolaj Bojanczyk (University of Warsaw) and Ugo Dal Lago (University of Bologna and INRIA Sophia Antipolis), as well as contributed talks selected by the Program Committee.

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 ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. Non-classical logics - such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, relevance logic - have many applications in AI, Computer Science, Philosophy, Linguistics and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The workshop will provide a forum for researchers to present and discuss recent developments in this area.

Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent-based reasoning that take into account the likely behavior of adversaries.

The SR international workshop, held within FLOC 2018, aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

The morning sessions will be devoted to tutorials on topics closely related to strategic reasoning, namely cooperative game theory (by Edith Elkind) and parity games (by Marcin Jurdziński).

The FMLAMAS 2018 workshop will provide a working meeting and discussion forum for researchers working on various formal methods and logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It will address a wide range of issues that arise in these contexts, from theoretical foundations to algorithmic methods, implemented tools, and applications.

Developing formal methods to program and reason about infinite data, whether inductive or coinductive, is challenging and subject to numerous recent research efforts. The understanding of the logical and computational principles underlying these notions is reaching a mature stage as illustrated by the numerous advances that have appeared in the recent years. The workshop aims at gathering researchers working on these topics as well as colleagues interested in understanding the recent results and open problems of this line of research.

For outsiders, the workshop will offer tutorial sessions and survey-like invited talks. For specialists of the topic, the workshop will permit to gather people working with syntactical or semantical methods, people focusing on proof systems or programming languages, and foster exchanges and discussions benefiting from their various perspectives. The workshop is affiliated with FSCD 2018, as part of the Federated Logic Conference of 2018 and is funded by French ANR, RAPIDO project.

Proof complexity is the study of the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F and a proof system P, what is the size of the smallest proof of F in the system P? Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions, which bare tight relations to intricate theoretical open problems from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT/QBF solving.

The workshop will be part of FLoC and will be affiliated with the conferences SAT'18 and LICS'18.

PRUV 2018 will take place during FLoC and associated to IJCAR. The aim of PRUV is to bring together people from different communities (such as the Artificial Intelligence and the Semantic Web community, among others), including theorists and practitioners, working on logics for reasoning about preferences, uncertainty, and vagueness. Making researchers aware of and fruitfully discuss the most recent application areas, new challenges and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness, respectively is the main goal of this meeting.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.

CMCS'18 will be co-located with ETAPS 2018. Invited speakers: Clemens Kupke (Strathclyde) and Daniela Petrisan (Diderot). Invited tutorial speakers: Bob Coecke (Oxford) and Aleks Kissinger (Radboud).

GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials.

Invited Speakers: Guy McCusker, Matteo Mio and Ulrich Schöpp.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

The aim of this one-day workshop is to discuss how inductive-coinductive reasoning is used so far, what techniques exist and how we can advance on those techniques.

The International Conference on Computational Models of Argument, COMMA, is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation.  COMMA 2018 will be part of a series of events of the Warsaw Argumentation Week, WAW 2018 (6-16 Sept 2018), which will include the next edition of the Summer School on Argumentation (SSA 2018), themed COMMA workshops, the 16th ArgDiap conference, and other cognate meetings and events. In addition to the main conference track, there will be thematically-focused workshops, and a session will be organized for the demonstration of innovative working applications and tools.

The workshop will be held in University of Oxford as a part of Federated Logic Conference FLOC-2018 ( http://www.floc2018.org/ ) in affiliation with 30th International Conference on Computer Aided Verification ( http://cavconference.org/2018/ ) The primary purpose of the workshop series on Fun With Formal Methods (FWFM) is to popularize and disseminate the best practice of popularization of Formal Methods.

RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

RuleML+RR 2018 will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018).

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy. The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.

During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems

The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.

This special issue is solely dedicated to modal and predicate non-classical logics. Its aim is to bring together papers on both pure and applied aspects of various branches of non-classical logics, to present recent advances in particular fields, and to foster the exchange of ideas between researchers focusing on (1) separate branches of non- classical logic and (2) foundational and applied issues. Guest editors: Petr Cintula (Czech Academy of Sciences) Shier Ju (Sun Yat-sen University) Zach Weber (University of Otago).

This workshop will continue in the tradition established last year of bringing together philosophers, decision theorists, and AI researchers in order to promote research at the nexus between decision theory and AI. Our plan for the second installment is to make connections between decision theory and burgeoning research programs that may play a prominent role in the near future of the discipline - e.g., quantum information theory, social network analysis, and causal inference.

Confirmed Speakers Hans Briegel (University of Innsbruck), Tina Eliassi-Rad (Northeastern University), Dominik Janzing  (Max Planck Institute - Tübingen), Teresa Scantamburlo  (University of Bristol) and Wolfgang Spohn  (University of Konstanz).

Mathematical abstraction is a general phenomenon, a process by which we generalize from the properties and relations of particular objects to the abstract, mathematical structure that those objects exhibit. It is a process that can be iterated to achieve higher levels of abstraction, and plays an important role in shaping how we think about and understand empirical phenomena. The main objective of this conference is to explore the philosophical significance of mathematical abstraction from different perspectives: metaphysically, epistemologically, historically, and practically. Particular attention will be devoted to the role of abstraction in mathematical practice.

The international conference "Formal Philosophy" will be held from 1st to 2nd October 2018 ( Moscow, Higher School of Economics). Conference topics include philosophical logic, formal epistemology, formal ontology, formal ethics and other branches of formal and mathematical philosophy. Invited speakers: Jacek Malinowski (Institute of Philosophy and Sociology, Polish Academy of Sciences), Ahti-Veikko Pietarinen (Nazarbayev University), Allard Tamminga (University of Groningen) and Paul Weingartner (University of Salzburg).

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