The Encyclopedia of Proof Systems was created in 2014 with the goal of being a quick reference for the various proof systems used by logicians. Since then, it has collected 64 entries on the most various logics and calculi. This was only possible due to the collaboration of many members of the logic community.

This event aims to promote the encyclopedia and attract more contributions and collaborators. It consists of:
- a poster session in the afternoon of September 24th, 2017, during which submitted entries will be displayed as posters;
- an interactive hands-on meeting in the morning of September 25th, 2017, for those who would like to contribute to the continuous improvement of the encyclopedia.

The purpose of this workshop is to gather researchers and practitioners in multi-disciplinary fields (including logic, artificial intelligence, cognitive science, etc), to discuss research related to knowledge acquisition, representation, reasoning and decision making in the context of Big Data.

Invited speakers: Thomas Ågotnes (University of Bergen), Jan Broersen (Universiteit Utrecht), Kim Plunkett (Oxford University) and Chris Reed (University of Dundee).

Tentative list of speakers (incomplete): Gunter Fuchs (CUNY), Moti Gitik (Tel Aviv University), Menachem Magidor (Jerusalem), Adrian Mathias (Reunion), Itay Neeman (UCLA), John Steel (Berkeley), W. Hugh Woodin (Harvard) and Martin Zeman (UC Irvine).

The Munich Center for Mathematical Philosophy (MCMP) is organizing the fourth Summer School on Mathematical Philosophy for Female Students. Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems.

This year the focus of the summer school will be to provide a framework for developing expertise in formal approaches used in (1) philosophy of language, (2) philosophy of logic, and (3) philosophy of mathematics. The summer school will offer the opportunity for study in an informal setting, for lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for applications is *March 5, 2017.

We believe that all three aspects verification technology, systems & applications strongly depend on each other and that progress in the area of formal analysis and verification can only be made if all three aspects are considered as a whole. Our five speakers Rajeev Alur, Christel Baier, Hoon Hong, Andrew Reynolds and Thomas Wies stand for this view in that they represent and will present a particular verification technology and its implementation in a system in order to successfully apply the approach to real world verification problems.

The school is synchronized with the SC2 Summer School 2017, happening at the same time in the same place. The deadline for application is June 1st, 2017.

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.

Tentative list of speakers (incomplete): Gunter Fuchs (CUNY), Moti Gitik (Tel Aviv University), Menachem Magidor (Jerusalem), Adrian Mathias (Reunion), Itay Neeman (UCLA), John Steel (Berkeley), W. Hugh Woodin (Harvard) and Martin Zeman (UC Irvine).

The Munich Center for Mathematical Philosophy (MCMP) is organizing the fourth Summer School on Mathematical Philosophy for Female Students. Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems.

This year the focus of the summer school will be to provide a framework for developing expertise in formal approaches used in (1) philosophy of language, (2) philosophy of logic, and (3) philosophy of mathematics. The summer school will offer the opportunity for study in an informal setting, for lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for applications is *March 5, 2017.

We believe that all three aspects verification technology, systems & applications strongly depend on each other and that progress in the area of formal analysis and verification can only be made if all three aspects are considered as a whole. Our five speakers Rajeev Alur, Christel Baier, Hoon Hong, Andrew Reynolds and Thomas Wies stand for this view in that they represent and will present a particular verification technology and its implementation in a system in order to successfully apply the approach to real world verification problems.

The school is synchronized with the SC2 Summer School 2017, happening at the same time in the same place. The deadline for application is June 1st, 2017.

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.

This is the annual meeting of the Buenos Aires Logic Group. The scope of the event includes topics in non-classical logic, recovery operators, semantics paradoxes, logical pluralism and applications of logic.

Tentative list of speakers (incomplete): Gunter Fuchs (CUNY), Moti Gitik (Tel Aviv University), Menachem Magidor (Jerusalem), Adrian Mathias (Reunion), Itay Neeman (UCLA), John Steel (Berkeley), W. Hugh Woodin (Harvard) and Martin Zeman (UC Irvine).

The Munich Center for Mathematical Philosophy (MCMP) is organizing the fourth Summer School on Mathematical Philosophy for Female Students. Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems.

This year the focus of the summer school will be to provide a framework for developing expertise in formal approaches used in (1) philosophy of language, (2) philosophy of logic, and (3) philosophy of mathematics. The summer school will offer the opportunity for study in an informal setting, for lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for applications is *March 5, 2017.

We believe that all three aspects verification technology, systems & applications strongly depend on each other and that progress in the area of formal analysis and verification can only be made if all three aspects are considered as a whole. Our five speakers Rajeev Alur, Christel Baier, Hoon Hong, Andrew Reynolds and Thomas Wies stand for this view in that they represent and will present a particular verification technology and its implementation in a system in order to successfully apply the approach to real world verification problems.

The school is synchronized with the SC2 Summer School 2017, happening at the same time in the same place. The deadline for application is June 1st, 2017.

