World-class experts in different disciplines (Ontology Engineering, Conceptual Modeling, Knowledge Representation, Logic and Philosophy) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, where lecturers engage in open discussions with each other as well as interact with the participants.

The school will take place in Bozen-Bolzano, the beautiful capital city of South Tyrol, Italy, and is open to students, researchers and practitioners. The event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.

For more information, see http://isao2016.inf.unibz.it or contact ISAO2016 at unibz.it.

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

CiE 2016's Motto is: "Pursuit of the Universal". The year 2016 brings the eightieth anniversary of the publication of Alan Turing's seminal paper featuring the Universal Turing Machine. Just as the semantics of the machine gave rise to Incomputability, and pointed to future directions in proof theory, AI, generalised computability, the underlying role of typed information and natural language, and the computability and definability underpinning bioinformatics: so our conference subtitle honours Turing's role in anticipating the quest for universal computational frameworks across a wide spectrum of scientific and humanist disciplines.

For more information, see http://lipn.univ-paris13.fr/CIE2016/

The Australasian Association for Logic will hold its 2016 conference in Melbourne from June 30 to July 2. The keynote speaker is Dr. Sara L. Uckelman of Durham University. The conference venue is La Trobe City Campus, located in the middle of Melbourne's CBD. All are welcome to attend the conference, although there is a registration fee.

For more information and a programme, see http://blogs.unimelb.edu.au/logic/aal-2016/ or contact the conference organizers at aalmelb2016 at gmail.com.

NWO organises information meetings for researchers who want to apply for a Veni, Vidi of Vici grant. Practical information is given and selection committee members, NWO coordinators and researchers who have already acquired a Veni, Vidi or Vici share their experiences during a question and answer session. The meetings are in English. The next information meeting will be held on 1 July.

For more information, see http://www.nwo.nl/en/research-and-results/programmes/Talent+Scheme/

Non-classical logics -- such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance logic -- have many applications in AI, Computer Science, Philosophy, Linguistics and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics.

The workshop will provide a forum for researchers to present and discuss recent developments in this area. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications and describe example problems and benchmarks. We welcome contributions from computer scientists, linguists, philosophers, and mathematicians.

For more information, see http://iltp.de/ARQNL-2016/

The Australasian Association for Logic will hold its 2016 conference in Melbourne from June 30 to July 2. The keynote speaker is Dr. Sara L. Uckelman of Durham University. The conference venue is La Trobe City Campus, located in the middle of Melbourne's CBD. All are welcome to attend the conference, although there is a registration fee.

For more information and a programme, see http://blogs.unimelb.edu.au/logic/aal-2016/ or contact the conference organizers at aalmelb2016 at gmail.com.

The scope of this conference is the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax, semantics and pragmatics as well as the implementation of natural language processing software relying on logical formalisation. As 20 years ago LACL will also take place at Loria in Nancy.

For more information, see http://lacl.gforge.inria.fr/

The last thirty years have witnessed a veritable explosion of the philosophical debate on truth. The touchpaper which lit the fuse for this was undoubtedly the Deflationist Renaissance (half a century after the seminal work of Ramsey) that took place starting from the Seventies. By arguing on the merits and shortcomings of deflationism, philosophers have come to broaden and deepen the discussion on truth even beyond the boundaries of deflationism itself.

The aim of the conference is to bring together researchers working on truth, both advocates and critics of deflationary conceptions, in order to take stock of deflationism about truth and of its implications in fields such as metaphysics, logics, epistemology, meta-ethics.

For more information, see here or contact Marco Marongiu at mmarongiu at uniss.it.

The workshop is a satellite of Computability in Europe 2016, which will be held in Paris from June 27 to July 1, 2016.

For more information, see the workshop's website at http://wct.math.uconn.edu/wctghent/.

Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete compared to NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF. Considerable progress has been made in the theory and practice of QBF solving throughout the past years.

The goal of the International Workshop on Quantified Boolean Formulas (and Beyond) is to bring together researchers working on theoretical and practical aspects of QBF solving and related formalisms involving quantifiers. The workshop addresses theoreticians and practitioners in order to reflect on the state of the art in research and to consolidate on immediate and long-term challenges. As the efforts of extending languages with quantifiers have not only been made for propositional logic in terms of QBFs, but in many other formalism like Constraint Satisfaction Problem (CSP) and Satisfiability Modulo Theories (SMT), QBF 2016 also targets researchers working in these related fields in order to exchange experiences and ideas.

For more information, see http://fmv.jku.at/qbf16/

The workshop is a satellite of Computability in Europe 2016, which will be held in Paris from June 27 to July 1, 2016.

For more information, see the workshop's website at http://wct.math.uconn.edu/wctghent/.

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2016 will be hosted at Columbia University in New York City.

Affiliated Workshops:
Logic Mentoring Workshop
LSB: 6th Workshop on Logic and Systems Biology
NLCS: 4th Workshop on Natural Language and Computer Science.
SR: 4th International Workshop on Strategic Reasoning.
LOLA: Syntax and Semantics of Low-Level Languages.

Early Registration Deadline: June 3, 2016. For more information, see http://lics.rwth-aachen.de/lics16/

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2016 will be hosted at Columbia University in New York City.

Affiliated Workshops:
Logic Mentoring Workshop
LSB: 6th Workshop on Logic and Systems Biology
NLCS: 4th Workshop on Natural Language and Computer Science.
SR: 4th International Workshop on Strategic Reasoning.
LOLA: Syntax and Semantics of Low-Level Languages.

Early Registration Deadline: June 3, 2016. For more information, see http://lics.rwth-aachen.de/lics16/

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, a complementary focus of ontological inquiry has gained significant momentum, fueled by the advent of complex information systems which rely on robust and coherent formal representations of their subject matter. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques, and their relations to cognition and reality are at the center of the modern discipline of formal ontology.

The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.

For more information, see http://iaoa.org/fois2016/

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2016 will be hosted at Columbia University in New York City.

