The LaTeCH workshop series aims to provide a forum for researchers who are working on developing novel information technology for improved information access to data from the Humanities, Social Sciences, and Cultural Heritage. Since the formation of SIGHUM (ACL Special Interest Group on Language Technologies for the Socio-Economic Sciences and Humanities), the LaTeCH workshop is also the venue for the SIGHUM annual research and business meeting. LaTeCH 2016 is to be held in conjunction with ACL 2016.

In the Humanities, Social Sciences, and Cultural Heritage communities there is increasing interest in and demand for NLP methods for semantic annotation, intelligent linking, discovery, querying, cleaning, and visualization of both primary and secondary data. These domains of application entail new challenges for NLP research. For this reason, it is of mutual benefit that NLP experts, data specialists, and digital humanities researchers working in and across these domains get involved in the Computational Linguistics community and present their fundamental or applied research results.

For more information, see https://sighum.wordpress.com/events/latech-2016/ or contact the Co-Chair, Nils Reiter at nils.reiter at ims.uni-stuttgart.de.

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

For more information, see http://automata2016.ini.uzh.ch/

SOPhiA 2016 is a public confererence organised by the University of Salzburg's Department of Philosophy (Humanities), where philosophy students (pre-doc) can give presentations and discuss problems of all areas of philosophy. A thematical focus is not intended. The presentations should rather set themselves apart by a methodical limitation to the tradition of Analytic Philosophy by usage of clear language and comprehensible arguments.

The conference is meant to be a unified effort of the conference attendees to clearly formulate some of the problems of philosophy and to provide a critical assessment of them. No individual philosopher is expected to construct "a whole building of philosophy" all by herself; rather, the conference hosts expect everyone, as Carnap proposes, to bring the undertaking forward "at his specific place within" philosophy.

For more information see https://www.sbg.ac.at/sophia/SOPhiA/2016/ or contact organization at sophia-conference.org.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Speakers:
Martin Peterson (Texas A&M University, USA): 'When To Use the Precautionary Principle and When Not To Use It. A Geometric Analysis.'
Thomas Boyer-Kassem (Tilburg University, The Netherlands): 'On the coherence of the Precautionary Principle as a decision rule'
Neelke Doorn (Delft University of Technology, The Netherlands): 'How safe is safe enough: The place of irreversibility in decision making about risks'

Participation in the workshop and refreshments are free. Advance registration by email to tilps at uvt.nl< is appreciated. There will be a social dinner after the workshop. For more information, see here or contact t.c.e.boyer at tilburguniversity.edu.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

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/

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

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/

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

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

For more information, see https://www.fedcsis.org/2016/airim

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

PhDs in Logic is an annual graduate conference organised by local graduate students. This conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science; its aim is to bring together graduate students and researchers as well as to foster contact between graduate students.

The program will involve five tutorials by established researchers in different fields as well as short presentations by PhD students on their research.

Registration is open until April 30 2016. For more information, see https://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/

We are pleased to announce that the 21st Conference on Applications of Logic in Philosophy and the Foundations of Mathematics will be held in Szklarska Poreba from May 9 to May 13, 2016. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.

The invited speakers of the upcoming meeting are: Henrich Wansing, Ruhr-Universität Bochum, Jan Wolenski, University of Information Technology and Management in Rzeszów .

The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website at www dot klmn dot uni dot wroc dot pl slash conference dot html. For more information, please contact marcisel at uni dot wroc dot pl.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://sis.smu.edu.sg/aamas2016

PhDs in Logic is an annual graduate conference organised by local graduate students. This conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science; its aim is to bring together graduate students and researchers as well as to foster contact between graduate students.

The program will involve five tutorials by established researchers in different fields as well as short presentations by PhD students on their research.

Registration is open until April 30 2016. For more information, see https://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/

We are pleased to announce that the 21st Conference on Applications of Logic in Philosophy and the Foundations of Mathematics will be held in Szklarska Poreba from May 9 to May 13, 2016. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.

The invited speakers of the upcoming meeting are: Henrich Wansing, Ruhr-Universität Bochum, Jan Wolenski, University of Information Technology and Management in Rzeszów .

