The Formal Epistemology Workshop (FEW) is an interdisciplinary conference that showcases current research in epistemology, decision theory, modal logic, foundations of statistics, philosophy of science, and philosophy of language, among other areas.

Keynote speakers: Maria Lasonen-Aarnio (University of Michigan), Johan van Benthem (Amsterdam, Stanford).

Causation and Complexity is the tenth MuST conference, an international collaborative conference series with a distinctive focus on philosophical issues in the sciences that can be addressed using exact reasoning and which have some potential policy relevance. MuST conferences bring together philosophers and scientists to explore these topics.

MuST10 is organized by the Munich Centre for Mathematical Philosophy (MCMP), the Sydney Centre for the Foundations of Science (SCFS) and the Tilburg Centre for Logic, Ethics and Philosophy of Science (TiLPS), in collaboration with the Centre for Complex Systems (CCS) at the University of Sydney.  Keynote speakers are Professor Stuart Kauffman, Professor Anne-Marie Grisogono, and Professor Kevin Korb.

Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.

There will be several focused sessions on AI for ATP, ITP and mathematics, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.

Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems.

Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development.

For more information, see http://www.aixia2016.unige.it/ or contact the workshop co-chairs can be contacted by sending an email to rcra2016 at easychair.org.

AI*IA 2016 covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics will complement the main conference program.

The conference is organized by the Italian Association for Artificial Intelligence (AIIA), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field.

For more information see http://www.aixia2016.unige.it/

Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.

For more information, see http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/

Thursday will feature a Computer Science Colloquium, and talks by Jan van Eijck (Amsterdam) and Stephen Neale, (Graduate Center CUNY), followed by a wine and cheese reception and then a conference dinner at Vatan Indian Vegetarian.

Friday will feature talks by Sergei Artemov, Alessandra Carbone, Samir Chopra, Melvin Fitting, Konstantinos Georgatos, Larry Moss, Eric Pacuit, Laxmi Parida and Rohit Parikh.

Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.

For more information, see http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/

Thursday will feature a Computer Science Colloquium, and talks by Jan van Eijck (Amsterdam) and Stephen Neale, (Graduate Center CUNY), followed by a wine and cheese reception and then a conference dinner at Vatan Indian Vegetarian.

Friday will feature talks by Sergei Artemov, Alessandra Carbone, Samir Chopra, Melvin Fitting, Konstantinos Georgatos, Larry Moss, Eric Pacuit, Laxmi Parida and Rohit Parikh.

Organized by the center for Logic, Language, and Cognition at the University of Turin.

The Institute for Logic, Language and Computation will host a workshop on 'Intensionality and Truth', on the 3rd and 4th of December 2016.

The workshop aims at bringing together some of the various ways in which the notions of intensionality and truth have interacted in recent work. The following speakers have confirmed participation:
Albert Visser (Utrecht), Johannes Stern (Bristol), Carlo Nicolai (Munich), Hannes Leitgeb (Munich), Volker Halbach (Oxford), Martin Fischer (Munich), Catrin Campbell-Moore (Bristol), Theodora Achourioti (Amsterdam). Titles and schedule for the talks will be posted on the workshop website.

The workshop is supported by the Logic and Language research group of the ILLC. Attendance is free.

The Institute for Logic, Language and Computation will host a workshop on 'Intensionality and Truth', on the 3rd and 4th of December 2016.

The workshop aims at bringing together some of the various ways in which the notions of intensionality and truth have interacted in recent work. The following speakers have confirmed participation:
Albert Visser (Utrecht), Johannes Stern (Bristol), Carlo Nicolai (Munich), Hannes Leitgeb (Munich), Volker Halbach (Oxford), Martin Fischer (Munich), Catrin Campbell-Moore (Bristol), Theodora Achourioti (Amsterdam). Titles and schedule for the talks will be posted on the workshop website.

The workshop is supported by the Logic and Language research group of the ILLC. Attendance is free.

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/

WOLC'2016 is the 15th anniversary of the international conference on logic and cognition that was launched in canton in 2001. It is sponsored and organized by the Institute of Logic and Cognition, which is one of the key research institutes of humanities and social sciences in Universities affiliated to the Chinese Ministry of Education. The 8th conference will be held in Guangzhou in December 2016. The topic of the conference is non-classical logics and their applications. Non-classical logics are the subject of a wide research area with a strong interdisciplinary vocation towards theoretical computer science and linguistics, but which has recently expanded its scope towards economics and the social and cognitive sciences. This conference will focus on the state-of-the-art of nonclassical logics, both concerning their theory and their applications.