Affiliated Workshops:
Logic Mentoring Workshop
LSB: 6th Workshop on Logic and Systems Biology
NLCS: 4th Workshop on Natural Language and Computer Science.
SR: 4th International Workshop on Strategic Reasoning.
LOLA: Syntax and Semantics of Low-Level Languages.

Early Registration Deadline: June 3, 2016. For more information, see http://lics.rwth-aachen.de/lics16/

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, a complementary focus of ontological inquiry has gained significant momentum, fueled by the advent of complex information systems which rely on robust and coherent formal representations of their subject matter. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques, and their relations to cognition and reality are at the center of the modern discipline of formal ontology.

The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.

For more information, see http://iaoa.org/fois2016/

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2016 will be hosted at Columbia University in New York City.

Affiliated Workshops:
Logic Mentoring Workshop
LSB: 6th Workshop on Logic and Systems Biology
NLCS: 4th Workshop on Natural Language and Computer Science.
SR: 4th International Workshop on Strategic Reasoning.
LOLA: Syntax and Semantics of Low-Level Languages.

Early Registration Deadline: June 3, 2016. For more information, see http://lics.rwth-aachen.de/lics16/

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, a complementary focus of ontological inquiry has gained significant momentum, fueled by the advent of complex information systems which rely on robust and coherent formal representations of their subject matter. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques, and their relations to cognition and reality are at the center of the modern discipline of formal ontology.

The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.

For more information, see http://iaoa.org/fois2016/

The DGL workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic, and philosophy working on formal approaches to rational individual and group decision making. This is the first DGL to be held in North America.

For more information, see http://www-personal.umich.edu/~skaron/dgl/

The North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.

NASSLLI 2016 will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.

Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, a complementary focus of ontological inquiry has gained significant momentum, fueled by the advent of complex information systems which rely on robust and coherent formal representations of their subject matter. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques, and their relations to cognition and reality are at the center of the modern discipline of formal ontology.

The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.

For more information, see http://iaoa.org/fois2016/

The DGL workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic, and philosophy working on formal approaches to rational individual and group decision making. This is the first DGL to be held in North America.

For more information, see http://www-personal.umich.edu/~skaron/dgl/

The North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.

NASSLLI 2016 will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.

Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/

Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human rea- soning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research.

This workshop is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. The workshop will be held in conjunction with IJCAI-16 and is supported by IFIP TC12.

For more information, see http://ratiolog.uni-koblenz.de/bridging2016

Strategic reasoning is a key topic in the multi-agent systems research area. The literature in this field is extensive and includes a variety of logics used for reasoning about the strategic abilities of the agents in the system. Results stemming from this research have been used in a wide range of applications, including robotic teams endowed with adaptive strategies, and automatic players capable of beating expert human adversaries. A common feature in all these domains is the requirement for sound theoretical foundations and tools accounting for the strategies that agents may adopt in the presence of adversaries.

The SR international workshop series aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. SR 2016 is to be held as Satellite Workshop of LICS 2016

For more information, see https://sites.google.com/site/sr2016homepage/home or http://www.strategicreasoning.net/>.

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

The DGL workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic, and philosophy working on formal approaches to rational individual and group decision making. This is the first DGL to be held in North America.

For more information, see http://www-personal.umich.edu/~skaron/dgl/

The North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.

NASSLLI 2016 will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.

Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/

Strategic reasoning is a key topic in the multi-agent systems research area. The literature in this field is extensive and includes a variety of logics used for reasoning about the strategic abilities of the agents in the system. Results stemming from this research have been used in a wide range of applications, including robotic teams endowed with adaptive strategies, and automatic players capable of beating expert human adversaries. A common feature in all these domains is the requirement for sound theoretical foundations and tools accounting for the strategies that agents may adopt in the presence of adversaries.

The SR international workshop series aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. SR 2016 is to be held as Satellite Workshop of LICS 2016

For more information, see https://sites.google.com/site/sr2016homepage/home or http://www.strategicreasoning.net/>.

Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics.

NLCS'16 is affiliated with Logic in Computer Science 2016.

For more information, see http://www.indiana.edu/~iulg/nlcs.html

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

The North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.

NASSLLI 2016 will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.

Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/

The workshop series, Computational Models of Narrative (CMN) is dedicated to advancing the computationally grounded scientific study of narrative. Narrative provides a model for organizing and communicating experience, knowledge, and culture. This interdisciplinary workshop aims to provide an appropriate venue for papers addressing fundamental topics and questions regarding narrative.

The workshop will have a special focus on how the computational modeling, analysis, or generation of narrative has affected approaches in the humanities for studying and generating narrative in or across textual, aural, or visual media.

CMN 2016 is a satellite workshop symposium of The Digital Humanities 2016 (DH 2016)

For more information, see http://narrative.csail.mit.edu/cmn16/

Mathematical models of natural language semantics oscillate between the two opposing approaches of word-based statistical and sentence-based compositional. Word-based models rely on the ideas of Harris and Firth that words occurring in similar contexts have similar meanings. Compositional models, in the sense of Montague 1970, systematically associate the steps of a syntactic derivation with semantic operations acting on the interpretations of the constituents. This workshop is an attempt to bring together active researchers of these seemingly separate approaches to address problems of both theoretical and practical nature.

One major goal is to introduce the statistical researchers to the advanced type-logical techniques that have been developed to handle challenging grammatical phenomena; the second one is to help the researchers of the logical field to enhance their systems with vector representations. The overall goal is to help both groups collaborate to develop systems where both word vectors and complex grammatical structures can be reasoned about in a compositional and computationally tractable way.

For more information, see https://sites.google.com/site/statlogmeaning/.

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

The North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.

NASSLLI 2016 will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.

Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/

The workshop series, Computational Models of Narrative (CMN) is dedicated to advancing the computationally grounded scientific study of narrative. Narrative provides a model for organizing and communicating experience, knowledge, and culture. This interdisciplinary workshop aims to provide an appropriate venue for papers addressing fundamental topics and questions regarding narrative.