This is the annual meeting of the Buenos Aires Logic Group. The scope of the event includes topics in non-classical logic, recovery operators, semantics paradoxes, logical pluralism and applications of logic.

Tentative list of speakers (incomplete): Gunter Fuchs (CUNY), Moti Gitik (Tel Aviv University), Menachem Magidor (Jerusalem), Adrian Mathias (Reunion), Itay Neeman (UCLA), John Steel (Berkeley), W. Hugh Woodin (Harvard) and Martin Zeman (UC Irvine).

The Munich Center for Mathematical Philosophy (MCMP) is organizing the fourth Summer School on Mathematical Philosophy for Female Students. Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems.

This year the focus of the summer school will be to provide a framework for developing expertise in formal approaches used in (1) philosophy of language, (2) philosophy of logic, and (3) philosophy of mathematics. The summer school will offer the opportunity for study in an informal setting, for lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for applications is *March 5, 2017.

We believe that all three aspects verification technology, systems & applications strongly depend on each other and that progress in the area of formal analysis and verification can only be made if all three aspects are considered as a whole. Our five speakers Rajeev Alur, Christel Baier, Hoon Hong, Andrew Reynolds and Thomas Wies stand for this view in that they represent and will present a particular verification technology and its implementation in a system in order to successfully apply the approach to real world verification problems.

The school is synchronized with the SC2 Summer School 2017, happening at the same time in the same place. The deadline for application is June 1st, 2017.

This is the annual meeting of the Buenos Aires Logic Group. The scope of the event includes topics in non-classical logic, recovery operators, semantics paradoxes, logical pluralism and applications of logic.

The Munich Center for Mathematical Philosophy (MCMP) is organizing the fourth Summer School on Mathematical Philosophy for Female Students. Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems.

This year the focus of the summer school will be to provide a framework for developing expertise in formal approaches used in (1) philosophy of language, (2) philosophy of logic, and (3) philosophy of mathematics. The summer school will offer the opportunity for study in an informal setting, for lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for applications is *March 5, 2017.

Reverse mathematics is concerned with examining exactly which axioms are necessary for various central mathematical theorems and results. The program is a relatively new one in the foundations of mathematics. It turns out that most theorems are equivalent to one of five subsystems of second order arithmetic. The main objective of the conference is to explore the philosophical significance of reverse mathematics as a research program in the foundations of mathematics.

Speakers: Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy, LMU Munich), Walter Dean (University of Warwick) (TBC), Benedict Eastaugh (University of Bristol), Marcia Groszek (Dartmouth College), Takako Nemoto (Japan Advanced Institute of Science and Technology), Stephen G. Simpson (Pennsylvania State University and Vanderbilt University).

CADE is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions.

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.

CADE is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions.

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.

The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. The two previous schools were organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. The school is co-located with Logic Colloquium 2017 (14-20 August) and Computer Science Logic 2017 (21-24 August).

The school will consist of 10 five-hour courses, running in two parallel streams. In addition, there will be short student presentations and poster sessions.

The summer school will offer a rich programme of introductory and advanced courses on a broad range of topics in the area of autonomous agents and multiagent systems. The courses are aimed at PhD students, advanced Master's students, and other early-stage researchers and will be taught by leading researchers in the field. Topics to be covered in this year's edition include decision making, game theory, mechanism design, judgment aggregation, epistemic logic, argumentation theory, reinforcement learning, model checking, verification, and machine ethics.

EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems. The school attracts both beginner and experienced researchers, encouraging cooperation between representatives of many branches of Multi-Agent Systems research community. A limited number of student grants are available in the form of fee waivers: deadline for application is 5 June 2017.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

CADE is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions.

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.

The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. The two previous schools were organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. The school is co-located with Logic Colloquium 2017 (14-20 August) and Computer Science Logic 2017 (21-24 August).

The school will consist of 10 five-hour courses, running in two parallel streams. In addition, there will be short student presentations and poster sessions.

The summer school will offer a rich programme of introductory and advanced courses on a broad range of topics in the area of autonomous agents and multiagent systems. The courses are aimed at PhD students, advanced Master's students, and other early-stage researchers and will be taught by leading researchers in the field. Topics to be covered in this year's edition include decision making, game theory, mechanism design, judgment aggregation, epistemic logic, argumentation theory, reinforcement learning, model checking, verification, and machine ethics.

EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems. The school attracts both beginner and experienced researchers, encouraging cooperation between representatives of many branches of Multi-Agent Systems research community. A limited number of student grants are available in the form of fee waivers: deadline for application is 5 June 2017.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

CADE is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions.

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.

The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. The two previous schools were organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. The school is co-located with Logic Colloquium 2017 (14-20 August) and Computer Science Logic 2017 (21-24 August).

The school will consist of 10 five-hour courses, running in two parallel streams. In addition, there will be short student presentations and poster sessions.