For more information, see http://logic.sysu.edu.cn/wolc2016/ or email linzhe8 at mail.sysu.edu.cn.

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/

WOLC'2016 is the 15th anniversary of the international conference on logic and cognition that was launched in canton in 2001. It is sponsored and organized by the Institute of Logic and Cognition, which is one of the key research institutes of humanities and social sciences in Universities affiliated to the Chinese Ministry of Education. The 8th conference will be held in Guangzhou in December 2016. The topic of the conference is non-classical logics and their applications. Non-classical logics are the subject of a wide research area with a strong interdisciplinary vocation towards theoretical computer science and linguistics, but which has recently expanded its scope towards economics and the social and cognitive sciences. This conference will focus on the state-of-the-art of nonclassical logics, both concerning their theory and their applications.

For more information, see http://logic.sysu.edu.cn/wolc2016/ or email linzhe8 at mail.sysu.edu.cn.

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/

WOLC'2016 is the 15th anniversary of the international conference on logic and cognition that was launched in canton in 2001. It is sponsored and organized by the Institute of Logic and Cognition, which is one of the key research institutes of humanities and social sciences in Universities affiliated to the Chinese Ministry of Education. The 8th conference will be held in Guangzhou in December 2016. The topic of the conference is non-classical logics and their applications. Non-classical logics are the subject of a wide research area with a strong interdisciplinary vocation towards theoretical computer science and linguistics, but which has recently expanded its scope towards economics and the social and cognitive sciences. This conference will focus on the state-of-the-art of nonclassical logics, both concerning their theory and their applications.

For more information, see http://logic.sysu.edu.cn/wolc2016/ or email linzhe8 at mail.sysu.edu.cn.

WOLC'2016 is the 15th anniversary of the international conference on logic and cognition that was launched in canton in 2001. It is sponsored and organized by the Institute of Logic and Cognition, which is one of the key research institutes of humanities and social sciences in Universities affiliated to the Chinese Ministry of Education. The 8th conference will be held in Guangzhou in December 2016. The topic of the conference is non-classical logics and their applications. Non-classical logics are the subject of a wide research area with a strong interdisciplinary vocation towards theoretical computer science and linguistics, but which has recently expanded its scope towards economics and the social and cognitive sciences. This conference will focus on the state-of-the-art of nonclassical logics, both concerning their theory and their applications.

For more information, see http://logic.sysu.edu.cn/wolc2016/ or email linzhe8 at mail.sysu.edu.cn.

Three of the main conferences on automated reasoning -- TABLEAUX, FroCoS, and ITP - will be held in Brasilia, Brazil, between 25 and 29 September 2017. Following the long tradition of those events, we invite researchers and practitioners to submit proposals for co-located workshops and in-depth tutorials on topics relating to automated theorem proving and its applications. Workshops/tutorials can target the automated reasoning community in general, focus on a particular theorem proving system, or highlight more specific issues or recent developments.

Proposals are invited to be submitted by email no later than 9 December 2016.

Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) can participate in informational content, or influence its flow as information conveyors and interpreters.

This Special Session at ICAART 2017 covers theoretical work, advanced applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

WOLC'2016 is the 15th anniversary of the international conference on logic and cognition that was launched in canton in 2001. It is sponsored and organized by the Institute of Logic and Cognition, which is one of the key research institutes of humanities and social sciences in Universities affiliated to the Chinese Ministry of Education. The 8th conference will be held in Guangzhou in December 2016. The topic of the conference is non-classical logics and their applications. Non-classical logics are the subject of a wide research area with a strong interdisciplinary vocation towards theoretical computer science and linguistics, but which has recently expanded its scope towards economics and the social and cognitive sciences. This conference will focus on the state-of-the-art of nonclassical logics, both concerning their theory and their applications.

For more information, see http://logic.sysu.edu.cn/wolc2016/ or email linzhe8 at mail.sysu.edu.cn.