The workshop will have a special focus on how the computational modeling, analysis, or generation of narrative has affected approaches in the humanities for studying and generating narrative in or across textual, aural, or visual media.

CMN 2016 is a satellite workshop symposium of The Digital Humanities 2016 (DH 2016)

For more information, see http://narrative.csail.mit.edu/cmn16/

Mathematical models of natural language semantics oscillate between the two opposing approaches of word-based statistical and sentence-based compositional. Word-based models rely on the ideas of Harris and Firth that words occurring in similar contexts have similar meanings. Compositional models, in the sense of Montague 1970, systematically associate the steps of a syntactic derivation with semantic operations acting on the interpretations of the constituents. This workshop is an attempt to bring together active researchers of these seemingly separate approaches to address problems of both theoretical and practical nature.

One major goal is to introduce the statistical researchers to the advanced type-logical techniques that have been developed to handle challenging grammatical phenomena; the second one is to help the researchers of the logical field to enhance their systems with vector representations. The overall goal is to help both groups collaborate to develop systems where both word vectors and complex grammatical structures can be reasoned about in a compositional and computationally tractable way.

For more information, see https://sites.google.com/site/statlogmeaning/.

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The scientific program of PLS11 will consist of hour-long invited talks, tutorials and presentations of accepted contributed papers and posters. The symposium is open to researchers worldwide who work in logic broadly conceived.

The Set Theoretic Pluralism (STP) network will be running its first symposium in July 2016. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology.

The STP network draws together experts in mathematics and philosophy to grapple with the increasingly popular idea that mathematical reality may be best understood as fractured and indeterminate. The speakers at the first STP symposium will be Joan Bagaria (ICREA, Barcelona), Joel David Hamkins (CUNY), Juliette Kennedy (Helskinki), Öystein Linnebo (Oslo), Jouko Väänänen (Helsinki), Robbie William (Leeds), Crispin Wright (NYU/Stirling), Justin Clarke-Doane (Columbia), Jonas Reitz (CUNY), Toby Meadows (Aberdeen), John Baldwin (University of Illinois, Chicago), Fenner Tanswell (University of St Andrews), and Colin Rittberg (Vrije Universiteit Brussel).

Participation is free, but registration is required. Details are available on the symposium website at https://sites.google.com/site/pluralset/symposium-1.

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

The North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.

NASSLLI 2016 will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.

Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/

The workshop series, Computational Models of Narrative (CMN) is dedicated to advancing the computationally grounded scientific study of narrative. Narrative provides a model for organizing and communicating experience, knowledge, and culture. This interdisciplinary workshop aims to provide an appropriate venue for papers addressing fundamental topics and questions regarding narrative.

The workshop will have a special focus on how the computational modeling, analysis, or generation of narrative has affected approaches in the humanities for studying and generating narrative in or across textual, aural, or visual media.

CMN 2016 is a satellite workshop symposium of The Digital Humanities 2016 (DH 2016)

For more information, see http://narrative.csail.mit.edu/cmn16/

Mathematical models of natural language semantics oscillate between the two opposing approaches of word-based statistical and sentence-based compositional. Word-based models rely on the ideas of Harris and Firth that words occurring in similar contexts have similar meanings. Compositional models, in the sense of Montague 1970, systematically associate the steps of a syntactic derivation with semantic operations acting on the interpretations of the constituents. This workshop is an attempt to bring together active researchers of these seemingly separate approaches to address problems of both theoretical and practical nature.

One major goal is to introduce the statistical researchers to the advanced type-logical techniques that have been developed to handle challenging grammatical phenomena; the second one is to help the researchers of the logical field to enhance their systems with vector representations. The overall goal is to help both groups collaborate to develop systems where both word vectors and complex grammatical structures can be reasoned about in a compositional and computationally tractable way.

For more information, see https://sites.google.com/site/statlogmeaning/.

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The scientific program of PLS11 will consist of hour-long invited talks, tutorials and presentations of accepted contributed papers and posters. The symposium is open to researchers worldwide who work in logic broadly conceived.

The Set Theoretic Pluralism (STP) network will be running its first symposium in July 2016. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology.

The STP network draws together experts in mathematics and philosophy to grapple with the increasingly popular idea that mathematical reality may be best understood as fractured and indeterminate. The speakers at the first STP symposium will be Joan Bagaria (ICREA, Barcelona), Joel David Hamkins (CUNY), Juliette Kennedy (Helskinki), Öystein Linnebo (Oslo), Jouko Väänänen (Helsinki), Robbie William (Leeds), Crispin Wright (NYU/Stirling), Justin Clarke-Doane (Columbia), Jonas Reitz (CUNY), Toby Meadows (Aberdeen), John Baldwin (University of Illinois, Chicago), Fenner Tanswell (University of St Andrews), and Colin Rittberg (Vrije Universiteit Brussel).

Participation is free, but registration is required. Details are available on the symposium website at https://sites.google.com/site/pluralset/symposium-1.

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

The North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.

NASSLLI 2016 will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.

Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/

Mathematical models of natural language semantics oscillate between the two opposing approaches of word-based statistical and sentence-based compositional. Word-based models rely on the ideas of Harris and Firth that words occurring in similar contexts have similar meanings. Compositional models, in the sense of Montague 1970, systematically associate the steps of a syntactic derivation with semantic operations acting on the interpretations of the constituents. This workshop is an attempt to bring together active researchers of these seemingly separate approaches to address problems of both theoretical and practical nature.

One major goal is to introduce the statistical researchers to the advanced type-logical techniques that have been developed to handle challenging grammatical phenomena; the second one is to help the researchers of the logical field to enhance their systems with vector representations. The overall goal is to help both groups collaborate to develop systems where both word vectors and complex grammatical structures can be reasoned about in a compositional and computationally tractable way.

For more information, see https://sites.google.com/site/statlogmeaning/.

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The scientific program of PLS11 will consist of hour-long invited talks, tutorials and presentations of accepted contributed papers and posters. The symposium is open to researchers worldwide who work in logic broadly conceived.

