It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portugal, May 29th - June 4th 2017.

Probabilistic programming languages are used for modelling and analysis purposes across multiple areas of computer science, including machine learning, security, and quantitative biology. In particular, they provide a rigorous foundation for machine learning where they are used to describe probabilistic models and to perform inference in presence of uncertain information. Probabilistic programs are also used in cryptography and in privacy for modelling and quantifying security. The goal of the school is to introduce attendants to theoretical and practical aspects of programming languages, and will propose courses that cover the following topics: semantics, analysis, verification, applications to machine learning, privacy, and security. The school will have lectures by Andy Gordon, Catuscia Palamidessi, Christel Baier, Dexter Kozen, Frank Wood, Hongseok Yang, Javier Esparza, Michael Carbin, Peter Selinger, Prakash Panangaden, Sriram Sankaranarayanan, and Vitaly Shmatikov.

Progress in science is not only a matter of new models and theories, but also of new ways of reasoning and arguing for specific conclusions. In this conference, we focus on these epistemological features of science and consider the following questions: Which new reasoning and argumentation schemes do contemporary scientists use? How are these schemes justified, and how can they be assessed? Is it possible to come up with a unified normative theory of reasoning and argumentation in science? The conference focuses on reasoning and argumentation in the sciences in general, but there will also be a special focus on reasoning in specific natural and social sciences.

Keynote Speakers: Catarina Dutilh Noaves, Christian List and Wayne Myrvold.

The Institute of History and Philosophy of Sciences and Techniques (IHPST) hosts a workshop on Proofs on the 1st and 2nd of June 2017.

There will be talks by Andrew Arana, Agata Ciabattoni, Serenella Cerrito, Jacques Dubucs, Rosalie Iemhoff, Peter Milne, Florian Steinberger and Silvia de Toffoli.

It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portugal, May 29th - June 4th 2017.

Probabilistic programming languages are used for modelling and analysis purposes across multiple areas of computer science, including machine learning, security, and quantitative biology. In particular, they provide a rigorous foundation for machine learning where they are used to describe probabilistic models and to perform inference in presence of uncertain information. Probabilistic programs are also used in cryptography and in privacy for modelling and quantifying security. The goal of the school is to introduce attendants to theoretical and practical aspects of programming languages, and will propose courses that cover the following topics: semantics, analysis, verification, applications to machine learning, privacy, and security. The school will have lectures by Andy Gordon, Catuscia Palamidessi, Christel Baier, Dexter Kozen, Frank Wood, Hongseok Yang, Javier Esparza, Michael Carbin, Peter Selinger, Prakash Panangaden, Sriram Sankaranarayanan, and Vitaly Shmatikov.

Progress in science is not only a matter of new models and theories, but also of new ways of reasoning and arguing for specific conclusions. In this conference, we focus on these epistemological features of science and consider the following questions: Which new reasoning and argumentation schemes do contemporary scientists use? How are these schemes justified, and how can they be assessed? Is it possible to come up with a unified normative theory of reasoning and argumentation in science? The conference focuses on reasoning and argumentation in the sciences in general, but there will also be a special focus on reasoning in specific natural and social sciences.

Keynote Speakers: Catarina Dutilh Noaves, Christian List and Wayne Myrvold.

The Institute of History and Philosophy of Sciences and Techniques (IHPST) hosts a workshop on Proofs on the 1st and 2nd of June 2017.

There will be talks by Andrew Arana, Agata Ciabattoni, Serenella Cerrito, Jacques Dubucs, Rosalie Iemhoff, Peter Milne, Florian Steinberger and Silvia de Toffoli.

Reflections on the possibilities and the limitations of applications of logic to the analysis of human behaviour. The workshop is intended to create a space to talk about issues that are not often addressed in public in scientific circles.

For more information, see http://homepages.cwi.nl/~jve/workshop/

People who wish to attend the workshop are requested to fill out the following RSVP form: https://goo.gl/forms/s2KZryvHXSr5Bzw32

It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portugal, May 29th - June 4th 2017.

Probabilistic programming languages are used for modelling and analysis purposes across multiple areas of computer science, including machine learning, security, and quantitative biology. In particular, they provide a rigorous foundation for machine learning where they are used to describe probabilistic models and to perform inference in presence of uncertain information. Probabilistic programs are also used in cryptography and in privacy for modelling and quantifying security. The goal of the school is to introduce attendants to theoretical and practical aspects of programming languages, and will propose courses that cover the following topics: semantics, analysis, verification, applications to machine learning, privacy, and security. The school will have lectures by Andy Gordon, Catuscia Palamidessi, Christel Baier, Dexter Kozen, Frank Wood, Hongseok Yang, Javier Esparza, Michael Carbin, Peter Selinger, Prakash Panangaden, Sriram Sankaranarayanan, and Vitaly Shmatikov.

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

This year, the workshop will be held in conjunction with the Solomon Feferman Symposium, dedicated to the life and work of Solomon Feferman.

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 and is intended for computer scientists whose research involves logic, as well as for logicians working on issues essential for computer science.

CSL2017 is the 26th EACSL annual conference. It will be co-organised by Stockholm University and KTH Royal Institute of Technology, and hosted by Stockholm University. CSL2017 will be co-located with, and immediately preceded by, the Logic Colloquium 2017 (LC2017). There will be a joint session of CSL2017 and LC2017 in the morning of August 20, as well as CSL-affiliated workshops during August 25-26.

The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools.

Invited speakers: Hans van Ditmarsch (LORIA) and Nancy Wojtek Jamroga (Polish Academy of Sciences).

It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portugal, May 29th - June 4th 2017.

Probabilistic programming languages are used for modelling and analysis purposes across multiple areas of computer science, including machine learning, security, and quantitative biology. In particular, they provide a rigorous foundation for machine learning where they are used to describe probabilistic models and to perform inference in presence of uncertain information. Probabilistic programs are also used in cryptography and in privacy for modelling and quantifying security. The goal of the school is to introduce attendants to theoretical and practical aspects of programming languages, and will propose courses that cover the following topics: semantics, analysis, verification, applications to machine learning, privacy, and security. The school will have lectures by Andy Gordon, Catuscia Palamidessi, Christel Baier, Dexter Kozen, Frank Wood, Hongseok Yang, Javier Esparza, Michael Carbin, Peter Selinger, Prakash Panangaden, Sriram Sankaranarayanan, and Vitaly Shmatikov.

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

This year, the workshop will be held in conjunction with the Solomon Feferman Symposium, dedicated to the life and work of Solomon Feferman.

HIGHLIGHTS 2017 is the fifth conference on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. The program will feature contributed and invited talks,  two invited sessions, and two two tutorials.

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

This year, the workshop will be held in conjunction with the Solomon Feferman Symposium, dedicated to the life and work of Solomon Feferman.

Scope: Provability and definability in arithmetics, model theory and arithmetics, (un)decidability of arithmetics, modelling computations on logical theories.