The summer school will offer a rich programme of introductory and advanced courses on a broad range of topics in the area of autonomous agents and multiagent systems. The courses are aimed at PhD students, advanced Master's students, and other early-stage researchers and will be taught by leading researchers in the field. Topics to be covered in this year's edition include decision making, game theory, mechanism design, judgment aggregation, epistemic logic, argumentation theory, reinforcement learning, model checking, verification, and machine ethics.

EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems. The school attracts both beginner and experienced researchers, encouraging cooperation between representatives of many branches of Multi-Agent Systems research community. A limited number of student grants are available in the form of fee waivers: deadline for application is 5 June 2017.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

CADE is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions.

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.

The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. The two previous schools were organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. The school is co-located with Logic Colloquium 2017 (14-20 August) and Computer Science Logic 2017 (21-24 August).

The school will consist of 10 five-hour courses, running in two parallel streams. In addition, there will be short student presentations and poster sessions.

The summer school will offer a rich programme of introductory and advanced courses on a broad range of topics in the area of autonomous agents and multiagent systems. The courses are aimed at PhD students, advanced Master's students, and other early-stage researchers and will be taught by leading researchers in the field. Topics to be covered in this year's edition include decision making, game theory, mechanism design, judgment aggregation, epistemic logic, argumentation theory, reinforcement learning, model checking, verification, and machine ethics.

EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems. The school attracts both beginner and experienced researchers, encouraging cooperation between representatives of many branches of Multi-Agent Systems research community. A limited number of student grants are available in the form of fee waivers: deadline for application is 5 June 2017.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

CADE is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions.

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.

The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. The two previous schools were organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. The school is co-located with Logic Colloquium 2017 (14-20 August) and Computer Science Logic 2017 (21-24 August).

The school will consist of 10 five-hour courses, running in two parallel streams. In addition, there will be short student presentations and poster sessions.

The summer school will offer a rich programme of introductory and advanced courses on a broad range of topics in the area of autonomous agents and multiagent systems. The courses are aimed at PhD students, advanced Master's students, and other early-stage researchers and will be taught by leading researchers in the field. Topics to be covered in this year's edition include decision making, game theory, mechanism design, judgment aggregation, epistemic logic, argumentation theory, reinforcement learning, model checking, verification, and machine ethics.

EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems. The school attracts both beginner and experienced researchers, encouraging cooperation between representatives of many branches of Multi-Agent Systems research community. A limited number of student grants are available in the form of fee waivers: deadline for application is 5 June 2017.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The BLAST Conference Series circulates among different universities and focuses on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. This year's installment of the BLAST conference series will take place on the campus of Vanderbilt University from August 14 to August 18, 2017. It honors the life and memory of Bjarni Jónsson. The scientific program will include nine invited lectures, three tutorials and contributed talks. It is worth mentioning that there will be a spectacular solar eclipse in Nashville on August 21st, so perhaps some participants may elect to stay on for a few days after the conference.

This is a preliminary announcement. Additional information will be provided in the beginning of April.

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

The Novembertagung on the History of Mathematics is an annual international conference aimed at PhD and postdoctoral students in the history of mathematics and related fields. It provides an opportunity for them to present and discuss their research in an informal and safe environment, share experiences and advice and to establish new contacts.

The theme of the Novembertagung this year is "Tools for research in mathematics, history and philosophy". Invited speakers: Liesbeth de Mol (Lille) & Ralf Krömer (Wuppertal).

The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting.

A particular focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. Deduktionstreffen 2017 is associated with KI 2017.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The BLAST Conference Series circulates among different universities and focuses on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. This year's installment of the BLAST conference series will take place on the campus of Vanderbilt University from August 14 to August 18, 2017. It honors the life and memory of Bjarni Jónsson. The scientific program will include nine invited lectures, three tutorials and contributed talks. It is worth mentioning that there will be a spectacular solar eclipse in Nashville on August 21st, so perhaps some participants may elect to stay on for a few days after the conference.

This is a preliminary announcement. Additional information will be provided in the beginning of April.

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

SaarDial will be the 21st edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2017 the workshop will be hosted by the Spoken Language Systems Group, Saarland University, and will be collocated with the 18th Annual SigDial Meeting on Discourse and Dialogue.

The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field — the creation of thinking machines with general intelligence at the human level and possibly beyond.

This is an unprecedentedly exciting time to be working in the AGI field. Today, in 2017, the quest to create AI systems with general intelligence at the human level and beyond is taken more seriously by a broader community than ever before. There has been no better time in history to gather together with other AGI researchers and learn and discuss and share together, regarding how best to take the next steps toward advanced artificial general intelligence.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The BLAST Conference Series circulates among different universities and focuses on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. This year's installment of the BLAST conference series will take place on the campus of Vanderbilt University from August 14 to August 18, 2017. It honors the life and memory of Bjarni Jónsson. The scientific program will include nine invited lectures, three tutorials and contributed talks. It is worth mentioning that there will be a spectacular solar eclipse in Nashville on August 21st, so perhaps some participants may elect to stay on for a few days after the conference.