The Set Theoretic Pluralism (STP) network will be running its first symposium in July 2016. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology.

The STP network draws together experts in mathematics and philosophy to grapple with the increasingly popular idea that mathematical reality may be best understood as fractured and indeterminate. The speakers at the first STP symposium will be Joan Bagaria (ICREA, Barcelona), Joel David Hamkins (CUNY), Juliette Kennedy (Helskinki), Öystein Linnebo (Oslo), Jouko Väänänen (Helsinki), Robbie William (Leeds), Crispin Wright (NYU/Stirling), Justin Clarke-Doane (Columbia), Jonas Reitz (CUNY), Toby Meadows (Aberdeen), John Baldwin (University of Illinois, Chicago), Fenner Tanswell (University of St Andrews), and Colin Rittberg (Vrije Universiteit Brussel).

Participation is free, but registration is required. Details are available on the symposium website at https://sites.google.com/site/pluralset/symposium-1.

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

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

Professors Mihir Kumar Chakraborty and Michele Friend are co-editing a special issue of the Journal of Indian Council of Philosophical Research (JICPR). This will be the first collection of edited papers on the subject of mathematical pluralism in the world.

"Pluralism" is an attitude. It means having a principled tolerance towards whatever it is one is pluralist about. The tolerance can be principled in different ways. One is that the pluralist might think that he or she can learn more, and not be led too far astray, by seriously employing or entertaining several: methodologies, theories, types of theory etc. A second reason is that on present evidence there is no good enough reason to be monist about: methodology, theory, type of theory, foundations and so on. A third reason is that one observes pluralism in the successful practice of mathematics. Finally, there are external reasons that also give rise to plurality: these stem from the society and culture in which mathematics is born. The traditions of Arabic, Chinese and Indian mathematics were different from the Greek.

This volume will track both kinds of plurality, internal as well as external and project pluralism in mathematics through representative articles. We shall accept papers on these, or related, themes. If you are not sure that your topic falls within "mathematical pluralism", you may send in an abstract for evaluation of relevance to Michele at gwu.edu or mihirc4 at gmail.com by 20 May. Regardless of whether you have sent in an abstract, papers are due 15 July 2016.

For more information, see here or http://www.springer.com/philosophy/journal/40961/PSE

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

The North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.

NASSLLI 2016 will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.

Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/

Mathematical models of natural language semantics oscillate between the two opposing approaches of word-based statistical and sentence-based compositional. Word-based models rely on the ideas of Harris and Firth that words occurring in similar contexts have similar meanings. Compositional models, in the sense of Montague 1970, systematically associate the steps of a syntactic derivation with semantic operations acting on the interpretations of the constituents. This workshop is an attempt to bring together active researchers of these seemingly separate approaches to address problems of both theoretical and practical nature.

One major goal is to introduce the statistical researchers to the advanced type-logical techniques that have been developed to handle challenging grammatical phenomena; the second one is to help the researchers of the logical field to enhance their systems with vector representations. The overall goal is to help both groups collaborate to develop systems where both word vectors and complex grammatical structures can be reasoned about in a compositional and computationally tractable way.

For more information, see https://sites.google.com/site/statlogmeaning/.

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The scientific program of PLS11 will consist of hour-long invited talks, tutorials and presentations of accepted contributed papers and posters. The symposium is open to researchers worldwide who work in logic broadly conceived.

The Set Theoretic Pluralism (STP) network will be running its first symposium in July 2016. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology.

The STP network draws together experts in mathematics and philosophy to grapple with the increasingly popular idea that mathematical reality may be best understood as fractured and indeterminate. The speakers at the first STP symposium will be Joan Bagaria (ICREA, Barcelona), Joel David Hamkins (CUNY), Juliette Kennedy (Helskinki), Öystein Linnebo (Oslo), Jouko Väänänen (Helsinki), Robbie William (Leeds), Crispin Wright (NYU/Stirling), Justin Clarke-Doane (Columbia), Jonas Reitz (CUNY), Toby Meadows (Aberdeen), John Baldwin (University of Illinois, Chicago), Fenner Tanswell (University of St Andrews), and Colin Rittberg (Vrije Universiteit Brussel).

Participation is free, but registration is required. Details are available on the symposium website at https://sites.google.com/site/pluralset/symposium-1.

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

The North American Summer School on Logic, Language, and Information (NASSLLI) is a summer school that meets approximately every other summer. It is geared towards gradaute students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. Instructors are senior researchers who have helped to found and advance the research in these fields, as well as junior researchers helping to expand upon previous work and shape new directions of these fields. One of the strongest aspects of NASSLLI is an excitement about interdisciplinary research that brings people across these fields together.

NASSLLI 2016 will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.

Early bird registration deadline: April 15th, 2016. For more information, see http://nasslli2016.rutgers.edu/

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The scientific program of PLS11 will consist of hour-long invited talks, tutorials and presentations of accepted contributed papers and posters. The symposium is open to researchers worldwide who work in logic broadly conceived.

The Set Theoretic Pluralism (STP) network will be running its first symposium in July 2016. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology.

The STP network draws together experts in mathematics and philosophy to grapple with the increasingly popular idea that mathematical reality may be best understood as fractured and indeterminate. The speakers at the first STP symposium will be Joan Bagaria (ICREA, Barcelona), Joel David Hamkins (CUNY), Juliette Kennedy (Helskinki), Öystein Linnebo (Oslo), Jouko Väänänen (Helsinki), Robbie William (Leeds), Crispin Wright (NYU/Stirling), Justin Clarke-Doane (Columbia), Jonas Reitz (CUNY), Toby Meadows (Aberdeen), John Baldwin (University of Illinois, Chicago), Fenner Tanswell (University of St Andrews), and Colin Rittberg (Vrije Universiteit Brussel).

Participation is free, but registration is required. Details are available on the symposium website at https://sites.google.com/site/pluralset/symposium-1.