The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website at www dot klmn dot uni dot wroc dot pl slash conference dot html. For more information, please contact marcisel at uni dot wroc dot pl.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://sis.smu.edu.sg/aamas2016

PhDs in Logic is an annual graduate conference organised by local graduate students. This conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science; its aim is to bring together graduate students and researchers as well as to foster contact between graduate students.

The program will involve five tutorials by established researchers in different fields as well as short presentations by PhD students on their research.

Registration is open until April 30 2016. For more information, see https://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/

We are pleased to announce that the 21st Conference on Applications of Logic in Philosophy and the Foundations of Mathematics will be held in Szklarska Poreba from May 9 to May 13, 2016. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.

The invited speakers of the upcoming meeting are: Henrich Wansing, Ruhr-Universität Bochum, Jan Wolenski, University of Information Technology and Management in Rzeszów .

The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website at www dot klmn dot uni dot wroc dot pl slash conference dot html. For more information, please contact marcisel at uni dot wroc dot pl.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://sis.smu.edu.sg/aamas2016

Synthetic speech is part of modern everyday life. Artificial voices do not only occur in multifaceted technological uses, but they also feed back into researching the natural human voice. Moreover, artists, musicians and composers find a source of inspiration in the artificial sound of such voices. Our conference inquires both the richness of the human voice and the limits and surplus of its theoretical modelling and mechanical and digital imitation. We are specifically interested in modelling and synthesizing so-called "extended vocal techniques" - all sounds the human voice can produce, exceeding conventional singing and speaking. The conference will cover the history of the artificial voice, extended vocal techniques, aspects of theoretical modelling and technical realization, and the role of the artificial voice in contemporary music. Academics, scientists and artists will come together to exchange ideas and insights in three days of presentations, meetings, workshops and a concert. With a group of international experts we will place the artificial voice in a broad perspective of historical, technical, socio-cultural, artistic and musical investigation.

For more information, see http://www.artificialvoice.nl/

We are pleased to announce that the 21st Conference on Applications of Logic in Philosophy and the Foundations of Mathematics will be held in Szklarska Poreba from May 9 to May 13, 2016. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.

The invited speakers of the upcoming meeting are: Henrich Wansing, Ruhr-Universität Bochum, Jan Wolenski, University of Information Technology and Management in Rzeszów .

The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website at www dot klmn dot uni dot wroc dot pl slash conference dot html. For more information, please contact marcisel at uni dot wroc dot pl.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://sis.smu.edu.sg/aamas2016

Synthetic speech is part of modern everyday life. Artificial voices do not only occur in multifaceted technological uses, but they also feed back into researching the natural human voice. Moreover, artists, musicians and composers find a source of inspiration in the artificial sound of such voices. Our conference inquires both the richness of the human voice and the limits and surplus of its theoretical modelling and mechanical and digital imitation. We are specifically interested in modelling and synthesizing so-called "extended vocal techniques" - all sounds the human voice can produce, exceeding conventional singing and speaking. The conference will cover the history of the artificial voice, extended vocal techniques, aspects of theoretical modelling and technical realization, and the role of the artificial voice in contemporary music. Academics, scientists and artists will come together to exchange ideas and insights in three days of presentations, meetings, workshops and a concert. With a group of international experts we will place the artificial voice in a broad perspective of historical, technical, socio-cultural, artistic and musical investigation.

For more information, see http://www.artificialvoice.nl/

The 10th Workshop on Reachability Problems is aimed at gathering together scholars from diverse disciplines interested in reachability problems that appear in algebraic structures, computational models, hybrid systems, logic and verification.

Invited Speakers: Alain Finkel (ENS de Cachan, France), Axel Legay (INRIA, Rennes Cedex, France) and Jaco van de Pol (Twente, the Netherlands).

In addition to regular papers that will appear in our LNCS proceedings, we invite researchers to apply to give a presentation at RP'16 without an accompanying paper. Such presentations can be based on work that has appeared (or which is going to appear) in the proceedings of another conference, or which has not yet been submitted. Deadline for abstract submission: August 1st, 2016.