This meeting is dedicated to Yuri Matiyasevich on the occasion of his 70th birthday, and one conference day will be dedicated to topics related to the research interests of Yuri Matiyasevich (Hilbet's Tenth Problem and its generalizations, undecidability).

The Institute of Philosophy at the University of Zurich is organizing a workshop on topics at the intersection between the philosophy of language and linguistics. Invited speakers will be Angelika Kratzer (Amherst), John MacFarlane (Berkeley) and Maribel Romero (Konstanz).

The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 16th UCNC will take place in Fayetteville, Arkansas, USA, a city nestled in the Ozark Mountains and home to the University of Arkansas.

The conference includes talks by invited speakers Erik Demaine, Masayuki Endo and Jose Felix Costa, tutorials by Jerome Durand-Lose and Makato Naruse, and workshops on 'Membranes/Systems Biology', 'Cortical Computation' and 'Physics and Computation'.

Scope: Provability and definability in arithmetics, model theory and arithmetics, (un)decidability of arithmetics, modelling computations on logical theories.

This meeting is dedicated to Yuri Matiyasevich on the occasion of his 70th birthday, and one conference day will be dedicated to topics related to the research interests of Yuri Matiyasevich (Hilbet's Tenth Problem and its generalizations, undecidability).

The Institute of Philosophy at the University of Zurich is organizing a workshop on topics at the intersection between the philosophy of language and linguistics. Invited speakers will be Angelika Kratzer (Amherst), John MacFarlane (Berkeley) and Maribel Romero (Konstanz).

The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 16th UCNC will take place in Fayetteville, Arkansas, USA, a city nestled in the Ozark Mountains and home to the University of Arkansas.

The conference includes talks by invited speakers Erik Demaine, Masayuki Endo and Jose Felix Costa, tutorials by Jerome Durand-Lose and Makato Naruse, and workshops on 'Membranes/Systems Biology', 'Cortical Computation' and 'Physics and Computation'.

Scope: Provability and definability in arithmetics, model theory and arithmetics, (un)decidability of arithmetics, modelling computations on logical theories.

This meeting is dedicated to Yuri Matiyasevich on the occasion of his 70th birthday, and one conference day will be dedicated to topics related to the research interests of Yuri Matiyasevich (Hilbet's Tenth Problem and its generalizations, undecidability).

The Institute of Philosophy at the University of Zurich is organizing a workshop on topics at the intersection between the philosophy of language and linguistics. Invited speakers will be Angelika Kratzer (Amherst), John MacFarlane (Berkeley) and Maribel Romero (Konstanz).

The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 16th UCNC will take place in Fayetteville, Arkansas, USA, a city nestled in the Ozark Mountains and home to the University of Arkansas.

The conference includes talks by invited speakers Erik Demaine, Masayuki Endo and Jose Felix Costa, tutorials by Jerome Durand-Lose and Makato Naruse, and workshops on 'Membranes/Systems Biology', 'Cortical Computation' and 'Physics and Computation'.

The aim of the AUTOMATA series is:
- To establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS).
- To provide a platform for presenting and discussing new ideas and results.
- To support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned.
- To identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 16th UCNC will take place in Fayetteville, Arkansas, USA, a city nestled in the Ozark Mountains and home to the University of Arkansas.

The conference includes talks by invited speakers Erik Demaine, Masayuki Endo and Jose Felix Costa, tutorials by Jerome Durand-Lose and Makato Naruse, and workshops on 'Membranes/Systems Biology', 'Cortical Computation' and 'Physics and Computation'.

The aim of the AUTOMATA series is:
- To establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS).
- To provide a platform for presenting and discussing new ideas and results.
- To support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned.
- To identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. The topics covered vary from year to year, but in general try to cover as much of the contemporary computer science as possible.

The Rudolf-Carnap-Lectures are an annual event started by Prof. Dr. Albert Newen from the Institute of Philosophy II at Ruhr-Universität Bochum, Germany in 2007. The Lectures provide a platform for distinguished scholars to present their work in the form of several talks on their preferred topic. The focus is usually on the areas of Philosophy of Mind, Language or Science. In turn, graduate students interested in these topics get the chance to engage in extensive discussion and get in touch with state-of-the-art research. In addition, some of them have the chance to present their own work on related topics during a graduate conference, based on a peer review process.

From June 8-10, 2017, the next RCL will be presented by Prof. Frank Jackson (ANU), who is going to present his work on meaning, perception, and the nature of mind in Bochum, as always in the context of a Graduate workshop where several PhD students and Postdocs will also have the chance to present their ideas on themes from the work of Frank Jackson.

The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 16th UCNC will take place in Fayetteville, Arkansas, USA, a city nestled in the Ozark Mountains and home to the University of Arkansas.

The conference includes talks by invited speakers Erik Demaine, Masayuki Endo and Jose Felix Costa, tutorials by Jerome Durand-Lose and Makato Naruse, and workshops on 'Membranes/Systems Biology', 'Cortical Computation' and 'Physics and Computation'.

The aim of the AUTOMATA series is:
- To establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS).
- To provide a platform for presenting and discussing new ideas and results.
- To support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned.
- To identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. The topics covered vary from year to year, but in general try to cover as much of the contemporary computer science as possible.

The Rudolf-Carnap-Lectures are an annual event started by Prof. Dr. Albert Newen from the Institute of Philosophy II at Ruhr-Universität Bochum, Germany in 2007. The Lectures provide a platform for distinguished scholars to present their work in the form of several talks on their preferred topic. The focus is usually on the areas of Philosophy of Mind, Language or Science. In turn, graduate students interested in these topics get the chance to engage in extensive discussion and get in touch with state-of-the-art research. In addition, some of them have the chance to present their own work on related topics during a graduate conference, based on a peer review process.

From June 8-10, 2017, the next RCL will be presented by Prof. Frank Jackson (ANU), who is going to present his work on meaning, perception, and the nature of mind in Bochum, as always in the context of a Graduate workshop where several PhD students and Postdocs will also have the chance to present their ideas on themes from the work of Frank Jackson.

Trends in Logic is the conference series of the journal 'Studia Logica'. The 17th Trends in Logic international conference will be held at The John Paul II Catholic University of Lublin, Poland, from November 12-November 15, 2017 under the title 'Traditional and new perspectives on deontic logic and agency modeling'.

Invited speakers: Jan Broersen, Fenrong Liu, Paul McNamara, Olivier Roy, Marek Sergot and Jan Woleński

This year's Semantics and Philosophy in Europe Colloquium consists of two special sessions:
1) Applied Ontology and Natural Language (Invited speakers: Bjorn Jespersen (Barcelona), Nicola Guarino (Trento), Laure Vieu (Toulouse))
2) Ontology and Generative Syntax (Invited speakers: Boban Arsenijevic (University of Niš),  John Collins (East Anglia), Andrea Moro (Pavia), Gillian Ramchand (Tromsoe))

There will also be a preconference tutorial "Ontology and Natural Language" by Friederike Moltmann (CNRS) and Nicola Guarino (Trento).

CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. The topics covered vary from year to year, but in general try to cover as much of the contemporary computer science as possible.

The Rudolf-Carnap-Lectures are an annual event started by Prof. Dr. Albert Newen from the Institute of Philosophy II at Ruhr-Universität Bochum, Germany in 2007. The Lectures provide a platform for distinguished scholars to present their work in the form of several talks on their preferred topic. The focus is usually on the areas of Philosophy of Mind, Language or Science. In turn, graduate students interested in these topics get the chance to engage in extensive discussion and get in touch with state-of-the-art research. In addition, some of them have the chance to present their own work on related topics during a graduate conference, based on a peer review process.

From June 8-10, 2017, the next RCL will be presented by Prof. Frank Jackson (ANU), who is going to present his work on meaning, perception, and the nature of mind in Bochum, as always in the context of a Graduate workshop where several PhD students and Postdocs will also have the chance to present their ideas on themes from the work of Frank Jackson.

CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. The topics covered vary from year to year, but in general try to cover as much of the contemporary computer science as possible.

CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. The topics covered vary from year to year, but in general try to cover as much of the contemporary computer science as possible.

The past two decades have seen impressive progress in a variety of areas of AI, particularly NLP, through the application of machine learning methods to a wide range of tasks. While deep learning is opening up exciting new approaches to longstanding, difficult problems in computational linguistics, it also raises important foundational questions. Specifically, we do not have a clear formal understanding of why multi-level recursive deep neural networks achieve the success in learning and classification that they are delivering. It is also not obvious whether they should displace more traditional, logically driven methods, or be combined with them. Finally, we need to explore the extent, if any, to which both logical models and machine learning methods offer insights into the cognitive foundations of natural language.