AI research continues to face huge challenges in developping truly intelligent systems. Recent developments in neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges. The workshops in the NeSy series are intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.

Keynote speakers are Leon Bottou (Facebook AI Research, U.S.A.) and Gary Marcus (New York University & Geometric Intelligence Inc., U.S.A.). NeSy'16 is part of HLAI 2016, the Joint Multi-Conference on Human-Level Artificial Intelligence 2016.

For more information, see http://www.neural-symbolic.org/NeSy16/ or contact TarekRichard.Besold at unibz.it.

JerSem will be the 20th 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 2016 the workshop will be hosted by the Rutgers University Center for Cognitive Science, at its downtown New Brunswick Campus, approximately one hour from New York City. The workshop is timed to immediately follow IJCAI 2016 in New York City, and will be collocated at Rutgers with NASSLLI, the North American Summer School in Logic, Language and Information.

The workshop will feature a special session on Questions Under Discussion, focusing on the role of discourse purposes in utterance interpretation and dialogue structure, and their reflection in utterance form.

For more information, see http://semantics.rutgers.edu/jersem/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

The Set Theoretic Pluralism (STP) network will be running its first symposium in July 2016. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology.

The STP network draws together experts in mathematics and philosophy to grapple with the increasingly popular idea that mathematical reality may be best understood as fractured and indeterminate. The speakers at the first STP symposium will be Joan Bagaria (ICREA, Barcelona), Joel David Hamkins (CUNY), Juliette Kennedy (Helskinki), Öystein Linnebo (Oslo), Jouko Väänänen (Helsinki), Robbie William (Leeds), Crispin Wright (NYU/Stirling), Justin Clarke-Doane (Columbia), Jonas Reitz (CUNY), Toby Meadows (Aberdeen), John Baldwin (University of Illinois, Chicago), Fenner Tanswell (University of St Andrews), and Colin Rittberg (Vrije Universiteit Brussel).

Participation is free, but registration is required. Details are available on the symposium website at https://sites.google.com/site/pluralset/symposium-1.

AI research continues to face huge challenges in developping truly intelligent systems. Recent developments in neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges. The workshops in the NeSy series are intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.

Keynote speakers are Leon Bottou (Facebook AI Research, U.S.A.) and Gary Marcus (New York University & Geometric Intelligence Inc., U.S.A.). NeSy'16 is part of HLAI 2016, the Joint Multi-Conference on Human-Level Artificial Intelligence 2016.

For more information, see http://www.neural-symbolic.org/NeSy16/ or contact TarekRichard.Besold at unibz.it.

JerSem will be the 20th 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 2016 the workshop will be hosted by the Rutgers University Center for Cognitive Science, at its downtown New Brunswick Campus, approximately one hour from New York City. The workshop is timed to immediately follow IJCAI 2016 in New York City, and will be collocated at Rutgers with NASSLLI, the North American Summer School in Logic, Language and Information.

The workshop will feature a special session on Questions Under Discussion, focusing on the role of discourse purposes in utterance interpretation and dialogue structure, and their reflection in utterance form.

For more information, see http://semantics.rutgers.edu/jersem/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

JerSem will be the 20th 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 2016 the workshop will be hosted by the Rutgers University Center for Cognitive Science, at its downtown New Brunswick Campus, approximately one hour from New York City. The workshop is timed to immediately follow IJCAI 2016 in New York City, and will be collocated at Rutgers with NASSLLI, the North American Summer School in Logic, Language and Information.

The workshop will feature a special session on Questions Under Discussion, focusing on the role of discourse purposes in utterance interpretation and dialogue structure, and their reflection in utterance form.

For more information, see http://semantics.rutgers.edu/jersem/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

This summer school will provide an in-depth introduction to computational social choice, covering the topic from the perspectives of economics, mathematics, and computer science. Tutorials will be delivered by Katarína Cechlárová (Košice), Edith Elkind (Oxford), Umberto Grandi (Toulouse), Nicolas Maudet (Paris), Reshef Meir (Technion), Friedrich Pukelsheim (Augsburg), and William S. Zwicker (Union College). In addition, participants will have the opportunity to present their own work in a poster session.

The summer school is organised by COST Action IC1205 on Computational Social Choice (https://www.illc.uva.nl/COST-IC1205/. The application deadline is Tuesday, 5 April 2016. The registration fee is EUR 60, which thanks to the generous support of the Urrutia Elejalde Foundation will be waived upon request. Participants need to finance accommodation and travel themselves, but there is the possibility to apply for a scholarship that will cover most of these expenses.

For more information, see http://tinyurl.com/comsoc-school-2016 or contact Ulle Endriss (ulle.endriss at uva.nl).

The summer school offers an introduction to three levels of tame geometry: real algebraic geometry, o-minimality, and tame expansions of o-minimal structures. Specific topics will be covered throughout such as polynomial optimization, definable groups, and the Pila-Wilkie theorem with Diophantine applications. Tutotials and survey lectures will be given by renowned experts, whereas problem and poster sessions will be held to foster interaction between students and speakers.

Funding is available for students and early postdocs.

For more information, see http://www.math.uni-konstanz.de/~eleftheriou/summerschool/ or contact tame-geometry at uni-konstanz.de.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.

The registration deadline is May 31, 2016. For more information, see http://www.epicenter.name/springcourse/.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

This summer school will provide an in-depth introduction to computational social choice, covering the topic from the perspectives of economics, mathematics, and computer science. Tutorials will be delivered by Katarína Cechlárová (Košice), Edith Elkind (Oxford), Umberto Grandi (Toulouse), Nicolas Maudet (Paris), Reshef Meir (Technion), Friedrich Pukelsheim (Augsburg), and William S. Zwicker (Union College). In addition, participants will have the opportunity to present their own work in a poster session.

The summer school is organised by COST Action IC1205 on Computational Social Choice (https://www.illc.uva.nl/COST-IC1205/. The application deadline is Tuesday, 5 April 2016. The registration fee is EUR 60, which thanks to the generous support of the Urrutia Elejalde Foundation will be waived upon request. Participants need to finance accommodation and travel themselves, but there is the possibility to apply for a scholarship that will cover most of these expenses.

For more information, see http://tinyurl.com/comsoc-school-2016 or contact Ulle Endriss (ulle.endriss at uva.nl).

The summer school offers an introduction to three levels of tame geometry: real algebraic geometry, o-minimality, and tame expansions of o-minimal structures. Specific topics will be covered throughout such as polynomial optimization, definable groups, and the Pila-Wilkie theorem with Diophantine applications. Tutotials and survey lectures will be given by renowned experts, whereas problem and poster sessions will be held to foster interaction between students and speakers.

Funding is available for students and early postdocs.

For more information, see http://www.math.uni-konstanz.de/~eleftheriou/summerschool/ or contact tame-geometry at uni-konstanz.de.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

Ruhr-University Bochum is hosting the interdisciplinary workshop "Rational animals? Comparing human and animal minds from an interdisciplinary perspective". The workshop will offer three keynote lectures and will be organized in four symposia, each tackling one core aspect of comparative cognition research from both philosophical and empirical perspective.

The four symposia are
a) cultural evolution & social learning,
b) causal understanding and means-end reasoning,
c) theory of mind, and
d) the anthropological difference.