This is a preliminary announcement. Additional information will be provided in the beginning of April.

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

SaarDial will be the 21st edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2017 the workshop will be hosted by the Spoken Language Systems Group, Saarland University, and will be collocated with the 18th Annual SigDial Meeting on Discourse and Dialogue.

The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field — the creation of thinking machines with general intelligence at the human level and possibly beyond.

This is an unprecedentedly exciting time to be working in the AGI field. Today, in 2017, the quest to create AI systems with general intelligence at the human level and beyond is taken more seriously by a broader community than ever before. There has been no better time in history to gather together with other AGI researchers and learn and discuss and share together, regarding how best to take the next steps toward advanced artificial general intelligence.

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

The workshop focuses on logical approaches to the computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. . It intends to be a forum for presenting new results as well as work in progress. LACompLing 2017 is affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017, and co-located with: Logic in Stockholm 2017.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The BLAST Conference Series circulates among different universities and focuses on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. This year's installment of the BLAST conference series will take place on the campus of Vanderbilt University from August 14 to August 18, 2017. It honors the life and memory of Bjarni Jónsson. The scientific program will include nine invited lectures, three tutorials and contributed talks. It is worth mentioning that there will be a spectacular solar eclipse in Nashville on August 21st, so perhaps some participants may elect to stay on for a few days after the conference.

This is a preliminary announcement. Additional information will be provided in the beginning of April.

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

SaarDial will be the 21st edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2017 the workshop will be hosted by the Spoken Language Systems Group, Saarland University, and will be collocated with the 18th Annual SigDial Meeting on Discourse and Dialogue.

The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field — the creation of thinking machines with general intelligence at the human level and possibly beyond.

This is an unprecedentedly exciting time to be working in the AGI field. Today, in 2017, the quest to create AI systems with general intelligence at the human level and beyond is taken more seriously by a broader community than ever before. There has been no better time in history to gather together with other AGI researchers and learn and discuss and share together, regarding how best to take the next steps toward advanced artificial general intelligence.

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

The workshop focuses on logical approaches to the computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. . It intends to be a forum for presenting new results as well as work in progress. LACompLing 2017 is affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017, and co-located with: Logic in Stockholm 2017.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The BLAST Conference Series circulates among different universities and focuses on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. This year's installment of the BLAST conference series will take place on the campus of Vanderbilt University from August 14 to August 18, 2017. It honors the life and memory of Bjarni Jónsson. The scientific program will include nine invited lectures, three tutorials and contributed talks. It is worth mentioning that there will be a spectacular solar eclipse in Nashville on August 21st, so perhaps some participants may elect to stay on for a few days after the conference.

This is a preliminary announcement. Additional information will be provided in the beginning of April.

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field — the creation of thinking machines with general intelligence at the human level and possibly beyond.

This is an unprecedentedly exciting time to be working in the AGI field. Today, in 2017, the quest to create AI systems with general intelligence at the human level and beyond is taken more seriously by a broader community than ever before. There has been no better time in history to gather together with other AGI researchers and learn and discuss and share together, regarding how best to take the next steps toward advanced artificial general intelligence.

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

The workshop focuses on logical approaches to the computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. . It intends to be a forum for presenting new results as well as work in progress. LACompLing 2017 is affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017, and co-located with: Logic in Stockholm 2017.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

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

The workshop focuses on logical approaches to the computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. . It intends to be a forum for presenting new results as well as work in progress. LACompLing 2017 is affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017, and co-located with: Logic in Stockholm 2017.

For nearly a half-century, IJCAI has remained the premier conference bringing together the international AI community in communicating the advances and celebrating the achievements of artificial intelligence research and practice. With the current explosive interest in AI and its applications, this 26th edition of the conference is guaranteed to provide an exciting forum to present and hear about cutting-edge research in AI.

A special theme of IJCAI-17 is Autonomy. Recent developments in the adoption of artificial intelligence and other technologies across many different areas of endeavour have brought new challenges or have made real those that until now had been largely abstract and theoretical. In recognition of this trend, and in support of addressing some of these challenges, this Special Track seeks to foster discussion and debate around the issues brought forward by this new generation of technologies and applications.

The scientific program of IJCAI 2017 will also contain Workshops, Tutorials, Demonstrations, Robotic Exhibitions, a Doctoral consortium, and will host different software, video, and robotics competitions.

MRC is an interdisciplinary workshop with a focus on applications within computer science. Because of this focus the workshop primarily attracts participants from within the computer science community and specifically within artificial intelligence. However, MRC has always had a strong interdisciplinary appeal and does draw from fields such as linguistics, semiotics, philosophy, mathematics, cognitive science, social sciences and psychology as well as various sub-fields within computer science.