The Conference on Logic and Machine Learning in Natural Language will address these questions and related issues. It will feature invited talks by leading researchers in both fields, and high level contributed papers selected through open competition and rigorous review. Our aim is to initiated a genuine dialogue between these two approaches, where they have traditionally remained separate and in competition.

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.

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

Special sessions include Algorithmics for biology, Combinatorics and algorithmics on words, Computability in Analysis, Algebra, and Geometry, Cryptography and information theory, Formal languages and automata theory, and History and philosophy of computing.

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration.

The conference will feature a main track for technical papers, a demonstration track, workshops, tutorials, a doctoral consortium and best paper prizes.

The past two decades have seen impressive progress in a variety of areas of AI, particularly NLP, through the application of machine learning methods to a wide range of tasks. While deep learning is opening up exciting new approaches to longstanding, difficult problems in computational linguistics, it also raises important foundational questions. Specifically, we do not have a clear formal understanding of why multi-level recursive deep neural networks achieve the success in learning and classification that they are delivering. It is also not obvious whether they should displace more traditional, logically driven methods, or be combined with them. Finally, we need to explore the extent, if any, to which both logical models and machine learning methods offer insights into the cognitive foundations of natural language.

The Conference on Logic and Machine Learning in Natural Language will address these questions and related issues. It will feature invited talks by leading researchers in both fields, and high level contributed papers selected through open competition and rigorous review. Our aim is to initiated a genuine dialogue between these two approaches, where they have traditionally remained separate and in competition.

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.

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

Special sessions include Algorithmics for biology, Combinatorics and algorithmics on words, Computability in Analysis, Algebra, and Geometry, Cryptography and information theory, Formal languages and automata theory, and History and philosophy of computing.

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration.

The conference will feature a main track for technical papers, a demonstration track, workshops, tutorials, a doctoral consortium and best paper prizes.

The Ruhr University Bochum and the Experimental Philosophy Group Germany are happy to announce a one-day workshop on Experimental Philosophy.

Over the last two decades, philosophers have taken an increasing interest in experimental approaches to philosophical questions. Experimental philosophers use tools from a variety of empirical sciences, such as psychology, sociology, linguistics, and neurosciences. In this workshop, we would like to address this approach. Just in the spirit of experimental philosophy, we believe that the best progress is made by joining forces from different disciplines. We therefore invited seven speakers from philosophy, psychology, and law.

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).

CALCO 2017 will feature a Special Session on Metrics, Privacy and Learning. CALCO 2017 will run together with the CALCO Early Ideas Workshop, a workshop intended to enable presentation of work in progress and original research proposals, with dedicated sessions at the end of each conference day. Finally, the CALCO Tools Workshop, dedicated to tools based on algebraic and/or coalgebraic principles, will take place on June 13.

The past two decades have seen impressive progress in a variety of areas of AI, particularly NLP, through the application of machine learning methods to a wide range of tasks. While deep learning is opening up exciting new approaches to longstanding, difficult problems in computational linguistics, it also raises important foundational questions. Specifically, we do not have a clear formal understanding of why multi-level recursive deep neural networks achieve the success in learning and classification that they are delivering. It is also not obvious whether they should displace more traditional, logically driven methods, or be combined with them. Finally, we need to explore the extent, if any, to which both logical models and machine learning methods offer insights into the cognitive foundations of natural language.

The Conference on Logic and Machine Learning in Natural Language will address these questions and related issues. It will feature invited talks by leading researchers in both fields, and high level contributed papers selected through open competition and rigorous review. Our aim is to initiated a genuine dialogue between these two approaches, where they have traditionally remained separate and in competition.

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.

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

Special sessions include Algorithmics for biology, Combinatorics and algorithmics on words, Computability in Analysis, Algebra, and Geometry, Cryptography and information theory, Formal languages and automata theory, and History and philosophy of computing.

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration.

The conference will feature a main track for technical papers, a demonstration track, workshops, tutorials, a doctoral consortium and best paper prizes.

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).

CALCO 2017 will feature a Special Session on Metrics, Privacy and Learning. CALCO 2017 will run together with the CALCO Early Ideas Workshop, a workshop intended to enable presentation of work in progress and original research proposals, with dedicated sessions at the end of each conference day. Finally, the CALCO Tools Workshop, dedicated to tools based on algebraic and/or coalgebraic principles, will take place on June 13.

The aim of this workshop is to promote communication between experts in the theory of non-classical logics, as well as those that are the 'end-users' of non-classical formalisms for various applications. The workshop will feature several invited and contributed talks with surveys, tutorials and new technical results. It will also provide opportunities for all participants to engage in round table discussions of open problems and future research directions.

This edition is a research workshop of The Israel Science Foundation, with special emphasis on paraconsistent logics and their applications.

The aim of the present conference is to enhance our understanding of the way in which evolutions on the European scene were adopted, refuted, or merely ignored in university teaching of the time. Important focal points are the paradigm shifts in the didactical methods and the curricula, e.g. from late scholasticism to humanism, from Spanish scholasticism to Cartesianism, the influence of Jansenism and Port-Royal. Geographically, the conference will focus on European teaching, and chronologically, on the period from 1500-1800, being a wildly interesting but vastly understudied time segment.

Attention will be paid mainly to the teaching of logic and natural philosophy, since both disciplines - more so than e.g. the teaching of civil and canon law, evolved in tandem with the philosophical and scientific developments on the larger scale of European society.

PLM is a European network of centers devoted to the Philosophy of Language and Mind and organizes a biennial international conference series with leading experts on the field.

The conference will be preceded by an independent satellite conference on 'Pain and Emotion' in Bochum on 20 September 2017.

We are pleased to announce a workshop in Argumentation and Logic we are organizing this summer. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic and argumentation theory. Keynote speakers: Leon van der Torre (University of Luxembourg) and Leila Amgoud (IRIT - CNRS, France).

The workshop provides an overview of formal semantics and its applications. In addition, it explores applications of formal semantic and topological tools to spatial concepts. After an advanced introduction, formal semantic modelling in spatial concepts will be discussed. The workshop will conclude with an overview of some formal representations of spatial relations in Baltic languages.

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.

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

Special sessions include Algorithmics for biology, Combinatorics and algorithmics on words, Computability in Analysis, Algebra, and Geometry, Cryptography and information theory, Formal languages and automata theory, and History and philosophy of computing.

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration.

The conference will feature a main track for technical papers, a demonstration track, workshops, tutorials, a doctoral consortium and best paper prizes.

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).

CALCO 2017 will feature a Special Session on Metrics, Privacy and Learning. CALCO 2017 will run together with the CALCO Early Ideas Workshop, a workshop intended to enable presentation of work in progress and original research proposals, with dedicated sessions at the end of each conference day. Finally, the CALCO Tools Workshop, dedicated to tools based on algebraic and/or coalgebraic principles, will take place on June 13.

The 17th annual Philosophy of Logic, Mathematics, and Physics Graduate Conference will take place on Thursday-Friday, June 15-16th, 2017, at the University of Western Ontario in London, Ontario, Canada. We are pleased to announce that Aristidis Arageorgis (National Technical University of Athen) will be giving the keynote address.

SD17 is the fourth in a series of meetings that brings together researchers in different areas of proof theory. The main interest is in new algebraic and geometric results in proof theory which expand our abilities to manipulate proofs, help to reduce bureaucracy in deductive systems, and ultimately lead to new methods for proof search and new kinds of proof certificates.

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

Special sessions include Algorithmics for biology, Combinatorics and algorithmics on words, Computability in Analysis, Algebra, and Geometry, Cryptography and information theory, Formal languages and automata theory, and History and philosophy of computing.

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration.