For more information, see http://www.rub.de/philosophy/rationalanimals

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

This summer school will provide an in-depth introduction to computational social choice, covering the topic from the perspectives of economics, mathematics, and computer science. Tutorials will be delivered by Katarína Cechlárová (Košice), Edith Elkind (Oxford), Umberto Grandi (Toulouse), Nicolas Maudet (Paris), Reshef Meir (Technion), Friedrich Pukelsheim (Augsburg), and William S. Zwicker (Union College). In addition, participants will have the opportunity to present their own work in a poster session.

The summer school is organised by COST Action IC1205 on Computational Social Choice (https://www.illc.uva.nl/COST-IC1205/. The application deadline is Tuesday, 5 April 2016. The registration fee is EUR 60, which thanks to the generous support of the Urrutia Elejalde Foundation will be waived upon request. Participants need to finance accommodation and travel themselves, but there is the possibility to apply for a scholarship that will cover most of these expenses.

For more information, see http://tinyurl.com/comsoc-school-2016 or contact Ulle Endriss (ulle.endriss at uva.nl).

The summer school offers an introduction to three levels of tame geometry: real algebraic geometry, o-minimality, and tame expansions of o-minimal structures. Specific topics will be covered throughout such as polynomial optimization, definable groups, and the Pila-Wilkie theorem with Diophantine applications. Tutotials and survey lectures will be given by renowned experts, whereas problem and poster sessions will be held to foster interaction between students and speakers.

Funding is available for students and early postdocs.

For more information, see http://www.math.uni-konstanz.de/~eleftheriou/summerschool/ or contact tame-geometry at uni-konstanz.de.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

This summer school will provide an in-depth introduction to computational social choice, covering the topic from the perspectives of economics, mathematics, and computer science. Tutorials will be delivered by Katarína Cechlárová (Košice), Edith Elkind (Oxford), Umberto Grandi (Toulouse), Nicolas Maudet (Paris), Reshef Meir (Technion), Friedrich Pukelsheim (Augsburg), and William S. Zwicker (Union College). In addition, participants will have the opportunity to present their own work in a poster session.

The summer school is organised by COST Action IC1205 on Computational Social Choice (https://www.illc.uva.nl/COST-IC1205/. The application deadline is Tuesday, 5 April 2016. The registration fee is EUR 60, which thanks to the generous support of the Urrutia Elejalde Foundation will be waived upon request. Participants need to finance accommodation and travel themselves, but there is the possibility to apply for a scholarship that will cover most of these expenses.

For more information, see http://tinyurl.com/comsoc-school-2016 or contact Ulle Endriss (ulle.endriss at uva.nl).

The summer school offers an introduction to three levels of tame geometry: real algebraic geometry, o-minimality, and tame expansions of o-minimal structures. Specific topics will be covered throughout such as polynomial optimization, definable groups, and the Pila-Wilkie theorem with Diophantine applications. Tutotials and survey lectures will be given by renowned experts, whereas problem and poster sessions will be held to foster interaction between students and speakers.

Funding is available for students and early postdocs.

For more information, see http://www.math.uni-konstanz.de/~eleftheriou/summerschool/ or contact tame-geometry at uni-konstanz.de.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

This summer school will provide an in-depth introduction to computational social choice, covering the topic from the perspectives of economics, mathematics, and computer science. Tutorials will be delivered by Katarína Cechlárová (Košice), Edith Elkind (Oxford), Umberto Grandi (Toulouse), Nicolas Maudet (Paris), Reshef Meir (Technion), Friedrich Pukelsheim (Augsburg), and William S. Zwicker (Union College). In addition, participants will have the opportunity to present their own work in a poster session.

The summer school is organised by COST Action IC1205 on Computational Social Choice (https://www.illc.uva.nl/COST-IC1205/. The application deadline is Tuesday, 5 April 2016. The registration fee is EUR 60, which thanks to the generous support of the Urrutia Elejalde Foundation will be waived upon request. Participants need to finance accommodation and travel themselves, but there is the possibility to apply for a scholarship that will cover most of these expenses.

For more information, see http://tinyurl.com/comsoc-school-2016 or contact Ulle Endriss (ulle.endriss at uva.nl).

The summer school offers an introduction to three levels of tame geometry: real algebraic geometry, o-minimality, and tame expansions of o-minimal structures. Specific topics will be covered throughout such as polynomial optimization, definable groups, and the Pila-Wilkie theorem with Diophantine applications. Tutotials and survey lectures will be given by renowned experts, whereas problem and poster sessions will be held to foster interaction between students and speakers.

Funding is available for students and early postdocs.

For more information, see http://www.math.uni-konstanz.de/~eleftheriou/summerschool/ or contact tame-geometry at uni-konstanz.de.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

The European Conference on Logics in Artificial Intelligence (or, Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence.

The aim of JELIA 2016 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

For more information, see http://www.cyprusconferences.org/jelia2016/

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

The summer school offers an introduction to three levels of tame geometry: real algebraic geometry, o-minimality, and tame expansions of o-minimal structures. Specific topics will be covered throughout such as polynomial optimization, definable groups, and the Pila-Wilkie theorem with Diophantine applications. Tutotials and survey lectures will be given by renowned experts, whereas problem and poster sessions will be held to foster interaction between students and speakers.

Funding is available for students and early postdocs.

For more information, see http://www.math.uni-konstanz.de/~eleftheriou/summerschool/ or contact tame-geometry at uni-konstanz.de.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

Inductive Logic Programming (ILP) is a subfield of machine learning, which uses logic programming as a uniform representation technique for examples, background knowledge and hypotheses. Due to its strong representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning and data mining. The ILP conference series, started in 1991, is the premier international forum for learning from structured relational data. Originally focusing on the induction of logic programs, over the years it has expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches.

For more information, see http://ilp16.doc.ic.ac.uk

The "Entia et Nomina" series features English language workshops for young researchers in formally oriented philosophy, in particular in logic, philosophy of science, formal epistemology and philosophy of language. The aim of the workshop is to foster cooperation among young philosophers with a formal bent from various research groups. The sixth workshop in the series will take place from 5 to 9 September in Warsaw, Poland.

For more information, see https://entiaetnomina2016.wordpress.com/ or here, or contact mtgodziszewski at gmail.com.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, in particular the edition 2015 which is been a great success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: From Hilbert to Gentzen and beyond, Proof mining, lambda-calculus, and Computational contents of proofs.

Application deadline for financial support: April 30, 2016. For more information, see http://www.math.uni-goettingen.de/summer

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 an infrastructure for developing expertise in formal approaches used in (1) philosophy of physics, (2) philosophy of biology and social science, and (3) epistemic logic and philosophy of cognition. The summer school will offer the opportunity for study in an informal setting, lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy of science. 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 1, 2016. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

The two traditions defining contemporary thought on the topic of logicality are the proof theoretic and the semantic traditions. The difference is not merely the different mathematical tools they employ in studying logical consequence: there are deep philosophical questions involved, having to do with the relation between language, meaning and truth. The aim of this workshop is to promote a dialogue between people working in these two traditions, for the benefit of both, and with the hope of gaining a wide perspective on the issues concerned with logicality.

For more information, see here.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, in particular the edition 2015 which is been a great success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: From Hilbert to Gentzen and beyond, Proof mining, lambda-calculus, and Computational contents of proofs.

Application deadline for financial support: April 30, 2016. For more information, see http://www.math.uni-goettingen.de/summer

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 an infrastructure for developing expertise in formal approaches used in (1) philosophy of physics, (2) philosophy of biology and social science, and (3) epistemic logic and philosophy of cognition. The summer school will offer the opportunity for study in an informal setting, lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy of science. 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 1, 2016. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).

The workshop provides a meeting place for educators and developers of educational mathematics software and experts in TP. The discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of such a novel kind of educational mathematical tools.

For more information, see http://www.uc.pt/en/congressos/thedu/thedu16

The 2016 edition of the annual Mathematical Foundations of Informatics Conference is aimed at bringing together the researchers from East and West Europe, as well as researchers worldwide, and add synergy to their endeavors to lay down the mathematical foundations for computer science, also known as Informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation, as well as on the action items required for the renaissance of research on this domain in East Europe.

For more information, see http://www.mfoi.eu/conf2016/

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-agent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers, and will be taught by leading researchers in the field.

Early registration deadline (extended): 10 June 2016. For more information, see http://easss2016.dmi.unict.it/ or email easss2016 at dmi.unict.it.

TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2016 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.

For more information, see http://grammars.grlmc.com/TPNC2016/ or contact florentinalilica.voicu at urv.cat.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, in particular the edition 2015 which is been a great success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: From Hilbert to Gentzen and beyond, Proof mining, lambda-calculus, and Computational contents of proofs.

Application deadline for financial support: April 30, 2016. For more information, see http://www.math.uni-goettingen.de/summer

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 an infrastructure for developing expertise in formal approaches used in (1) philosophy of physics, (2) philosophy of biology and social science, and (3) epistemic logic and philosophy of cognition. The summer school will offer the opportunity for study in an informal setting, lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy of science. 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 1, 2016. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).

The workshop provides a meeting place for educators and developers of educational mathematics software and experts in TP. The discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of such a novel kind of educational mathematical tools.

For more information, see http://www.uc.pt/en/congressos/thedu/thedu16

The 2016 edition of the annual Mathematical Foundations of Informatics Conference is aimed at bringing together the researchers from East and West Europe, as well as researchers worldwide, and add synergy to their endeavors to lay down the mathematical foundations for computer science, also known as Informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation, as well as on the action items required for the renaissance of research on this domain in East Europe.

For more information, see http://www.mfoi.eu/conf2016/

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-agent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers, and will be taught by leading researchers in the field.

Early registration deadline (extended): 10 June 2016. For more information, see http://easss2016.dmi.unict.it/ or email easss2016 at dmi.unict.it.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, in particular the edition 2015 which is been a great success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: From Hilbert to Gentzen and beyond, Proof mining, lambda-calculus, and Computational contents of proofs.

Application deadline for financial support: April 30, 2016. For more information, see http://www.math.uni-goettingen.de/summer

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 an infrastructure for developing expertise in formal approaches used in (1) philosophy of physics, (2) philosophy of biology and social science, and (3) epistemic logic and philosophy of cognition. The summer school will offer the opportunity for study in an informal setting, lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy of science. 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 1, 2016. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).

The workshop provides a meeting place for educators and developers of educational mathematics software and experts in TP. The discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of such a novel kind of educational mathematical tools.

For more information, see http://www.uc.pt/en/congressos/thedu/thedu16

The 2016 edition of the annual Mathematical Foundations of Informatics Conference is aimed at bringing together the researchers from East and West Europe, as well as researchers worldwide, and add synergy to their endeavors to lay down the mathematical foundations for computer science, also known as Informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation, as well as on the action items required for the renaissance of research on this domain in East Europe.

For more information, see http://www.mfoi.eu/conf2016/

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-agent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers, and will be taught by leading researchers in the field.

Early registration deadline (extended): 10 June 2016. For more information, see http://easss2016.dmi.unict.it/ or email easss2016 at dmi.unict.it.

A workshop on the model theory of finite and pseudofinite structures will be held at the University of Leeds (UK), from 27th to 29th July 2016. Some of the themes that will be touched on during the workshop are:
- asymptotic classes of finite structures, measurable structures, and generalisations;
- connections to homogeneous structures;
- finite and infinite permutation groups;
- zero-one laws.

For more information, see http://www.maths.leeds.ac.uk/fps

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, in particular the edition 2015 which is been a great success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: From Hilbert to Gentzen and beyond, Proof mining, lambda-calculus, and Computational contents of proofs.

Application deadline for financial support: April 30, 2016. For more information, see http://www.math.uni-goettingen.de/summer

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 an infrastructure for developing expertise in formal approaches used in (1) philosophy of physics, (2) philosophy of biology and social science, and (3) epistemic logic and philosophy of cognition. The summer school will offer the opportunity for study in an informal setting, lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy of science. 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 1, 2016. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).