The workshop brings together established leaders and promising young scientists in the fields of neural computation, logic and artificial intelligence, knowledge representation, natural language understanding, machine learning, cognitive science and computational neuroscience. Invited lectures by senior researchers will be complemented with presentations based on contributed papers reporting recent work (following an open call for papers) and a poster session, giving ample opportunity for participants to interact and discuss the complementary perspectives and emerging approaches.

The workshop targets a single broad theme of general interest to the vast majority of the NIPS community, namely translations between connectionist models and symbolic knowledge representation and reasoning for the purpose of achieving an effective integration of neural learning and cognitive reasoning, called neural-symbolic computing. The study of neural-symbolic computing is now an established topic of wider interest to NIPS with topics that are relevant to almost everyone studying neural information processing.

The Royal Dutch Mathematical Society (KWG) invites you to the symposium L.E.J. Brouwer, fifty years later at the Science Park in Amsterdam on the 9th of December 2016, 9:45-16:45.

We have put together an interesting programme with highly renowned speakers, viz. Dirk van Dalen, Mark van Atten, Sergei Artemov, Alexander Dranishnikov, Saul Kripke, Yiannis Moschovakis, Michael Rathjen, and Raf Bocklandt. Participation is free but registration is required.

Nowadays, there are more paradigms competing in machine translation including statistical (phrase-based, hierarchical and syntax-based), neural-based and rule-based. Each of them has their own advantages and disadvantages which make it worth the research on hybridization, integration and/or combination of approaches. Given that academic and industry perspectives may differ on the opinion of which are the most suitable paradigms, HyTra gives a strong relevance to the participation of both in the workshop. The fact that machine translation is a highly interdisciplinary field (including engineers, computer scientists, mathematicians, translators, linguists?), specially in the research of hybridization, enriches the workshop in its discussions, proceedings, invited talks and, even, in one contributed volume published by Springer.

In this edition, HyTRA (in conjunction with COLING 2016) will specially focus on motivating the cooperation and interaction between the different human components, as well as to foster innovation and creativity in the Hybrid Machine Translation research community. That is why we encourage the participation of the different integrating fields (engineers, computer scientists, mathematicians, translators, linguists either from academy or industry) to contribute to our special call of shared task proposals.

For more information, see http://glicom.upf.edu/hytra6/ or contact Patrik Lambert at patrik.lambert at gmail.com.

The COLING conference has a history that dates back to the 1960s. It is held every two years and regularly attracts more than 700 delegates. The conference has developed into one of the premier Natural Language Processing (NLP) conferences worldwide and is a major international event for the presentation of new research results and for the demonstration of new systems and techniques in the broad field of Computational Linguistics and NLP.

For more information, see http://coling2016.anlp.jp/

The COLING conference has a history that dates back to the 1960s. It is held every two years and regularly attracts more than 700 delegates. The conference has developed into one of the premier Natural Language Processing (NLP) conferences worldwide and is a major international event for the presentation of new research results and for the demonstration of new systems and techniques in the broad field of Computational Linguistics and NLP.

For more information, see http://coling2016.anlp.jp/

The goal of COGALEX is to provide a forum for researchers in NLP, psychologists, computational lexicographers and users of lexical resources to share their knowledge and needs concerning the construction, organization and use of a lexicon by people (lexical access) and machines (NLP, IR, data-mining).

This workshop is about possible enhancements of lexical resources and electronic dictionaries, as well as on any aspect relevant to the achieve a better understanding of the mental lexicon and semantic memory. Chris Biemann, well known among other things for his work on graph-based NLP, has kindly accepted to give the invited talk. Like in the past (2004, 2008, 2010, 2012 and 2014), we will invite researchers to address various unsolved problems, by putting this time stronger emphasis though on distributional semantics (DS). Indeed, we would like to see work showing the relevance of DS as a cognitive model of the lexicon.

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.

The COLING conference has a history that dates back to the 1960s. It is held every two years and regularly attracts more than 700 delegates. The conference has developed into one of the premier Natural Language Processing (NLP) conferences worldwide and is a major international event for the presentation of new research results and for the demonstration of new systems and techniques in the broad field of Computational Linguistics and NLP.

For more information, see http://coling2016.anlp.jp/

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.