For more information, see http://rp16.cs.aau.dk/

KI 2016 is the 39th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2016 will comprise paper and poster presentations and a variety of workshops and tutorials.

KI 2016 is co-located with Informatik 2016 (Annual Conference of the German Informatics Society) and MATES 2016 (The 14th German Conference on Multi-Agent System Technologies).

For more information, see http://ki2016.org/

We are pleased to announce that the 21st Conference on Applications of Logic in Philosophy and the Foundations of Mathematics will be held in Szklarska Poreba from May 9 to May 13, 2016. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.

The invited speakers of the upcoming meeting are: Henrich Wansing, Ruhr-Universität Bochum, Jan Wolenski, University of Information Technology and Management in Rzeszów .

The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website at www dot klmn dot uni dot wroc dot pl slash conference dot html. For more information, please contact marcisel at uni dot wroc dot pl.

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://sis.smu.edu.sg/aamas2016

Synthetic speech is part of modern everyday life. Artificial voices do not only occur in multifaceted technological uses, but they also feed back into researching the natural human voice. Moreover, artists, musicians and composers find a source of inspiration in the artificial sound of such voices. Our conference inquires both the richness of the human voice and the limits and surplus of its theoretical modelling and mechanical and digital imitation. We are specifically interested in modelling and synthesizing so-called "extended vocal techniques" - all sounds the human voice can produce, exceeding conventional singing and speaking. The conference will cover the history of the artificial voice, extended vocal techniques, aspects of theoretical modelling and technical realization, and the role of the artificial voice in contemporary music. Academics, scientists and artists will come together to exchange ideas and insights in three days of presentations, meetings, workshops and a concert. With a group of international experts we will place the artificial voice in a broad perspective of historical, technical, socio-cultural, artistic and musical investigation.

For more information, see http://www.artificialvoice.nl/

Every other year, a distinguished philosopher visits Tilburg University and the Tilburg Center for Logic, Ethics and Philosophy of Science to present the René Descartes Lectures. This year's René Descartes Lecturer is Professor Heather Douglas (University of Waterloo). Professor Douglas will deliver three lectures on the topic 'Science, Values and Democracy', each of which will be commented on by two renowned scholars. Parallel to the lectures, we host a workshop on the same topic.

The lectures will explore the relationships among science, values, and expertise in modern democratic societies. Science, although the best way to gain rich empirical knowledge, cannot be considered value-free. As such, scientists' role in public discourse and in advisory roles is more complex than simply giving us 'the facts.' In democratic societies, we must confront questions of how to make science advising appropriately accountable in our political systems, while protecting scientists from pressures which would damage the integrity of their advice. In the public discourse, citizens have more roles to play than simply being passive receivers of scientific information. This means we need to articulate these roles and create avenues for exercising them. Because of the need for values in science and because this opens science to new modes of engagement and criticism, we need to think through our institutional structures to ensure that the normative demands of good science and good governance can both be met.

For more information visit https://descarteslectures2016.wordpress.com/

The Eighth French Philosophy of Mathematics Workshop is the eighth edition of a yearly conference in Philosophy of Mathematics organized by a group of French and International researchers, both philosophers and mathematicians, and sponsored by a Research Group on Philosophy of mathematics (GDR 3719 ) funded by the French National Center for Scientific Research (CNRS). This research group has the objective of promoting and federating French researches in philosophy of mathematics.

The forthcoming workshop will be held at the Center for Comparative Epistemology and Ergology (CEPERC) at the University of Aix-Marseille. It will consist, as the previous workshops, in a three-day meeting, and will feature both invited and contributed talks.

For more information, see https://fpmw8-2016.sciencesconf.org/ or contact fpmw8-2016 at sciencesconf.org.

Established in 2004, the ICTAC conference series aims at bringing together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. ICTAC also aims to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.

Topics of interest include theories of computation and programming, foundations of software engineering and formal techniques in software design and verification, as well as tools that support formal techniques for system modeling, design and verification.

For more information, see http://cc.ee.ntu.edu.tw/~ictac2016

SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.

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