The workshop provides a meeting place for educators and developers of educational mathematics software and experts in TP. The discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of such a novel kind of educational mathematical tools.

For more information, see http://www.uc.pt/en/congressos/thedu/thedu16

The 2016 edition of the annual Mathematical Foundations of Informatics Conference is aimed at bringing together the researchers from East and West Europe, as well as researchers worldwide, and add synergy to their endeavors to lay down the mathematical foundations for computer science, also known as Informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation, as well as on the action items required for the renaissance of research on this domain in East Europe.

For more information, see http://www.mfoi.eu/conf2016/

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-agent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers, and will be taught by leading researchers in the field.

Early registration deadline (extended): 10 June 2016. For more information, see http://easss2016.dmi.unict.it/ or email easss2016 at dmi.unict.it.

A workshop on the model theory of finite and pseudofinite structures will be held at the University of Leeds (UK), from 27th to 29th July 2016. Some of the themes that will be touched on during the workshop are:
- asymptotic classes of finite structures, measurable structures, and generalisations;
- connections to homogeneous structures;
- finite and infinite permutation groups;
- zero-one laws.

For more information, see http://www.maths.leeds.ac.uk/fps

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields.

Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting.

For more information, see http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, in particular the edition 2015 which is been a great success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: From Hilbert to Gentzen and beyond, Proof mining, lambda-calculus, and Computational contents of proofs.