By considering modelling and reasoning approaches for contextualised systems from a broad range of areas, the workshop will facilitate the sharing of problems, techniques, and solutions. The workshop covers different understandings of what context is, different approaches to modelling context, mechanisms and techniques for (structured) storage of contextual information, effective ways to retrieve it, and methods for enabling integration of context and application knowledge.

The workshop will last one full day and will have three main types of interaction: short presentations of accepted papers, panel discussion sessions, and an open, but guided discussion summarising the most important lessons learned.

One of the main questions that inspires this workshop is how languages with and without an article system go about referent coding and helping the hearer to recognize whether a given NP should be interpreted as definite, specific or non-specific. Other questions concern the grammatical consequences of having or lacking an article system, and the specific semantic-pragmatic parameters along which article systems may vary. The workshop will be held at the 40th Annual Meeting of the DGfS.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

For nearly a half-century, IJCAI has remained the premier conference bringing together the international AI community in communicating the advances and celebrating the achievements of artificial intelligence research and practice. With the current explosive interest in AI and its applications, this 26th edition of the conference is guaranteed to provide an exciting forum to present and hear about cutting-edge research in AI.

A special theme of IJCAI-17 is Autonomy. Recent developments in the adoption of artificial intelligence and other technologies across many different areas of endeavour have brought new challenges or have made real those that until now had been largely abstract and theoretical. In recognition of this trend, and in support of addressing some of these challenges, this Special Track seeks to foster discussion and debate around the issues brought forward by this new generation of technologies and applications.

The scientific program of IJCAI 2017 will also contain Workshops, Tutorials, Demonstrations, Robotic Exhibitions, a Doctoral consortium, and will host different software, video, and robotics competitions.

MRC is an interdisciplinary workshop with a focus on applications within computer science. Because of this focus the workshop primarily attracts participants from within the computer science community and specifically within artificial intelligence. However, MRC has always had a strong interdisciplinary appeal and does draw from fields such as linguistics, semiotics, philosophy, mathematics, cognitive science, social sciences and psychology as well as various sub-fields within computer science.

By considering modelling and reasoning approaches for contextualised systems from a broad range of areas, the workshop will facilitate the sharing of problems, techniques, and solutions. The workshop covers different understandings of what context is, different approaches to modelling context, mechanisms and techniques for (structured) storage of contextual information, effective ways to retrieve it, and methods for enabling integration of context and application knowledge.

The workshop will last one full day and will have three main types of interaction: short presentations of accepted papers, panel discussion sessions, and an open, but guided discussion summarising the most important lessons learned.

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.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

For nearly a half-century, IJCAI has remained the premier conference bringing together the international AI community in communicating the advances and celebrating the achievements of artificial intelligence research and practice. With the current explosive interest in AI and its applications, this 26th edition of the conference is guaranteed to provide an exciting forum to present and hear about cutting-edge research in AI.

A special theme of IJCAI-17 is Autonomy. Recent developments in the adoption of artificial intelligence and other technologies across many different areas of endeavour have brought new challenges or have made real those that until now had been largely abstract and theoretical. In recognition of this trend, and in support of addressing some of these challenges, this Special Track seeks to foster discussion and debate around the issues brought forward by this new generation of technologies and applications.

The scientific program of IJCAI 2017 will also contain Workshops, Tutorials, Demonstrations, Robotic Exhibitions, a Doctoral consortium, and will host different software, video, and robotics competitions.

MRC is an interdisciplinary workshop with a focus on applications within computer science. Because of this focus the workshop primarily attracts participants from within the computer science community and specifically within artificial intelligence. However, MRC has always had a strong interdisciplinary appeal and does draw from fields such as linguistics, semiotics, philosophy, mathematics, cognitive science, social sciences and psychology as well as various sub-fields within computer science.

By considering modelling and reasoning approaches for contextualised systems from a broad range of areas, the workshop will facilitate the sharing of problems, techniques, and solutions. The workshop covers different understandings of what context is, different approaches to modelling context, mechanisms and techniques for (structured) storage of contextual information, effective ways to retrieve it, and methods for enabling integration of context and application knowledge.

The workshop will last one full day and will have three main types of interaction: short presentations of accepted papers, panel discussion sessions, and an open, but guided discussion summarising the most important lessons learned.

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 third edition of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica), promoted by the Group for Logic and Formal Philosophy from the UFRN, has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy. Logic, a branch of Philosophy on its own, has outgrown its original purposes and found connections with other areas of Philosophy, such as Philosophy of Language, Philosophy of Mathematics, Philosophy of Science and Philosophy of Mind. Logic has proved to be a powerful tool for analyzing different philosophical theories, as well as their foundations and implications; moreover, the birth and development of non-classical logics has expanded its domain of application much beyond the dreams of its progenitors.

Invited Speakers: Tuomas Tahko (University of Helsinki), Jonas Arenhart (Federal University of Santa Catarina) and Giorgio Venturi (State University of Campinas).

MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues.

MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops.