In December 2015 Jouko Väänänen formally retired from the Institute for Logic, Language and Computation (ILLC). Despite the fact that Jouko will maintain his ties to the ILLC, we nevertheless take the opportunity to organise a small workshop in Jouko's honour.

For more information, see https://www.illc.uva.nl/Vaananen65/

The goal of this workshop is to bring together researchers in logic, philosophy of logic, philosophy of language and philosophy of mathematics to investigate the problem of the separation between object-language and metalanguage.

Ever since the work of Alfred Tarski we have known that trivializing paradoxes arise when one designs a precise language that is able to express at the same time the object theory and the metatheory of a certain domain. As a solution, Tarski suggested a strict hierarchy of languages in which every language can only talk about the language immediately below it in the hierarchy. Although this works as a technical solution, it is rather artificial and remote from our intuitions about natural language.

Since Tarski's results, logic, philosophy of language and mathematics have changed quite a bit. Nowadays we have a multitude of non-classical logical systems that can prevent the paradoxes from popping up or from destroying all meaning. There are well-established mathematical tools to carefully deal with the possibility of reasoning about the metatheory of a foundational theory ('forcing' in set theory, category theory, consistency strength). Ways of dealing sensibly with non-stratified full comprehension in mathematics have been proposed. Sophisticated grounding and revision techniques for self-referential truth have been developed. Formal tools have been devised to better understand natural language. People are trying to emancipate themselves from the norm that urges us to use a classical metatheory. Given all these new developments, we think now is a good time to reopen the philosophical debate on the distinction between object-language and metalanguage.

For more information, see http://perso.uclouvain.be/peter.verdee/metalang2016

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2016 is the 11th conference in the series.

For more information, see http://phil.elte.hu/aiml2016/. Further enquiries should be directed to the PC co-chairs, sent to aiml16 at easychair.org.

The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization.

Invited speakers include Luca Bertolussi (Trieste, Italy), Joanna Golinska-Pilarek (Warsaw, Poland) and Arnaud Sangnier (Paris Diderot, France)

For more information, see http://gandalf2016.dmi.unict.it

The goal of this workshop is to bring together researchers in logic, philosophy of logic, philosophy of language and philosophy of mathematics to investigate the problem of the separation between object-language and metalanguage.

Ever since the work of Alfred Tarski we have known that trivializing paradoxes arise when one designs a precise language that is able to express at the same time the object theory and the metatheory of a certain domain. As a solution, Tarski suggested a strict hierarchy of languages in which every language can only talk about the language immediately below it in the hierarchy. Although this works as a technical solution, it is rather artificial and remote from our intuitions about natural language.

Since Tarski's results, logic, philosophy of language and mathematics have changed quite a bit. Nowadays we have a multitude of non-classical logical systems that can prevent the paradoxes from popping up or from destroying all meaning. There are well-established mathematical tools to carefully deal with the possibility of reasoning about the metatheory of a foundational theory ('forcing' in set theory, category theory, consistency strength). Ways of dealing sensibly with non-stratified full comprehension in mathematics have been proposed. Sophisticated grounding and revision techniques for self-referential truth have been developed. Formal tools have been devised to better understand natural language. People are trying to emancipate themselves from the norm that urges us to use a classical metatheory. Given all these new developments, we think now is a good time to reopen the philosophical debate on the distinction between object-language and metalanguage.

For more information, see http://perso.uclouvain.be/peter.verdee/metalang2016

Philosophers of science have studied scientific uncertainty from the viewpoint of formal probabilistic frameworks, such as classical probability theory and Bayesianism. It is not always clear how to apply such formal tools to cases of uncertainty evaluation encountered in scientific practice. This one-day workshop will be dedicated to a critical examination of informal practices of uncertainty evaluation in metrology, climate science, particle physics and computer science, with the aim of clarifying whether and why certain kinds of uncertainty resist formalization. This workshop will also serve as the concluding event of the Economies of Uncertainty project, funded by a Marie Curie Intra-European Fellowship within the 7th European Community Framework Programme.

Speakers will be: Fabien Grégis (Paris 7), Phil Maguire (NUI Maynooth), Luca Mari (LIUC Italy), Wendy Parker (Durham), Lenny Smith (LSE and Oxford), Kent Staley (Saint Louis) and Eran Tal (Cambridge).