Application deadline for financial support: April 30, 2016. For more information, see http://www.math.uni-goettingen.de/summer

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 an infrastructure for developing expertise in formal approaches used in (1) philosophy of physics, (2) philosophy of biology and social science, and (3) epistemic logic and philosophy of cognition. The summer school will offer the opportunity for study in an informal setting, lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy of science. 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 1, 2016. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).

The workshop provides a meeting place for educators and developers of educational mathematics software and experts in TP. The discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of such a novel kind of educational mathematical tools.

For more information, see http://www.uc.pt/en/congressos/thedu/thedu16

The 2016 edition of the annual Mathematical Foundations of Informatics Conference is aimed at bringing together the researchers from East and West Europe, as well as researchers worldwide, and add synergy to their endeavors to lay down the mathematical foundations for computer science, also known as Informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation, as well as on the action items required for the renaissance of research on this domain in East Europe.

For more information, see http://www.mfoi.eu/conf2016/

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-agent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers, and will be taught by leading researchers in the field.

Early registration deadline (extended): 10 June 2016. For more information, see http://easss2016.dmi.unict.it/ or email easss2016 at dmi.unict.it.

A workshop on the model theory of finite and pseudofinite structures will be held at the University of Leeds (UK), from 27th to 29th July 2016. Some of the themes that will be touched on during the workshop are:
- asymptotic classes of finite structures, measurable structures, and generalisations;
- connections to homogeneous structures;
- finite and infinite permutation groups;
- zero-one laws.

For more information, see http://www.maths.leeds.ac.uk/fps

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

This summer school is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

A limited number of scholarships for bachelor, master and phd students will be available! The deadline for the application for the scholarships is 31.05.2016.

You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/SummerSchool2016.

The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, in particular the edition 2015 which is been a great success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: From Hilbert to Gentzen and beyond, Proof mining, lambda-calculus, and Computational contents of proofs.

Application deadline for financial support: April 30, 2016. For more information, see http://www.math.uni-goettingen.de/summer

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 an infrastructure for developing expertise in formal approaches used in (1) philosophy of physics, (2) philosophy of biology and social science, and (3) epistemic logic and philosophy of cognition. The summer school will offer the opportunity for study in an informal setting, lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy of science. 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 1, 2016. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/

Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level.

The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-agent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers, and will be taught by leading researchers in the field.

Early registration deadline (extended): 10 June 2016. For more information, see http://easss2016.dmi.unict.it/ or email easss2016 at dmi.unict.it.

A recent approach to proof theory uses techniques form modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert?s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

For more information, see http://www.phil.uu.nl/~jjoosten/Wormshop2016/

The Logic Colloquium 2016, organized under the auspices of the Association for Symbolic Logic, will feature 12 plenary speakers, as well as 2 tutorials and 6 special sessions. The twenty-seventh annual Gödel Lecture will be delivered by S. Todorcevic.

For more information, see http://www.lc2016.leeds.ac.uk/