The conference will feature a main track for technical papers, a demonstration track, workshops, tutorials, a doctoral consortium and best paper prizes.

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).

CALCO 2017 will feature a Special Session on Metrics, Privacy and Learning. CALCO 2017 will run together with the CALCO Early Ideas Workshop, a workshop intended to enable presentation of work in progress and original research proposals, with dedicated sessions at the end of each conference day. Finally, the CALCO Tools Workshop, dedicated to tools based on algebraic and/or coalgebraic principles, will take place on June 13.

The 17th annual Philosophy of Logic, Mathematics, and Physics Graduate Conference will take place on Thursday-Friday, June 15-16th, 2017, at the University of Western Ontario in London, Ontario, Canada. We are pleased to announce that Aristidis Arageorgis (National Technical University of Athen) will be giving the keynote address.

The management of large repositories of norms, and the semantic access and reasoning to these norms are key challenges in Legal Informatics. As the law gets more complex, conflicting, and ever changing, more advanced methodologies are required for analyzing, representing and reasoning on legal knowledge.Specifically, it is necessary to address both conceptual challenges, such as the role of legal interpretation in mining and reasoning, and computational challenges, such as the handling of big legal data, and the complexity of regulatory compliance.

The aim of the MIREL-2017 workshop is to bridge the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, towards these objectives described above.

The aim of the workshop is to bring together logicians, computer scientists, mathematicians and philosophers interested in the growing interplay between the fields of modal logic and category theory. The workshop will be hosted on the occasion of the defence of Giovanni Cinà's PhD defense.

Location and website will be announced soon.

The symposium, co-located with CiE-2017, celebrates the 75th birthday of Prof. Grzegorz Rozenberg. Grzegorz Rozenberg is is often called the guru of Natural Computing, having started promoting it as a coherent scientific discipline already from the 1970s. He played a central role in the development of theoretical computer science in Europe. His research is very broad in scope and it is a prime example of interdisciplinary research.

The talks given at the symposium will have an overview character and together they will cover a broad range of topics reflecting Grzegorz Rozenberg's broad research interests. Among the topics covered are: P vs NP, stochastic search, natural computing, biologically-inspired models of computation, reaction systems, chemical reaction networks, membrane computing, graph isomorphism, graph polynomials, matroids, synthesis of concurrent systems, Petri nets, formal language theory and combinatorics on words, DNA rearrangements in ciliates, patterns in genomes, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction.

Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heteroge- neous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. forum for disseminating and sharing new trends and applications of Dynamic Logic.

Invited Speakers: Alexandru Baltag (UvA), Edward Hermann Haeusler (PUC-Rio, BR).

Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. This CADE'26 workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems.

Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges.

The Workshop on Neural-Symbolic Learning and Reasoning is intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.

The 2nd Logic Mentoring Workshop (LMW) will focus on the technical and practical aspects of a career in logic research, including talks and panel sessions from leaders in the subject. LMW '17 builds on the success of the first edition which took place last year, also colocated with LICS.