For additional details on this event, please visit the workshop website: http://people.ds.cam.ac.uk/et382/events.html. Attendance is free to all members of the academic community and no registration is required. However, if you plan to attend please email the organizer, Dr. Eran Tal (et382 at cam.ac.uk) by Friday, May 13th 2016 so as to allow for a sufficient supply of food.

The purpose of this conference is to bring together new research on the identity theory of truth. To a first approximation, the identity theory states that a proposition is true just in case it is identical with a fact. The identity theory is often seen as an alternative to both correspondence and minimalist theories of truth. The topic has many important connections to work in metaphysics, the philosophy of mind and the philosophy of language. And it plays an important role on in the history of philosophy: versions of the theory can be detected in the works of Bradley, Frege, Moore, Russell, and Wittgenstein, amongst others.

For more information, see http://www.phil.cam.ac.uk/events/identity-truth

The purpose of this conference is to bring together new research on the identity theory of truth. To a first approximation, the identity theory states that a proposition is true just in case it is identical with a fact. The identity theory is often seen as an alternative to both correspondence and minimalist theories of truth. The topic has many important connections to work in metaphysics, the philosophy of mind and the philosophy of language. And it plays an important role on in the history of philosophy: versions of the theory can be detected in the works of Bradley, Frege, Moore, Russell, and Wittgenstein, amongst others.

For more information, see http://www.phil.cam.ac.uk/events/identity-truth

The conference will bring together researchers who are working with imperfect information in fields such as artificial intelligence, databases, data mining, information retrieval, and risk analysis with the aim of fostering collaboration and cross-fertilization of ideas from different communities.

For more information, see http://sum2016.unice.fr/.

In honor of Steve Simpson's 70th birthday, a one-day conference will be held at the University of Connecticut, Storrs on May 22, 2016, the day before the Association of Symbolic Logic meeting at the same location. The goal of the conference is to bring together researchers working in all aspects and foundational applications of recursion theory.

There is no registration fee, but we ask participants to register online by May 1, 2016. There will be a conference dinner following the conference; the cost will be announced.

Complete information is available on the conference webpage, http://www.marshall.edu/math/FIRT16/. or from any of the organizers: Jeff Hirst (hirstjl at appstate.edu), Alberto Marcone (alberto.marcone at uniud.it), and Carl Mummert (mummertc at marshall.edu).

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

The main lectures in the summer school will be preceded by a background course on logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique) on "Speaking Logic".

Applicants are urged to submit their applications before April 30, 2016, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. For more information, see http://fm.csl.sri.com/SSFT16

The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning rule-based systems, and their applications in reasoning about web data.

For more information, see http://www.abdn.ac.uk/events/rr-2016/rr2016/.

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

The main lectures in the summer school will be preceded by a background course on logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique) on "Speaking Logic".

Applicants are urged to submit their applications before April 30, 2016, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. For more information, see http://fm.csl.sri.com/SSFT16

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

The main lectures in the summer school will be preceded by a background course on logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique) on "Speaking Logic".

Applicants are urged to submit their applications before April 30, 2016, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. For more information, see http://fm.csl.sri.com/SSFT16

Around 70% of all PhD students will pursue a career outside academia after their defense. The UvA wishes to prepare PhD students for a successfull career. This English training is intended to help in this regard.

There will be 4 meetings in total, on May 24th, June 7th, June 28th and July 12th

Registration for this training is open until 17 May 2016. For more information, see https://medewerker.uva.nl/fnwi/actueel/agenda/agenda/agenda/content/folder-2/

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

The main lectures in the summer school will be preceded by a background course on logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique) on "Speaking Logic".

Applicants are urged to submit their applications before April 30, 2016, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. For more information, see http://fm.csl.sri.com/SSFT16

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

The main lectures in the summer school will be preceded by a background course on logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique) on "Speaking Logic".

Applicants are urged to submit their applications before April 30, 2016, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. For more information, see http://fm.csl.sri.com/SSFT16