The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.

For more information, see http://analyticphilosophy.eu/ecap9/

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

For nearly a half-century, IJCAI has remained the premier conference bringing together the international AI community in communicating the advances and celebrating the achievements of artificial intelligence research and practice. With the current explosive interest in AI and its applications, this 26th edition of the conference is guaranteed to provide an exciting forum to present and hear about cutting-edge research in AI.

A special theme of IJCAI-17 is Autonomy. Recent developments in the adoption of artificial intelligence and other technologies across many different areas of endeavour have brought new challenges or have made real those that until now had been largely abstract and theoretical. In recognition of this trend, and in support of addressing some of these challenges, this Special Track seeks to foster discussion and debate around the issues brought forward by this new generation of technologies and applications.

The scientific program of IJCAI 2017 will also contain Workshops, Tutorials, Demonstrations, Robotic Exhibitions, a Doctoral consortium, and will host different software, video, and robotics competitions.

MRC is an interdisciplinary workshop with a focus on applications within computer science. Because of this focus the workshop primarily attracts participants from within the computer science community and specifically within artificial intelligence. However, MRC has always had a strong interdisciplinary appeal and does draw from fields such as linguistics, semiotics, philosophy, mathematics, cognitive science, social sciences and psychology as well as various sub-fields within computer science.

By considering modelling and reasoning approaches for contextualised systems from a broad range of areas, the workshop will facilitate the sharing of problems, techniques, and solutions. The workshop covers different understandings of what context is, different approaches to modelling context, mechanisms and techniques for (structured) storage of contextual information, effective ways to retrieve it, and methods for enabling integration of context and application knowledge.

The workshop will last one full day and will have three main types of interaction: short presentations of accepted papers, panel discussion sessions, and an open, but guided discussion summarising the most important lessons learned.

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 third edition of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica), promoted by the Group for Logic and Formal Philosophy from the UFRN, has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy. Logic, a branch of Philosophy on its own, has outgrown its original purposes and found connections with other areas of Philosophy, such as Philosophy of Language, Philosophy of Mathematics, Philosophy of Science and Philosophy of Mind. Logic has proved to be a powerful tool for analyzing different philosophical theories, as well as their foundations and implications; moreover, the birth and development of non-classical logics has expanded its domain of application much beyond the dreams of its progenitors.

Invited Speakers: Tuomas Tahko (University of Helsinki), Jonas Arenhart (Federal University of Santa Catarina) and Giorgio Venturi (State University of Campinas).

MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues.

MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops.

The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.

For more information, see http://analyticphilosophy.eu/ecap9/

The Kurt Gödel Society will host a summer school on Proof Theory in First-Order Logic at the University of Madeira, Funchal, Madeira from August 22 to August 27.

The summer school targets master and doctoral students in Logic, Computer Science and Mathematics with a strong interest in Logic and Proof Theory. We particularly encourage students to apply to student lessons in order to present their ongoing research, but the event is open to all interested students.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

For nearly a half-century, IJCAI has remained the premier conference bringing together the international AI community in communicating the advances and celebrating the achievements of artificial intelligence research and practice. With the current explosive interest in AI and its applications, this 26th edition of the conference is guaranteed to provide an exciting forum to present and hear about cutting-edge research in AI.

A special theme of IJCAI-17 is Autonomy. Recent developments in the adoption of artificial intelligence and other technologies across many different areas of endeavour have brought new challenges or have made real those that until now had been largely abstract and theoretical. In recognition of this trend, and in support of addressing some of these challenges, this Special Track seeks to foster discussion and debate around the issues brought forward by this new generation of technologies and applications.

The scientific program of IJCAI 2017 will also contain Workshops, Tutorials, Demonstrations, Robotic Exhibitions, a Doctoral consortium, and will host different software, video, and robotics competitions.

MRC is an interdisciplinary workshop with a focus on applications within computer science. Because of this focus the workshop primarily attracts participants from within the computer science community and specifically within artificial intelligence. However, MRC has always had a strong interdisciplinary appeal and does draw from fields such as linguistics, semiotics, philosophy, mathematics, cognitive science, social sciences and psychology as well as various sub-fields within computer science.

By considering modelling and reasoning approaches for contextualised systems from a broad range of areas, the workshop will facilitate the sharing of problems, techniques, and solutions. The workshop covers different understandings of what context is, different approaches to modelling context, mechanisms and techniques for (structured) storage of contextual information, effective ways to retrieve it, and methods for enabling integration of context and application knowledge.

The workshop will last one full day and will have three main types of interaction: short presentations of accepted papers, panel discussion sessions, and an open, but guided discussion summarising the most important lessons learned.

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 third edition of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica), promoted by the Group for Logic and Formal Philosophy from the UFRN, has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy. Logic, a branch of Philosophy on its own, has outgrown its original purposes and found connections with other areas of Philosophy, such as Philosophy of Language, Philosophy of Mathematics, Philosophy of Science and Philosophy of Mind. Logic has proved to be a powerful tool for analyzing different philosophical theories, as well as their foundations and implications; moreover, the birth and development of non-classical logics has expanded its domain of application much beyond the dreams of its progenitors.