LMW invites applications from students (undergraduate, master's and PhD), in all areas of logic for scholarships to attend the Logic in Computer Science (LICS) conference this year. There are scholarships available to cover the workshop and conference fees, and possibly travel and accommodation expenses. The deadline for applications is 31 March 2017.

After a successful first edition in Brazil (April 1-5, 2015) we are glad to announce the 2nd World Congress on Logic and Religion University of Warsaw, June 18-22, 2017. A wide range of issues concerning the relation between logic and religion, with regional complexities and historical layers of religions, are expected to be discussed.

Confirmed invited speakers: Dov Gabbay (London/Tel Aviv) Michael Heller (recipient of Templeton Prize, Kraków) Laurent Lafforgue (Fields medal, Bures-sur-Yvette) Yuhan Sohrab-Dinshaw Vevaina (Toronto) Jan Wolenski (Kraków)

FLoC 2018 brings together nine major international conferences related to mathematical logic and computer science:

• International Conference on Computer Aided Verification (CAV)
• IEEE Computer Security Foundations Symposium (CSF)
• International Symposium on Formal Methods (FM)
• International Conference on Formal Structures for Computation and Deduction (FSCD)
• International Conference on Logic Programming (ICLP)
• International Joint Conference on Automated Reasoning (IJCAR)
• International Conference on Interactive Theorem Proving (ITP)
• Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
• International Conference on Theory and Applications of Satisfiability Testing (SAT)

Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the School on Foundations of Programming and Software Systems (FoPSS, 30 June - 6 July).

We have already begun confirming exciting lineup of speakers, including keynotes by Shafi Goldwasser and Georges Gonthier; plenary lectures by Peter O'Hearn and Byron Cook; and a public lecture by Stuart Russell at the Sheldonian Theatre. We will also hold an Oxford Union-style debate on ethics for autonomous robots. There will be banquets, receptions and other social events in historic venues across the city.

The FLoC volunteer programme allows students and postdocs to have free participation (no registration fee) at FLoC conferences and workshops, in exchange for contributing to the smooth running of the conference by performing several tasks. Volunteers will be able to interact with speakers and participants, network with other researchers and meet graduate students from all over the world. Deadline for applications: 18 May 2018.

After a successful first edition in Brazil (April 1-5, 2015) we are glad to announce the 2nd World Congress on Logic and Religion University of Warsaw, June 18-22, 2017. A wide range of issues concerning the relation between logic and religion, with regional complexities and historical layers of religions, are expected to be discussed.

Confirmed invited speakers: Dov Gabbay (London/Tel Aviv) Michael Heller (recipient of Templeton Prize, Kraków) Laurent Lafforgue (Fields medal, Bures-sur-Yvette) Yuhan Sohrab-Dinshaw Vevaina (Toronto) Jan Wolenski (Kraków)

Women are chronically underrepresented in the LICS community; consequently they sometimes feel both conspicuous and isolated, and hence there is a risk that the under-representation is self-perpetuating. We are holding the first Women in Logic (WiL) workshop as a LICS associated workshop this year. The workshop will provide an opportunity for women in the field to increase awareness of one another and one another's work, to combat the feeling of isolation. It will also provide an environment where women can present to an audience comprised of mostly women, replicating the experience that most men have at most LICS meetings, and lowering the stress of the occasion; we hope that this will be particularly attractive to early-career women.

Invited Speakers: Claudia Nalon (University of Brasilia, Brasil) and Catuscia Palamidessi (INRIA Saclay and LIX, France).

The LICS 2017 workshop will bring together three strands of investigation dealing with the model theory and complexity of numeric graph parameters and their generalization to other first order structures.

Grammatical Inference (GI) studies machine learning algorithms for classical recursive models of computations like automata and grammars. The expressive power of these models and the complexity of associated computational problems are a major research topic within theoretical computer science (TCS). This workshop aims at offering a favorable place for dialogue and at generating discussions between researchers from these two communities.

The workshop will have a particular emphasis on the recent successes due to collaborations between members with these two different backgrounds.

LOGICA 2017 is the 31st in the series of annual international symposia devoted to logic, to be held at Hejnice, 19 - 23 June 2017. Invited speakers are Hartry Field, Bob Hale, Shahid Rahman, Sonja Smets.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

It is well known that human beings do not always reason correctly. There are various kinds of fallacies and biases with which we meet in ordinary life, and reasoning problems to which most people give wrong answers in experimental situations. While context has by now been recognized as playing a fundamental role in the philosophy of language as well as in other philosophical fields, its role in the debate about human rationality has not yet been explored systematically. The workshop intends to examine what is the role of context in various approaches to the explanation and the evaluation of reasoning, but also, more generally and ambitiously, whether and how the use of context in the explanation and the evaluation of reasoning can be made more systematic and effective (even to the aim of solving, or dissolving, the traditional puzzles of the rationality debate).

This workshop is part of the 10th International and Interdisciplinary Conference on Modeling and Using Context (Context-17). Workshop organizers: Marina Sbisà and Paolo Labinaz (University of Trieste).

After a successful first edition in Brazil (April 1-5, 2015) we are glad to announce the 2nd World Congress on Logic and Religion University of Warsaw, June 18-22, 2017. A wide range of issues concerning the relation between logic and religion, with regional complexities and historical layers of religions, are expected to be discussed.

Confirmed invited speakers: Dov Gabbay (London/Tel Aviv) Michael Heller (recipient of Templeton Prize, Kraków) Laurent Lafforgue (Fields medal, Bures-sur-Yvette) Yuhan Sohrab-Dinshaw Vevaina (Toronto) Jan Wolenski (Kraków)

LOGICA 2017 is the 31st in the series of annual international symposia devoted to logic, to be held at Hejnice, 19 - 23 June 2017. Invited speakers are Hartry Field, Bob Hale, Shahid Rahman, Sonja Smets.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

It is well known that human beings do not always reason correctly. There are various kinds of fallacies and biases with which we meet in ordinary life, and reasoning problems to which most people give wrong answers in experimental situations. While context has by now been recognized as playing a fundamental role in the philosophy of language as well as in other philosophical fields, its role in the debate about human rationality has not yet been explored systematically. The workshop intends to examine what is the role of context in various approaches to the explanation and the evaluation of reasoning, but also, more generally and ambitiously, whether and how the use of context in the explanation and the evaluation of reasoning can be made more systematic and effective (even to the aim of solving, or dissolving, the traditional puzzles of the rationality debate).

This workshop is part of the 10th International and Interdisciplinary Conference on Modeling and Using Context (Context-17). Workshop organizers: Marina Sbisà and Paolo Labinaz (University of Trieste).

The second and final symposium of the Set Theoretic Pluralism (STP) network will take place at the University of Bristol on June 20-25, 2017. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology. The registration deadline is Monday 5 June, 2017.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

The field of argumentation has been expanding over the last decade with a clear opening towards cognitive psychology (and cognitive science more generally) and the processes it accounts for. With the development of cognitive science as an encompassing framework within which both psychological and social aspects of human behaviour can be accounted for, we believe that the time is ripe to ground a discussion in the community of argumentation studies around the notion of inference, along its formal, social and cognitive dimensions. The overarching questions the conference theme will be concerned with are therefore the following: How does the study of argumentation connect with the notion of inference and how, as a discipline, does it connect with the disciplines involved in the study of the cognitive features of inference?

To foster this discussion, the conference accordingly seeks to attract scholars in argumentation coming from a range of different traditions, including (but not limited to) philosophy, psychology, linguistics, informal logic, speech communication, pragma-dialectics, epistemic approaches, rhetoric, dialectics, logic, and computational approaches.

SILFS 2017, the triennial international conference of the Italian Society for Logic and the Philosophy of Science, will be held at the Department of Philosophy and Communication of the University of Bologna, 20-23 June 2017.

Confirmed invited speakers: Giovanna D’Agostino (Università di Udine), Francesco Guala (University of Milan), Eleanor Knox (King’s College London), Sabina Leonelli (University of Exeter), Jan von Plato (University of Helsinki) and Dag Westerståhl (University of Stockholm).

After a successful first edition in Brazil (April 1-5, 2015) we are glad to announce the 2nd World Congress on Logic and Religion University of Warsaw, June 18-22, 2017. A wide range of issues concerning the relation between logic and religion, with regional complexities and historical layers of religions, are expected to be discussed.

Confirmed invited speakers: Dov Gabbay (London/Tel Aviv) Michael Heller (recipient of Templeton Prize, Kraków) Laurent Lafforgue (Fields medal, Bures-sur-Yvette) Yuhan Sohrab-Dinshaw Vevaina (Toronto) Jan Wolenski (Kraków)

LOGICA 2017 is the 31st in the series of annual international symposia devoted to logic, to be held at Hejnice, 19 - 23 June 2017. Invited speakers are Hartry Field, Bob Hale, Shahid Rahman, Sonja Smets.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

It is well known that human beings do not always reason correctly. There are various kinds of fallacies and biases with which we meet in ordinary life, and reasoning problems to which most people give wrong answers in experimental situations. While context has by now been recognized as playing a fundamental role in the philosophy of language as well as in other philosophical fields, its role in the debate about human rationality has not yet been explored systematically. The workshop intends to examine what is the role of context in various approaches to the explanation and the evaluation of reasoning, but also, more generally and ambitiously, whether and how the use of context in the explanation and the evaluation of reasoning can be made more systematic and effective (even to the aim of solving, or dissolving, the traditional puzzles of the rationality debate).

This workshop is part of the 10th International and Interdisciplinary Conference on Modeling and Using Context (Context-17). Workshop organizers: Marina Sbisà and Paolo Labinaz (University of Trieste).

The second and final symposium of the Set Theoretic Pluralism (STP) network will take place at the University of Bristol on June 20-25, 2017. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology. The registration deadline is Monday 5 June, 2017.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

The field of argumentation has been expanding over the last decade with a clear opening towards cognitive psychology (and cognitive science more generally) and the processes it accounts for. With the development of cognitive science as an encompassing framework within which both psychological and social aspects of human behaviour can be accounted for, we believe that the time is ripe to ground a discussion in the community of argumentation studies around the notion of inference, along its formal, social and cognitive dimensions. The overarching questions the conference theme will be concerned with are therefore the following: How does the study of argumentation connect with the notion of inference and how, as a discipline, does it connect with the disciplines involved in the study of the cognitive features of inference?

To foster this discussion, the conference accordingly seeks to attract scholars in argumentation coming from a range of different traditions, including (but not limited to) philosophy, psychology, linguistics, informal logic, speech communication, pragma-dialectics, epistemic approaches, rhetoric, dialectics, logic, and computational approaches.

SILFS 2017, the triennial international conference of the Italian Society for Logic and the Philosophy of Science, will be held at the Department of Philosophy and Communication of the University of Bologna, 20-23 June 2017.

Confirmed invited speakers: Giovanna D’Agostino (Università di Udine), Francesco Guala (University of Milan), Eleanor Knox (King’s College London), Sabina Leonelli (University of Exeter), Jan von Plato (University of Helsinki) and Dag Westerståhl (University of Stockholm).

FQAS is the premier conference focusing on the key issue in the information society of providing easy, flexible, and intuitive access to information to everybody. In targeting this issue, the conference draws on several research areas, such as information retrieval, database management, data science, information filtering, knowledge representation, knowledge discovery, analytics, soft computing, management of multimedia information, and human-computer interaction. The guiding topic of the FQAS conferences are innovative query systems aimed at providing easy, flexible and human-friendly access to information. Such systems are becoming increasingly important also due to the huge and always growing number of users as well as the growing amount of available information. Thus, the works related to the concepts of data science, data streams querying etc. are very welcome.

For more information, see http://fqas-2017.org/.

After a successful first edition in Brazil (April 1-5, 2015) we are glad to announce the 2nd World Congress on Logic and Religion University of Warsaw, June 18-22, 2017. A wide range of issues concerning the relation between logic and religion, with regional complexities and historical layers of religions, are expected to be discussed.

Confirmed invited speakers: Dov Gabbay (London/Tel Aviv) Michael Heller (recipient of Templeton Prize, Kraków) Laurent Lafforgue (Fields medal, Bures-sur-Yvette) Yuhan Sohrab-Dinshaw Vevaina (Toronto) Jan Wolenski (Kraków)

LOGICA 2017 is the 31st in the series of annual international symposia devoted to logic, to be held at Hejnice, 19 - 23 June 2017. Invited speakers are Hartry Field, Bob Hale, Shahid Rahman, Sonja Smets.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

It is well known that human beings do not always reason correctly. There are various kinds of fallacies and biases with which we meet in ordinary life, and reasoning problems to which most people give wrong answers in experimental situations. While context has by now been recognized as playing a fundamental role in the philosophy of language as well as in other philosophical fields, its role in the debate about human rationality has not yet been explored systematically. The workshop intends to examine what is the role of context in various approaches to the explanation and the evaluation of reasoning, but also, more generally and ambitiously, whether and how the use of context in the explanation and the evaluation of reasoning can be made more systematic and effective (even to the aim of solving, or dissolving, the traditional puzzles of the rationality debate).

This workshop is part of the 10th International and Interdisciplinary Conference on Modeling and Using Context (Context-17). Workshop organizers: Marina Sbisà and Paolo Labinaz (University of Trieste).

The second and final symposium of the Set Theoretic Pluralism (STP) network will take place at the University of Bristol on June 20-25, 2017. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology. The registration deadline is Monday 5 June, 2017.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

The field of argumentation has been expanding over the last decade with a clear opening towards cognitive psychology (and cognitive science more generally) and the processes it accounts for. With the development of cognitive science as an encompassing framework within which both psychological and social aspects of human behaviour can be accounted for, we believe that the time is ripe to ground a discussion in the community of argumentation studies around the notion of inference, along its formal, social and cognitive dimensions. The overarching questions the conference theme will be concerned with are therefore the following: How does the study of argumentation connect with the notion of inference and how, as a discipline, does it connect with the disciplines involved in the study of the cognitive features of inference?

To foster this discussion, the conference accordingly seeks to attract scholars in argumentation coming from a range of different traditions, including (but not limited to) philosophy, psychology, linguistics, informal logic, speech communication, pragma-dialectics, epistemic approaches, rhetoric, dialectics, logic, and computational approaches.

SILFS 2017, the triennial international conference of the Italian Society for Logic and the Philosophy of Science, will be held at the Department of Philosophy and Communication of the University of Bologna, 20-23 June 2017.

Confirmed invited speakers: Giovanna D’Agostino (Università di Udine), Francesco Guala (University of Milan), Eleanor Knox (King’s College London), Sabina Leonelli (University of Exeter), Jan von Plato (University of Helsinki) and Dag Westerståhl (University of Stockholm).

FQAS is the premier conference focusing on the key issue in the information society of providing easy, flexible, and intuitive access to information to everybody. In targeting this issue, the conference draws on several research areas, such as information retrieval, database management, data science, information filtering, knowledge representation, knowledge discovery, analytics, soft computing, management of multimedia information, and human-computer interaction. The guiding topic of the FQAS conferences are innovative query systems aimed at providing easy, flexible and human-friendly access to information. Such systems are becoming increasingly important also due to the huge and always growing number of users as well as the growing amount of available information. Thus, the works related to the concepts of data science, data streams querying etc. are very welcome.

For more information, see http://fqas-2017.org/.

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

LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP, that aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.

LOGICA 2017 is the 31st in the series of annual international symposia devoted to logic, to be held at Hejnice, 19 - 23 June 2017. Invited speakers are Hartry Field, Bob Hale, Shahid Rahman, Sonja Smets.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

It is well known that human beings do not always reason correctly. There are various kinds of fallacies and biases with which we meet in ordinary life, and reasoning problems to which most people give wrong answers in experimental situations. While context has by now been recognized as playing a fundamental role in the philosophy of language as well as in other philosophical fields, its role in the debate about human rationality has not yet been explored systematically. The workshop intends to examine what is the role of context in various approaches to the explanation and the evaluation of reasoning, but also, more generally and ambitiously, whether and how the use of context in the explanation and the evaluation of reasoning can be made more systematic and effective (even to the aim of solving, or dissolving, the traditional puzzles of the rationality debate).

This workshop is part of the 10th International and Interdisciplinary Conference on Modeling and Using Context (Context-17). Workshop organizers: Marina Sbisà and Paolo Labinaz (University of Trieste).

The second and final symposium of the Set Theoretic Pluralism (STP) network will take place at the University of Bristol on June 20-25, 2017. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology. The registration deadline is Monday 5 June, 2017.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

The field of argumentation has been expanding over the last decade with a clear opening towards cognitive psychology (and cognitive science more generally) and the processes it accounts for. With the development of cognitive science as an encompassing framework within which both psychological and social aspects of human behaviour can be accounted for, we believe that the time is ripe to ground a discussion in the community of argumentation studies around the notion of inference, along its formal, social and cognitive dimensions. The overarching questions the conference theme will be concerned with are therefore the following: How does the study of argumentation connect with the notion of inference and how, as a discipline, does it connect with the disciplines involved in the study of the cognitive features of inference?

To foster this discussion, the conference accordingly seeks to attract scholars in argumentation coming from a range of different traditions, including (but not limited to) philosophy, psychology, linguistics, informal logic, speech communication, pragma-dialectics, epistemic approaches, rhetoric, dialectics, logic, and computational approaches.

SILFS 2017, the triennial international conference of the Italian Society for Logic and the Philosophy of Science, will be held at the Department of Philosophy and Communication of the University of Bologna, 20-23 June 2017.

Confirmed invited speakers: Giovanna D’Agostino (Università di Udine), Francesco Guala (University of Milan), Eleanor Knox (King’s College London), Sabina Leonelli (University of Exeter), Jan von Plato (University of Helsinki) and Dag Westerståhl (University of Stockholm).

FQAS is the premier conference focusing on the key issue in the information society of providing easy, flexible, and intuitive access to information to everybody. In targeting this issue, the conference draws on several research areas, such as information retrieval, database management, data science, information filtering, knowledge representation, knowledge discovery, analytics, soft computing, management of multimedia information, and human-computer interaction. The guiding topic of the FQAS conferences are innovative query systems aimed at providing easy, flexible and human-friendly access to information. Such systems are becoming increasingly important also due to the huge and always growing number of users as well as the growing amount of available information. Thus, the works related to the concepts of data science, data streams querying etc. are very welcome.

For more information, see http://fqas-2017.org/.

The Utrecht based Time in Translation project (Henriëtte de Swart, Bert Le Bruyn, Martijn van der Klis) is happy to announce its kick-off workshop on Friday June 23rd in Utrecht. We're bringing together linguists from different backgrounds and with different aims and ask them to reflect on corpus methodology in their work: Stephan Th. Gries, Eva Vanmassenhove, Martijn van der Klis, Antonio Toral, Tommaso Caselli, Jet Hoek & Nicholas Asher.

Participation. Participation is for free but it would be great if you could send a short email to Bert Le Bruyn if you're intending to join for lunch.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

The second and final symposium of the Set Theoretic Pluralism (STP) network will take place at the University of Bristol on June 20-25, 2017. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology. The registration deadline is Monday 5 June, 2017.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

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

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

The second and final symposium of the Set Theoretic Pluralism (STP) network will take place at the University of Bristol on June 20-25, 2017. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology. The registration deadline is Monday 5 June, 2017.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

The Summer School “Music, Language and Cognition” offers an extended overview of complex behavioral events whose existence is time dependent, including language, music and body movement. We focus on how sounds, melodies, rhythm and syntactic information in music and language may afford the extraction of regularities, the generation of expectations, the coordination of perception and action, the directing of attention, and the priming of interactive social behavior. Lecturers will be integrated by brain storming and students presentations.

Studies on discourse processing indicate that natural language interpretation is expectation-driven. Even though it is uncontroversial that both linguistic (e.g. lexical items, morpho-syntactic constructions, prosody) and extra-linguistic factors (e.g. world knowledge, speaker/hearer knowledge) are used to anticipate how discourse is likely to continue, the nature of their interplay is a topic of ongoing research. DETEC approaches this topic in an interdisciplinary fashion by comparing theoretical, experimental, and computational perspectives.

This workshop brings together an interdisciplinary group of researchers interested in issues of scientific error. Participants share their views on how scientific errors can be detected and corrected, how they influence scientific communities, and the perception of science as a whole.

Invited Speakers: Edouard Machery (Pittsburgh), Barbara Osimani (Munich), Daniel Lakens (Eindhoven), Eric-Jan Wagenmakers (Amsterdam).

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

IACAP's 2017 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists. The meeting will have a single main track focusing on topics at the core of IACAP members' interests. Symposia will also be organized and run by members, or groups of members, to focus on special topics.

ICCBR is the premier, annual meeting of the CBR community and the leading international conference on this topic. The theme for ICCBR 2017 is Analogy for Reuse. To encourage this, the ICCBR 2017 program will include keynote addresses, a main technical track, a workshop program, a doctoral consortium, and the Computer Cooking Contest with several connections to this theme.

ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

The SLALM (Simposio Latinoamericano de Lógica Matemática) was conceived in the late 1960′s by Abraham Robinson, who at the time was President of the Association for Symbolic Logic (ASL). The SLALM brings together the community of researchers in logic along Latin America and is nourished by important participations of researchers from around the world. It has grown thanks to the support of the ASL, as well as the local institutions that host the event.

The first two days of the meeting will be devoted to tutorials and the other three days to the plenary talks and the topic sessions. We invite you to be part of this important meeting.

CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

This workshop marks and celebrates the end of the first phase (almost two years) of the project Inquisitivenes Below and Beyond the Sentence Boundary (InqBnB), carried out at the Institute for Logic, Language and Computation (ILLC) in Amsterdam with funding from the Netherlands Organisation for Scientific Research (NWO).

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

The Summer School “Music, Language and Cognition” offers an extended overview of complex behavioral events whose existence is time dependent, including language, music and body movement. We focus on how sounds, melodies, rhythm and syntactic information in music and language may afford the extraction of regularities, the generation of expectations, the coordination of perception and action, the directing of attention, and the priming of interactive social behavior. Lecturers will be integrated by brain storming and students presentations.

Studies on discourse processing indicate that natural language interpretation is expectation-driven. Even though it is uncontroversial that both linguistic (e.g. lexical items, morpho-syntactic constructions, prosody) and extra-linguistic factors (e.g. world knowledge, speaker/hearer knowledge) are used to anticipate how discourse is likely to continue, the nature of their interplay is a topic of ongoing research. DETEC approaches this topic in an interdisciplinary fashion by comparing theoretical, experimental, and computational perspectives.

This workshop brings together an interdisciplinary group of researchers interested in issues of scientific error. Participants share their views on how scientific errors can be detected and corrected, how they influence scientific communities, and the perception of science as a whole.

Invited Speakers: Edouard Machery (Pittsburgh), Barbara Osimani (Munich), Daniel Lakens (Eindhoven), Eric-Jan Wagenmakers (Amsterdam).

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

IACAP's 2017 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists. The meeting will have a single main track focusing on topics at the core of IACAP members' interests. Symposia will also be organized and run by members, or groups of members, to focus on special topics.

ICCBR is the premier, annual meeting of the CBR community and the leading international conference on this topic. The theme for ICCBR 2017 is Analogy for Reuse. To encourage this, the ICCBR 2017 program will include keynote addresses, a main technical track, a workshop program, a doctoral consortium, and the Computer Cooking Contest with several connections to this theme.

ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

The SLALM (Simposio Latinoamericano de Lógica Matemática) was conceived in the late 1960′s by Abraham Robinson, who at the time was President of the Association for Symbolic Logic (ASL). The SLALM brings together the community of researchers in logic along Latin America and is nourished by important participations of researchers from around the world. It has grown thanks to the support of the ASL, as well as the local institutions that host the event.

The first two days of the meeting will be devoted to tutorials and the other three days to the plenary talks and the topic sessions. We invite you to be part of this important meeting.

CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

This workshop marks and celebrates the end of the first phase (almost two years) of the project Inquisitivenes Below and Beyond the Sentence Boundary (InqBnB), carried out at the Institute for Logic, Language and Computation (ILLC) in Amsterdam with funding from the Netherlands Organisation for Scientific Research (NWO).

IEA/AIE 2017 continues the tradition of emphasizing applications of applied intelligent systems to solve real-life problems in all areas including engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions.

The CIAA conference series, which was started in 1996, covers all aspects of implementation, application, and theory of automata and related structures. It aims to attract contributions from both classical automata theory and applications.

The scientific program will consist of invited lectures and presentations of papers selected by the international program committee, based on a thorough peer-reviewing process. Invited speakers include Véronique Cortier (CNRS, LORIA, France), Kim G. Larsen (Aalborg University, Denmark) and Damien Pous (CNRS, ENS Lyon, France).

On behalf of Jan Broersen you are all warmly invited for the REINS/TF-mini-symposium on deontic logic.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

The Summer School “Music, Language and Cognition” offers an extended overview of complex behavioral events whose existence is time dependent, including language, music and body movement. We focus on how sounds, melodies, rhythm and syntactic information in music and language may afford the extraction of regularities, the generation of expectations, the coordination of perception and action, the directing of attention, and the priming of interactive social behavior. Lecturers will be integrated by brain storming and students presentations.

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

IACAP's 2017 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists. The meeting will have a single main track focusing on topics at the core of IACAP members' interests. Symposia will also be organized and run by members, or groups of members, to focus on special topics.

ICCBR is the premier, annual meeting of the CBR community and the leading international conference on this topic. The theme for ICCBR 2017 is Analogy for Reuse. To encourage this, the ICCBR 2017 program will include keynote addresses, a main technical track, a workshop program, a doctoral consortium, and the Computer Cooking Contest with several connections to this theme.

ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

The SLALM (Simposio Latinoamericano de Lógica Matemática) was conceived in the late 1960′s by Abraham Robinson, who at the time was President of the Association for Symbolic Logic (ASL). The SLALM brings together the community of researchers in logic along Latin America and is nourished by important participations of researchers from around the world. It has grown thanks to the support of the ASL, as well as the local institutions that host the event.

The first two days of the meeting will be devoted to tutorials and the other three days to the plenary talks and the topic sessions. We invite you to be part of this important meeting.

CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

This workshop marks and celebrates the end of the first phase (almost two years) of the project Inquisitivenes Below and Beyond the Sentence Boundary (InqBnB), carried out at the Institute for Logic, Language and Computation (ILLC) in Amsterdam with funding from the Netherlands Organisation for Scientific Research (NWO).

IEA/AIE 2017 continues the tradition of emphasizing applications of applied intelligent systems to solve real-life problems in all areas including engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions.

The CIAA conference series, which was started in 1996, covers all aspects of implementation, application, and theory of automata and related structures. It aims to attract contributions from both classical automata theory and applications.

The scientific program will consist of invited lectures and presentations of papers selected by the international program committee, based on a thorough peer-reviewing process. Invited speakers include Véronique Cortier (CNRS, LORIA, France), Kim G. Larsen (Aalborg University, Denmark) and Damien Pous (CNRS, ENS Lyon, France).

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

The Summer School “Music, Language and Cognition” offers an extended overview of complex behavioral events whose existence is time dependent, including language, music and body movement. We focus on how sounds, melodies, rhythm and syntactic information in music and language may afford the extraction of regularities, the generation of expectations, the coordination of perception and action, the directing of attention, and the priming of interactive social behavior. Lecturers will be integrated by brain storming and students presentations.

ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

The SLALM (Simposio Latinoamericano de Lógica Matemática) was conceived in the late 1960′s by Abraham Robinson, who at the time was President of the Association for Symbolic Logic (ASL). The SLALM brings together the community of researchers in logic along Latin America and is nourished by important participations of researchers from around the world. It has grown thanks to the support of the ASL, as well as the local institutions that host the event.

The first two days of the meeting will be devoted to tutorials and the other three days to the plenary talks and the topic sessions. We invite you to be part of this important meeting.

CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

This workshop marks and celebrates the end of the first phase (almost two years) of the project Inquisitivenes Below and Beyond the Sentence Boundary (InqBnB), carried out at the Institute for Logic, Language and Computation (ILLC) in Amsterdam with funding from the Netherlands Organisation for Scientific Research (NWO).

IEA/AIE 2017 continues the tradition of emphasizing applications of applied intelligent systems to solve real-life problems in all areas including engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions.

The CIAA conference series, which was started in 1996, covers all aspects of implementation, application, and theory of automata and related structures. It aims to attract contributions from both classical automata theory and applications.

The scientific program will consist of invited lectures and presentations of papers selected by the international program committee, based on a thorough peer-reviewing process. Invited speakers include Véronique Cortier (CNRS, LORIA, France), Kim G. Larsen (Aalborg University, Denmark) and Damien Pous (CNRS, ENS Lyon, France).

In the last 50 years, the success of possible worlds semantics for intensional logics has determined a discrepancy between techniques, aims and themes employed in the study of modal notions (broadly conceived as to include propositional attitudes, probability, validity) and in the study of truth. If the former endeavour focuses more on analyzing the logical space given by possible worlds semantics -- leaving aside problems and limitations that full self-reference and quantification may provide -- as a model for understanding modal concepts, the philosophical and logical mainstream in the study of truth is still deeply concerned with paradox and the self-referential aspects of sufficiently expressive languages containing a truth predicate.

The conference aims at bringing together researchers working on the interaction between these two traditions with a particular emphasis on expressive frameworks that treat truth and modalities as interacting predicates.

The conference will be held in conjunction with the annual conference of the Australasian Association of Philosophy, and overlap by one day, Thu 6 July.

Every four years the Austrian Mathematical Society organizes a congress with international outreach. It became a nice tradition that the German Mathematical Society co-organizes this event and has its Annual Meeting at the congress. Altogether, there are 17 different sections scheduled for this meeting. The section on Algebra, Logic and Set Theory is chaired by Agata Ciabattoni (Vienna, Austria) and Vasco Brattka (Munich, Germany).

The invited speakers of this section are Ekaterina Fokina (Vienna, Austria), George Metcalfe (Berne, Switzerland) and Arno Pauly (Brussels, Belgium). At the meeting there will also be a minisymposium on Applied Proof Theory and the Computational Content of Mathematics organized by Thomas Powell (Darmstadt) and Sam Sanders (Munich).

This workshop celebrates the completion of the EPSRC-funded project 'Social Machines of Mathematics', led by Professor Ursula Martin at the University of Oxford. We will present research arising from the project, and bring together interested researchers who want to build upon and complement our work. We invite interested researchers from a broad range of fields, including: Computer Science, Philosophy, Sociology, History of Mathematics and Science, Argumentation theory, and Mathematics Education. Through such a diverse mix of disciplines we aim to foster new insights, perspectives and conversations around the theme of Enabling Mathematical Cultures.

After two workshops on connexive logics in Istanbul (June 2015) and Raesfeld Castle (June 2016), a third workshop on connexive logics will take place in Kyoto (Japan) as part of 'Kyoto Nonclassical Logic Workshop III', 7th of September 2017.

This workshop is meant to present current work on connexive logic and to stimulate future research. Keynote speakers: Norihiro Kamide (Teikyo University, Japan) Andreas Kapsner (LMU Munich, Germany).

RADICAL is a new workshop aligned within the intersection between concurrency and logic, broadly construed.

Recently, the interplay of concurrency and logic with areas/applications has received much attention, as witnessed by recent CONCUR editions. These areas/applications have become increasingly consolidated, and start to have profound impact in neighbouring communities. As an unfortunate side effect, however, the important unifying role that concurrency plays in all of them seems hard to find in a single scientific event.  RADICAL intends to fill a gap between CONCUR researchers that now also typically publish and interact in other different venues; it also aims at attracting researchers from neighbouring communities whose work naturally intersects with CONCUR.

String diagrams are a powerful tool for reasoning about processes and composition. Originally developed as a convenient notation for the arrows of monoidal and higher categories, they are increasingly used in the formal study of digital circuits, control theory, concurrency, quantum and classical computation, natural language processes, logic and more. String diagrams combine the advantages of formal syntax with intuitive aspects: the graphical nature of terms means that they often reflect the topology of systems under consideration. Moreover, diagrammatic reasoning transforms formal arguments into dynamic, moving images, thus building domain specific intuitions, valuable both for practitioners and pedagogy.

This workshop aims to bring together researchers from diverse backgrounds and specialities to collaborate and share their insights, tools, and techniques. It will furthermore provide an informal atmosphere in a unique venue: the upstairs of the Jericho Tavern, a music venue, where famously Radiohead played their first concert. All the usual conference facilities will be provided, and the distinctive location will provide plenty of opportunities to discuss and share ideas. STRING 2017 is a satellite event of FSCD 2017  and will be co-located with the 3rd Higher-Dimensional Rewriting and Applications.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

The Summer School “Music, Language and Cognition” offers an extended overview of complex behavioral events whose existence is time dependent, including language, music and body movement. We focus on how sounds, melodies, rhythm and syntactic information in music and language may afford the extraction of regularities, the generation of expectations, the coordination of perception and action, the directing of attention, and the priming of interactive social behavior. Lecturers will be integrated by brain storming and students presentations.

The SLALM (Simposio Latinoamericano de Lógica Matemática) was conceived in the late 1960′s by Abraham Robinson, who at the time was President of the Association for Symbolic Logic (ASL). The SLALM brings together the community of researchers in logic along Latin America and is nourished by important participations of researchers from around the world. It has grown thanks to the support of the ASL, as well as the local institutions that host the event.

The first two days of the meeting will be devoted to tutorials and the other three days to the plenary talks and the topic sessions. We invite you to be part of this important meeting.

CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

This workshop marks and celebrates the end of the first phase (almost two years) of the project Inquisitivenes Below and Beyond the Sentence Boundary (InqBnB), carried out at the Institute for Logic, Language and Computation (ILLC) in Amsterdam with funding from the Netherlands Organisation for Scientific Research (NWO).

IEA/AIE 2017 continues the tradition of emphasizing applications of applied intelligent systems to solve real-life problems in all areas including engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions.

The CIAA conference series, which was started in 1996, covers all aspects of implementation, application, and theory of automata and related structures. It aims to attract contributions from both classical automata theory and applications.

The scientific program will consist of invited lectures and presentations of papers selected by the international program committee, based on a thorough peer-reviewing process. Invited speakers include Véronique Cortier (CNRS, LORIA, France), Kim G. Larsen (Aalborg University, Denmark) and Damien Pous (CNRS, ENS Lyon, France).

In the last 50 years, the success of possible worlds semantics for intensional logics has determined a discrepancy between techniques, aims and themes employed in the study of modal notions (broadly conceived as to include propositional attitudes, probability, validity) and in the study of truth. If the former endeavour focuses more on analyzing the logical space given by possible worlds semantics -- leaving aside problems and limitations that full self-reference and quantification may provide -- as a model for understanding modal concepts, the philosophical and logical mainstream in the study of truth is still deeply concerned with paradox and the self-referential aspects of sufficiently expressive languages containing a truth predicate.

The conference aims at bringing together researchers working on the interaction between these two traditions with a particular emphasis on expressive frameworks that treat truth and modalities as interacting predicates.

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.