This workshop will address the question, what brings us from basic cognition to the practice of mathematics, gathering together scholars from different disciplines with the aim to develop common points of view. The focus will be, primarily, on what separates mathematics properly speaking from basic cognition, and which cognitive ingredients may act as *bridges* between both.

The invited speakers are: Valeria Giardino (CNRS/Archives Poincaré Nancy), Rafael Núñez (UC San Diego), and Dirk Schlimm (McGill Univ.).

For more information, see here.

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

The main lectures in the summer school will be preceded by a background course on logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique) on "Speaking Logic".

Applicants are urged to submit their applications before April 30, 2016, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. For more information, see http://fm.csl.sri.com/SSFT16

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

For more information, see here.

The semantic content of natural language is multiply *situated*: Whether an utterance receives one interpretation or another depends on the *discourse situation* (in which the utterance takes place), on the *target situation* (which is described by the utterance), and on the interpreting agents' *informational situation* (which also contains the agents' background knowledge). Over the past decades, work on extralinguistic context-dependence has focused on discourse situations and target situations, and has paid less attention to the dependence of interpretation on the agents' informational situation. However, this kind of information-dependence plays a crucial role in the explanation of a number of semantic phenomena, including the behavior of epistemic/deontic modals and propositional attitude-sentences. Recent research in situated cognition has suggested an even more general scope of semantic information-dependence. The latter assumes that cognition (and therefore, *all* linguistic understanding) is fundamentally embedded in the situational context of the cognition.

This workshop aims to bring together linguists, philosophers, logicians, and cognitive and computer scientists to discuss the information-dependence of the semantic content of natural language. It covers all aspects of the interaction between situations, information, and semantic content - both theoretical and experimental.

For more information, see http://www.situatedcontent2016.philosophie.uni-muenchen.de/ or email Kristina Liefke at SituatedContent2016 at lrz.uni-muenchen.de.

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

For more information, see here.

The rise of Bitcoin and other so-called "cryptocurrencies" has renewed interest in electronic payment systems and raised many research questions, which range from understanding, formalizing, and analyzing the protocols that support the underlying blockchain technology to designing new cryptocurrencies with better security guarantees. There have been a number of relevant papers that have appeared in recent cryptography and security conferences, but the space of research problems is enormous and -- especially with the introduction of more robust blockchain platforms like Ethereum -- is still growing.

This summer school aims to bring together the communities working on cryptocurrencies, cryptographic electronic cash, and distributed consensus. The target audience is anyone (students, researchers, developers, professionals) with an interest in cryptography/security. It is helpful for participants to have a basic knowledge of cryptography but we will make sure to provide an overview of all the necessary cryptographic building blocks; similarly, we expect that the school will be able to educate and motivate even those participants who already work within these research areas.

For more information, see http://bitcoinschool.gr/

CLIB covers a broad spectrum of areas related to natural language processing and computational linguistics, with a special focus on Bulgarian (including multilingual work).

This year, our invited speaker will be Dr. Preslav Nakov from the Qatar Computing Research Institute. He will give a lecture on: Exposing Paid Opinion Manipulation Trolls in News Community Forums

For more information, see http://dcl.bas.bg/clib/ or email clib2016 at dcl.bas.bg.

The rise of Bitcoin and other so-called "cryptocurrencies" has renewed interest in electronic payment systems and raised many research questions, which range from understanding, formalizing, and analyzing the protocols that support the underlying blockchain technology to designing new cryptocurrencies with better security guarantees. There have been a number of relevant papers that have appeared in recent cryptography and security conferences, but the space of research problems is enormous and -- especially with the introduction of more robust blockchain platforms like Ethereum -- is still growing.

This summer school aims to bring together the communities working on cryptocurrencies, cryptographic electronic cash, and distributed consensus. The target audience is anyone (students, researchers, developers, professionals) with an interest in cryptography/security. It is helpful for participants to have a basic knowledge of cryptography but we will make sure to provide an overview of all the necessary cryptographic building blocks; similarly, we expect that the school will be able to educate and motivate even those participants who already work within these research areas.

For more information, see http://bitcoinschool.gr/