Invited Speakers: Tuomas Tahko (University of Helsinki), Jonas Arenhart (Federal University of Santa Catarina) and Giorgio Venturi (State University of Campinas).

MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues.

MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops.

The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.

For more information, see http://analyticphilosophy.eu/ecap9/

The Kurt Gödel Society will host a summer school on Proof Theory in First-Order Logic at the University of Madeira, Funchal, Madeira from August 22 to August 27.

The summer school targets master and doctoral students in Logic, Computer Science and Mathematics with a strong interest in Logic and Proof Theory. We particularly encourage students to apply to student lessons in order to present their ongoing research, but the event is open to all interested students.

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful cooperation leading to joint research and publications. This 3rd conference is also dedicated to honoring Hajnal Andréka's birthday.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

For nearly a half-century, IJCAI has remained the premier conference bringing together the international AI community in communicating the advances and celebrating the achievements of artificial intelligence research and practice. With the current explosive interest in AI and its applications, this 26th edition of the conference is guaranteed to provide an exciting forum to present and hear about cutting-edge research in AI.

A special theme of IJCAI-17 is Autonomy. Recent developments in the adoption of artificial intelligence and other technologies across many different areas of endeavour have brought new challenges or have made real those that until now had been largely abstract and theoretical. In recognition of this trend, and in support of addressing some of these challenges, this Special Track seeks to foster discussion and debate around the issues brought forward by this new generation of technologies and applications.

The scientific program of IJCAI 2017 will also contain Workshops, Tutorials, Demonstrations, Robotic Exhibitions, a Doctoral consortium, and will host different software, video, and robotics competitions.

MRC is an interdisciplinary workshop with a focus on applications within computer science. Because of this focus the workshop primarily attracts participants from within the computer science community and specifically within artificial intelligence. However, MRC has always had a strong interdisciplinary appeal and does draw from fields such as linguistics, semiotics, philosophy, mathematics, cognitive science, social sciences and psychology as well as various sub-fields within computer science.

By considering modelling and reasoning approaches for contextualised systems from a broad range of areas, the workshop will facilitate the sharing of problems, techniques, and solutions. The workshop covers different understandings of what context is, different approaches to modelling context, mechanisms and techniques for (structured) storage of contextual information, effective ways to retrieve it, and methods for enabling integration of context and application knowledge.

The workshop will last one full day and will have three main types of interaction: short presentations of accepted papers, panel discussion sessions, and an open, but guided discussion summarising the most important lessons learned.

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.

MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues.

MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops.

The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.

For more information, see http://analyticphilosophy.eu/ecap9/

The Kurt Gödel Society will host a summer school on Proof Theory in First-Order Logic at the University of Madeira, Funchal, Madeira from August 22 to August 27.

The summer school targets master and doctoral students in Logic, Computer Science and Mathematics with a strong interest in Logic and Proof Theory. We particularly encourage students to apply to student lessons in order to present their ongoing research, but the event is open to all interested students.

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful cooperation leading to joint research and publications. This 3rd conference is also dedicated to honoring Hajnal Andréka's birthday.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

For nearly a half-century, IJCAI has remained the premier conference bringing together the international AI community in communicating the advances and celebrating the achievements of artificial intelligence research and practice. With the current explosive interest in AI and its applications, this 26th edition of the conference is guaranteed to provide an exciting forum to present and hear about cutting-edge research in AI.

A special theme of IJCAI-17 is Autonomy. Recent developments in the adoption of artificial intelligence and other technologies across many different areas of endeavour have brought new challenges or have made real those that until now had been largely abstract and theoretical. In recognition of this trend, and in support of addressing some of these challenges, this Special Track seeks to foster discussion and debate around the issues brought forward by this new generation of technologies and applications.

The scientific program of IJCAI 2017 will also contain Workshops, Tutorials, Demonstrations, Robotic Exhibitions, a Doctoral consortium, and will host different software, video, and robotics competitions.

MRC is an interdisciplinary workshop with a focus on applications within computer science. Because of this focus the workshop primarily attracts participants from within the computer science community and specifically within artificial intelligence. However, MRC has always had a strong interdisciplinary appeal and does draw from fields such as linguistics, semiotics, philosophy, mathematics, cognitive science, social sciences and psychology as well as various sub-fields within computer science.

By considering modelling and reasoning approaches for contextualised systems from a broad range of areas, the workshop will facilitate the sharing of problems, techniques, and solutions. The workshop covers different understandings of what context is, different approaches to modelling context, mechanisms and techniques for (structured) storage of contextual information, effective ways to retrieve it, and methods for enabling integration of context and application knowledge.