The COLING conference has a history that dates back to the 1960s. It is held every two years and regularly attracts more than 700 delegates. The conference has developed into one of the premier Natural Language Processing (NLP) conferences worldwide and is a major international event for the presentation of new research results and for the demonstration of new systems and techniques in the broad field of Computational Linguistics and NLP.

For more information, see http://coling2016.anlp.jp/

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.

The major premise of the Scientiae conference series is that knowledge in the early modern world (roughly 1400-1800) was inherently interdisciplinary, involving complex mixtures of theories, practices and objects, which had yet to be separated into their modern 'scientific' configurations. Although centred on attempts to understand and control the natural world, Scientiae addresses natural philosophy, natural history, and the scientiae mixtae within a wide range of related fields, including but not restricted to Biblical exegesis, medicine, artisan practice and theory, logic, humanism, alchemy, magic, witchcraft, demonology, divinatory practices, astronomy, astrology, music, antiquarianism, experimentation and commerce.

This year attention is especially given to the history of early modern knowledge and erudition, the history of universities, particularly though not exclusively the history of the university of Padua, as well as the history of the book and the history of political thought. Our Keynote Speakers will be Paula Findlen (Stanford), Claire Preston (QM London), and Antonio Clericuzio (Roma Tre).

The notion of logical consequence has been traditionally analysed as necessary truth-preservation, and such an analysis is at the core of contemporary model-theoretic approaches to semantics. An alternative approach to semantics is inferentialism, according to which the notions of inference and proof should play a more fundamental role than those of reference, truth and satisfaction in the construction of a semantic theory.

Inferentialism has mostly been developed in opposition to the more traditional semantic approach. However, the tight relationships between the basic concepts involved in the two approaches suggest a more complex interplay than mere opposition. Many of the central notions (e.g. admissibility) and results (e.g. interpolation) in logic usually have both a model-theoretic and a proof-theoretic dimension. Moreover, the notions of truth and proof, when conceived as the central notions of a theory of meaning, share many of their core features.

This complex interplay between truth and proof can be found in current debates on paradoxes as well. Solutions to paradoxes are motivated sometimes by traditional semantic considerations, sometimes by considerations about the structural features of our inferential practices. Plausibly, a thorough understanding of paradoxes requires resources coming from both model-theoretic and inferential conceptions of language and meaning.

The aim of the workshop is to bring together researchers working on different aspects of logical consequence and paradoxes to exchange ideas and methods and discuss recent results.

The COLING conference has a history that dates back to the 1960s. It is held every two years and regularly attracts more than 700 delegates. The conference has developed into one of the premier Natural Language Processing (NLP) conferences worldwide and is a major international event for the presentation of new research results and for the demonstration of new systems and techniques in the broad field of Computational Linguistics and NLP.

For more information, see http://coling2016.anlp.jp/

The Institute for Logic, Language, and Computation at the University of Amsterdam hosts a workshop on Provability and Modal Logic.

Experts in the field of provability logic and related areas wil give talks on topics related to arithmetic, proof theory, and modal logic.

Attendance is free, but registration is required. In order to register, please send a mail to paulahenk at gmail.com before December the 9th.

The COLING conference has a history that dates back to the 1960s. It is held every two years and regularly attracts more than 700 delegates. The conference has developed into one of the premier Natural Language Processing (NLP) conferences worldwide and is a major international event for the presentation of new research results and for the demonstration of new systems and techniques in the broad field of Computational Linguistics and NLP.

For more information, see http://coling2016.anlp.jp/

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.

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

In this workshop we aim to bring together philosophers, computational modelers, and cognitive (neuro)scientists to present and discuss different perspectives on levels of explanation. The goal is to build common ground on both the theoretical issues related to levels of explanation in cognitive science and how they inform and guide the daily practice of studying the mind and brain. There will be four invited talks and ample opportunity for discussion. Attendance is free of charge, registration is required. Lunch will be provided.

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.

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

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.

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

Progic 2017 is the 8th Workshop in the series of workshops focusing on the combination of logic and probability. Progic 2017 will focus on 'severe uncertainity'.

Given the success of the conference "Capturing Phylogenetic Algorithms for Linguistics " in Leiden in October 2015 a follow up event will be held in Tuebingen on March 27-31, 2017. It will be hosted by the Institute of Linguistics of Tuebingen University. The first two days of the conference will be directed especially towards PhD students.

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

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