The workshop will last one full day and will have three main types of interaction: short presentations of accepted papers, panel discussion sessions, and an open, but guided discussion summarising the most important lessons learned.

MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues.

MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops.

The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.

For more information, see http://analyticphilosophy.eu/ecap9/

The Kurt Gödel Society will host a summer school on Proof Theory in First-Order Logic at the University of Madeira, Funchal, Madeira from August 22 to August 27.

The summer school targets master and doctoral students in Logic, Computer Science and Mathematics with a strong interest in Logic and Proof Theory. We particularly encourage students to apply to student lessons in order to present their ongoing research, but the event is open to all interested students.

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful cooperation leading to joint research and publications. This 3rd conference is also dedicated to honoring Hajnal Andréka's birthday.

Zoltán Ésik was an automata theorist of high calibre from the Institute of Informatics, University of Szeged, Hungary. Among his many contributions to the subject, perhaps the most important is the study of equational properties of fixed point operators, constituting Iteration Theories (a book he co-authored with Stephen Bloom). This one-day workshop, a satellite event of CSL 2017, is intended as a tribute to Zoltán Ésik, constituting a discussion of topics that lie at the intersection of automata theory, logic and algebra. The workshop mainly consists of invited talks but also has room for the sharing of memories.

The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.

For more information, see http://analyticphilosophy.eu/ecap9/

The Kurt Gödel Society will host a summer school on Proof Theory in First-Order Logic at the University of Madeira, Funchal, Madeira from August 22 to August 27.

The summer school targets master and doctoral students in Logic, Computer Science and Mathematics with a strong interest in Logic and Proof Theory. We particularly encourage students to apply to student lessons in order to present their ongoing research, but the event is open to all interested students.

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful cooperation leading to joint research and publications. This 3rd conference is also dedicated to honoring Hajnal Andréka's birthday.

The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.

For more information, see http://analyticphilosophy.eu/ecap9/

The Kurt Gödel Society will host a summer school on Proof Theory in First-Order Logic at the University of Madeira, Funchal, Madeira from August 22 to August 27.

The summer school targets master and doctoral students in Logic, Computer Science and Mathematics with a strong interest in Logic and Proof Theory. We particularly encourage students to apply to student lessons in order to present their ongoing research, but the event is open to all interested students.

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful cooperation leading to joint research and publications. This 3rd conference is also dedicated to honoring Hajnal Andréka's birthday.

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world.

Invited speakers: Tomas Mikolov and other eminent personages with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics have been asked to give their respective pieces of speech.

The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.

For more information, see http://analyticphilosophy.eu/ecap9/

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world.

Invited speakers: Tomas Mikolov and other eminent personages with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics have been asked to give their respective pieces of speech.

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world.

Invited speakers: Tomas Mikolov and other eminent personages with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics have been asked to give their respective pieces of speech.

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world.

Invited speakers: Tomas Mikolov and other eminent personages with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics have been asked to give their respective pieces of speech.

The conference starts on Wednesday 30 August with a social gathering (evening, optional). Thursday 31 August & Friday 1 September will be filled with academic presentations from metaphor researchers from all over the world. Plenary lectures will be delivered by Kathleen Ahrens (Hong Kong Polytechnic University) and by Alan Cienki (Vrije Universiteit Amsterdam & Moscow State Linguistic University). Saturday 2 September we present several interesting workshops and metaphor related activities: an academic day with a fun twist!

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI. Invited Speakers: Craige Roberts (The Ohio State University),Ivano Ciardelli (University of Amsterdam), Shoichi Takahashi (Aoyama Gakuin University).

Among the most discussed epistemological issues in clinical reasoning is the problem of the external validity. Once verified that the results of a Randomized Controlled Trial (RCT) are valid, we still have to explain how to apply these results to patients who did not take part in the experiment. How can we justify the belief that a certain treatment has the same effect when applied to a different setting? Without a reasonable answer to this latter question, RCTs would prove less helpful, as they would only show the results related to a particular situation, without any guarantee that the same results could apply to other contexts. The possible advantages of a Bayesian perspective on RCTs will be explored, as is the difference between types of uncertainty conveyed by diagnostic and prognostic judgements.

Contributions must be original and not submitted elsewhere. Papers must be in English and should not exceed 8,000 words (references and footnotes included). Each submission should also include a separate title page containing contact details, a brief abstract and a list of keywords for indexing purposes.

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world.

Invited speakers: Tomas Mikolov and other eminent personages with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics have been asked to give their respective pieces of speech.

The conference starts on Wednesday 30 August with a social gathering (evening, optional). Thursday 31 August & Friday 1 September will be filled with academic presentations from metaphor researchers from all over the world. Plenary lectures will be delivered by Kathleen Ahrens (Hong Kong Polytechnic University) and by Alan Cienki (Vrije Universiteit Amsterdam & Moscow State Linguistic University). Saturday 2 September we present several interesting workshops and metaphor related activities: an academic day with a fun twist!