As part of the celebrations of Boole's bicentenary, the George Boole Mathematical Sciences (GBMS) Conference will be held in University College Cork (UCC) during the last two weeks of August 2015. George Boole (1815 ' 1864) was the first professor of mathematics at Cork. Boole's efforts to mathematize logical thinking caused a lasting paradigm shift in the 19th century which enlarged the scope and potency of modern mathematics, and provided a wealth of ideas for applications in diverse scientific areas resulting in ground-breaking innovations during the 20th century and beyond.

This event will include 100-150 lectures on selected areas, and embed the folllowing events:
- 2015 Annual Meeting of the Irish Mathematical Society (IMS)
- Domains XII
- When Boole Meets Shannon

Information on the GBMS conference program is available at: http://booleconferences.ucc.ie/gbmsc2015

Ever since philosophers first started formulating theories of science those theories have been compared with (reconstructions of) episodes in the history of science. On this issue one finds heated discussion in the 1960s and 70s, when some sought to turn philosophy into a testable enterprise, with history taking the place of scientific experiment. The purpose of this workshop is to bring this debate back to the table, assessing it in light of the fact that so many contemporary debates in the philosophy of science make implicit assumptions about how history of science can bear on philosophy of science.

This is a one-day workshop, 21st September 2015, organised by The Oulu Centre for Theoretical and Philosophical Studies of History and the AHRC project 'Contemporary Scientific Realism and the Challenge from the History of Science. The event is designed to bring together historians and philosophers of science. Keynote Speakers: James McAllister (Leiden), Helge Kragh (Aarhus), Katherina Kinzel (Vienna) and Bart Karstens (Amsterdam).

Please find more information on this workshop at http://community.dur.ac.uk/evaluating.realism/events03.html.

KI 2015 is the 38th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system technology. The technical program of KI 2015 will comprise paper and poster presentations, a variety of workshops, and a doctoral consortium.

For more information, see http://ki2015.computational-logic.org/

This workshop brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. The workshop will be preceded by tutorials

For more information, see http://www.cs.ox.ac.uk/qpl2015/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 3-8 August 2015. Logic Colloquium 2015 is co-located with the 15th Conference of Logic, Methodology and Philosophy of Science (CLMPS 2015), and with the SLS Summer School in Logic.

For more information, see http://www.helsinki.fi/lc2015/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. The workshop is planned to serve two mutually supporting purposes. Primarily, it will be a mini-conference, hosting talks and discussions, and facilitating exchange of information, research ideas, and publication of original research papers on issues listed below. Secondly, the workshop will provide a meeting forum for the research community working on various logical aspects of MAS. The participants will discuss how the community can support coordination of research and dissemination of results.

For more information, see http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm

We are pleased to announce that the *Twentieth Anniversary Conference Applications of Logic in Philosophy and the Foundations of Mathematics* will be held in Szklarska Poreba from May 4 to May 8, 2015. 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 detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website http://www.klmn.uni.wroc.pl/conference.html.

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://www.aamas2015.com/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. The workshop is planned to serve two mutually supporting purposes. Primarily, it will be a mini-conference, hosting talks and discussions, and facilitating exchange of information, research ideas, and publication of original research papers on issues listed below. Secondly, the workshop will provide a meeting forum for the research community working on various logical aspects of MAS. The participants will discuss how the community can support coordination of research and dissemination of results.

For more information, see http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm

We are pleased to announce that the *Twentieth Anniversary Conference Applications of Logic in Philosophy and the Foundations of Mathematics* will be held in Szklarska Poreba from May 4 to May 8, 2015. 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 detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website http://www.klmn.uni.wroc.pl/conference.html.

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://www.aamas2015.com/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

We are pleased to announce that the *Twentieth Anniversary Conference Applications of Logic in Philosophy and the Foundations of Mathematics* will be held in Szklarska Poreba from May 4 to May 8, 2015. 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 detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website http://www.klmn.uni.wroc.pl/conference.html.

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://www.aamas2015.com/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

We are pleased to announce that the *Twentieth Anniversary Conference Applications of Logic in Philosophy and the Foundations of Mathematics* will be held in Szklarska Poreba from May 4 to May 8, 2015. 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 detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website http://www.klmn.uni.wroc.pl/conference.html.

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://www.aamas2015.com/

This two-day workshop at the University of Amsterdam brings together researchers, scholars, and students to engage in discussions about Quantum Logic, Foundations of Quantum Physics, and Quantum Information Theory.

For more information, see http://events.illc.uva.nl/AQL/AQL15/.

Explanation is one of the central goals of scientific research and abduction is a type of inference in which explanation plays a key role. Thus far, most philosophers will agree. When we consider more specific claims, however, many questions are still open to debate. What are the different forms of explanation and of abduction? How do these interrelate? To what extent are they open for formal explication? What about the relation to other notions, such as confirmation, induction, IBE, causality, belief revision, ...? The aim of this interdisciplinary workshop is to further our understanding of these notions and of their interrelations.

For more information, see http://www.lrr.ugent.be/

Quantifiers play an important role in language extensions of many logics. The use of quantifiers often allows for a more succinct encoding as it would be possible without quantifiers. However, the introduction of quantifiers affects the complexity of the extended formalism in general. Consequently, theoretical results established for the quantifier-free formalism may not directly be transferred to the quantified case. Further, techniques successfully implemented in reasoning tools for quantifier-free formulas cannot directly be lifted to a quantified version.

The goal of the 2nd International Workshop on Quantification (QUANTIFY 2015) is to bring together researchers who investigate the impact of quantification from a theoretical as well as from a practical point of view. Quantification is a topic in different research areas such as in SAT in terms of QBF, in CSP in terms of QCSP, in SMT, etc. This workshop has the aim to provide an interdisciplinary forum where researchers of various fields may exchange their experiences.

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

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

We are pleased to announce that the *Twentieth Anniversary Conference Applications of Logic in Philosophy and the Foundations of Mathematics* will be held in Szklarska Poreba from May 4 to May 8, 2015. 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 detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website http://www.klmn.uni.wroc.pl/conference.html.

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://www.aamas2015.com/

This two-day workshop at the University of Amsterdam brings together researchers, scholars, and students to engage in discussions about Quantum Logic, Foundations of Quantum Physics, and Quantum Information Theory.

For more information, see http://events.illc.uva.nl/AQL/AQL15/.

Explanation is one of the central goals of scientific research and abduction is a type of inference in which explanation plays a key role. Thus far, most philosophers will agree. When we consider more specific claims, however, many questions are still open to debate. What are the different forms of explanation and of abduction? How do these interrelate? To what extent are they open for formal explication? What about the relation to other notions, such as confirmation, induction, IBE, causality, belief revision, ...? The aim of this interdisciplinary workshop is to further our understanding of these notions and of their interrelations.

For more information, see http://www.lrr.ugent.be/

The Dutch Organization for Logic and Philosophy of Science (VvL) and the Descartes Centre for the History and Philosophy of Science would like to invite you to attend the symposium "Boole 200" on the occasion of George Boole's 200th birthday.

For more information and a program, see http://www.verenigingvoorlogica.nl/activiteiten.shtml or here.

Toy models are ubiquitous in the natural and social sciences - prominent examples include the Ising model in physics, the Lotka-Volterra model in the life sciences, and the Schelling model in the social sciences. It is characteristic of toy models that they simplify radically and often succeed in identifying the crucial features that produce a phenomenon. Toy models play an important and, though, insufficiently appreciated role in philosophy of science. This workshop addresses several questions regarding the epistemic functions of toy models in the natural and social sciences.

DATES AND REGISTRATION:

Workshop Date: May 8-9, 2015

Everyone is welcome to attend! Please e-mail the organizers in advance. For more information, see http://www.lmu.de/justplaying2015

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

Toy models are ubiquitous in the natural and social sciences - prominent examples include the Ising model in physics, the Lotka-Volterra model in the life sciences, and the Schelling model in the social sciences. It is characteristic of toy models that they simplify radically and often succeed in identifying the crucial features that produce a phenomenon. Toy models play an important and, though, insufficiently appreciated role in philosophy of science. This workshop addresses several questions regarding the epistemic functions of toy models in the natural and social sciences.

DATES AND REGISTRATION:

Workshop Date: May 8-9, 2015

Everyone is welcome to attend! Please e-mail the organizers in advance. For more information, see http://www.lmu.de/justplaying2015

The 11th Syntax and Semantics Conference in Paris (CSSP 2015) will take place on October 8-10th, 2015 at Université Paris 7 - Paris Diderot. CSSP conferences combine a general session and a thematic session. The thematic session will focus on the issue of 'Global or genre/domain-dependent grammar'.

For more information, see http://www.cssp.cnrs.fr/cssp2015/index_en.html

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

ALT-2015 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 18th International Conference on Discovery Science (DS 2015).

For more information, see http://www.comp.nus.edu.sg/~fstephan/alt/alt2015/. or contact the PC co-chairs via the email alt2015 at easychair.org.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

PhDs in Logic is an annual graduate conference organized by local graduate students. Its aim is to bring together graduate students and researchers as well as to foster contact between graduate students. This year, the conference includes tutorials by Thomas Eiter (Vienna University of Technology), Michael Moortgat (Universiteit Utrecht), Revantha Ramanayake (Vienna University of Technology) and Torsten Schaub (University Potsdam).

For more information, see http://phdsinlogic.logic-cs.at/. In case you have any questions, please do not hesitate to contact us via phdsinlogic at gmail.com

The Department of English and General Linguistics at University of Lodz announces the Fourth International Conference on Philosophy of Language and Linguistics (PhiLang2015). The principal aim of our Conference is to bring together philosophers, logicians and linguists.

For more information, see http://www.csk.uni.lodz.pl/

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

The Entia et Nomina V workshop will be preceded by the 4th workshop of The Budapest-Krakow Research Group on Probability, Causality and Determinism (http://bp-k.tumblr.com/), which will take place on the 7th and 8th of September at the same venue. We welcome anyone interested in these topics to visit that workshop too!

For more information, see the conference website at http://entia2015.tumblr.com/.

The bi-annual meeting of the German Society for Computational Linguistics and Language Technology (GSCL) in 2015 will take place from September 30 to October 2 at the University of Duisburg-Essen. The main conference theme is "Deep vs. shallow?".

For more information, see http://www.gscl.org/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

PhDs in Logic is an annual graduate conference organized by local graduate students. Its aim is to bring together graduate students and researchers as well as to foster contact between graduate students. This year, the conference includes tutorials by Thomas Eiter (Vienna University of Technology), Michael Moortgat (Universiteit Utrecht), Revantha Ramanayake (Vienna University of Technology) and Torsten Schaub (University Potsdam).

For more information, see http://phdsinlogic.logic-cs.at/. In case you have any questions, please do not hesitate to contact us via phdsinlogic at gmail.com

The Department of English and General Linguistics at University of Lodz announces the Fourth International Conference on Philosophy of Language and Linguistics (PhiLang2015). The principal aim of our Conference is to bring together philosophers, logicians and linguists.

For more information, see http://www.csk.uni.lodz.pl/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

PhDs in Logic is an annual graduate conference organized by local graduate students. Its aim is to bring together graduate students and researchers as well as to foster contact between graduate students. This year, the conference includes tutorials by Thomas Eiter (Vienna University of Technology), Michael Moortgat (Universiteit Utrecht), Revantha Ramanayake (Vienna University of Technology) and Torsten Schaub (University Potsdam).

For more information, see http://phdsinlogic.logic-cs.at/. In case you have any questions, please do not hesitate to contact us via phdsinlogic at gmail.com

The Department of English and General Linguistics at University of Lodz announces the Fourth International Conference on Philosophy of Language and Linguistics (PhiLang2015). The principal aim of our Conference is to bring together philosophers, logicians and linguists.

For more information, see http://www.csk.uni.lodz.pl/

Historians of logic have known for decades that the 14th century was a tremendously productive period in the Latin West. As far as the relationship between logic and metaphysics is concerned, however, research has tended to focus on the nominalist tradition associated with Ockham and Buridan. The aim of this workshop is to redress the balance a little by focussing instead on the realist tradition that spans the 14th century. We have singled out for special mention the influential figure of John Wyclif, whose Logic is currently being re-edited here at St Andrews, but we welcome contributions involving other figures from Walter Burley to Paul of Venice.

For more information, see http://www.st-andrews.ac.uk/arche/events/event?id=866

The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in multiagent systems and agent-based computing with prototyped or fielded systems in various application domains.

In 2015 the MATES conference will be co-located with the 45th Symposium of the German Computer Science Association GI (INFORMATIK 2015). Moreover, the event will also host a Doctoral Consortium to support young researchers of this broad field in their PhD studies.

For more information, see http://www.mates2015.de/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

Historians of logic have known for decades that the 14th century was a tremendously productive period in the Latin West. As far as the relationship between logic and metaphysics is concerned, however, research has tended to focus on the nominalist tradition associated with Ockham and Buridan. The aim of this workshop is to redress the balance a little by focussing instead on the realist tradition that spans the 14th century. We have singled out for special mention the influential figure of John Wyclif, whose Logic is currently being re-edited here at St Andrews, but we welcome contributions involving other figures from Walter Burley to Paul of Venice.

For more information, see http://www.st-andrews.ac.uk/arche/events/event?id=866

St. Louis Annual Conference on Reasons and Rationality provides a forum for new work on practical and theoretical reason, broadly construed. Keynote Speaker: Pamela Hieronymi (UCLA).

For more information, see http://www.umsl.edu/~slacrr/ or email slacrr at gmail.com.

BLAST (Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic & Point-free Topology) is an annual conference sponsored by the National Science Foundation that has been running since 2008. The University of North Texas is proud to host the BLAST conference this year and looks forward to your participation.

BLAST2015@UNT will feature tutorials by Agata Ciabattoni James Cummings Ralph McKenzie and Slawomir Solecki, as well as invited talks by Clifford Bergman, Alan Dow, Michael Hrusak, Peter Jipsen, Aleksandra Kwiatkowska, Dilip Raghavan, Hiroshi Sakai and Grigor Sargsyan.

Deadline for registrations: May 25, 2015. For more information, please visit http://math.unt.edu/BLAST2015@UNT or email BLAST2015 at UNT.EDU.

The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

For detailed conference information and registration, please visit the website of LORI-V at https://www.yoursaas.cc/websites/36224472513387025486/. All inquiries concerning the submission of papers should be addressed to Wiebe van der Hoek (wiebe at liverpool.ac.uk) and Wesley Holliday (wesholliday at berkeley.edu). For questions concerning conference details, please contact conferenceonlogic at gmail.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

St. Louis Annual Conference on Reasons and Rationality provides a forum for new work on practical and theoretical reason, broadly construed. Keynote Speaker: Pamela Hieronymi (UCLA).

For more information, see http://www.umsl.edu/~slacrr/ or email slacrr at gmail.com.

One of the central questions in philosophy of language and linguistic semantics in the 20th century was how we refer using proper names. Contemporary work on these issues is being conducted by both linguists and philosophers, and the nature of the topic and some of the recalcitrant problems facing extant accounts call for their collaborative interaction. Accordingly, our invited participants include scholars from both fields. The workshop will consist of six extended sessions over two days, each led by one of our invited speakers, with ample time for discussion and interaction with the distinguished group of invited discussants.

Please let us know by May 5th if you would like to attend, so we can plan accordingly. For more information and a registration form, see http://ias.ceu.edu/node/43092 or contact croberts at ling.osu.edu or zvolenszky at elte.hu.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

St. Louis Annual Conference on Reasons and Rationality provides a forum for new work on practical and theoretical reason, broadly construed. Keynote Speaker: Pamela Hieronymi (UCLA).

For more information, see http://www.umsl.edu/~slacrr/ or email slacrr at gmail.com.

One of the central questions in philosophy of language and linguistic semantics in the 20th century was how we refer using proper names. Contemporary work on these issues is being conducted by both linguists and philosophers, and the nature of the topic and some of the recalcitrant problems facing extant accounts call for their collaborative interaction. Accordingly, our invited participants include scholars from both fields. The workshop will consist of six extended sessions over two days, each led by one of our invited speakers, with ample time for discussion and interaction with the distinguished group of invited discussants.

Please let us know by May 5th if you would like to attend, so we can plan accordingly. For more information and a registration form, see http://ias.ceu.edu/node/43092 or contact croberts at ling.osu.edu or zvolenszky at elte.hu.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The Formal Epistemology Workshop will be held in connection with the 2015 meeting of the St. Louis Annual Conference on Reasons and Rationality (SLACRR), which will take place immediately before, from May 17-19, 2015.

There will be conference sessions all day on May 20 & 21, and in the morning on May 22. Keynote speakers: Tom Kelly (Princeton), Jeff Horty (University of Maryland, College Park).

For more information, see the conference webpage at https://sites.google.com/site/juliastaffelphilosophy/few.

We will have a session with two speakers. You are kindly invited to attend.

Speaker 1: Jeroen Goudsmit (Utrecht University)
Title: Finite frames fail: How Infinity Works its Way into the Semantics of Admissibility

Speaker 2: Rutger Kuyper (Radboud University Nijmegen)
Title: Intuitionistic logic, computability, and the Medvedev and Muchnik lattices

For more information, see http://phil.uu.nl/piia/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The Formal Epistemology Workshop will be held in connection with the 2015 meeting of the St. Louis Annual Conference on Reasons and Rationality (SLACRR), which will take place immediately before, from May 17-19, 2015.

There will be conference sessions all day on May 20 & 21, and in the morning on May 22. Keynote speakers: Tom Kelly (Princeton), Jeff Horty (University of Maryland, College Park).

For more information, see the conference webpage at https://sites.google.com/site/juliastaffelphilosophy/few.

The list of speakers includes Ulrich Berger (Swansea), Jean-Yves Girard (Luminy), John Longley (Edinburgh), Jan von Plato (Helsinki), Wolfram Pohlers (Munster), Michael Rathjen (Leeds) and Stan S. Wainer (Leeds).

The symposium is co-located with the Workshop PCC 2015 May 23-24, 2015 and following the Abel Prize Award Ceremony, May 19, 2015 and the Abel Lectures and Science Lecture, May 20, 2015.

For more information, see http://www.mn.uio.no/math/english/research/groups/logic/events/conferences/

Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses.

This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification community (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.

For more information, see http://www.andrew.cmu.edu/user/arieg/hcvs15/

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.

Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome. Abstract submission deadline: May 22, 2015.

For more information, see http://gandalf2015.dibris.unige.it/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The Formal Epistemology Workshop will be held in connection with the 2015 meeting of the St. Louis Annual Conference on Reasons and Rationality (SLACRR), which will take place immediately before, from May 17-19, 2015.

There will be conference sessions all day on May 20 & 21, and in the morning on May 22. Keynote speakers: Tom Kelly (Princeton), Jeff Horty (University of Maryland, College Park).

For more information, see the conference webpage at https://sites.google.com/site/juliastaffelphilosophy/few.

The list of speakers includes Ulrich Berger (Swansea), Jean-Yves Girard (Luminy), John Longley (Edinburgh), Jan von Plato (Helsinki), Wolfram Pohlers (Munster), Michael Rathjen (Leeds) and Stan S. Wainer (Leeds).

The symposium is co-located with the Workshop PCC 2015 May 23-24, 2015 and following the Abel Prize Award Ceremony, May 19, 2015 and the Abel Lectures and Science Lecture, May 20, 2015.

For more information, see http://www.mn.uio.no/math/english/research/groups/logic/events/conferences/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

For more information, see http://www.mn.uio.no/math/english/research/groups/logic/events/conferences/.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

For more information, see http://www.mn.uio.no/math/english/research/groups/logic/events/conferences/.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. This inter-disciplinary workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative, such as the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.

CMN 2015 will be co-located with the Third Annual Conference on Advances in Cognitive Systems (ACS 2015). The workshop will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative. Invited Speaker: Janet H. Murray (Georgia Institute of Technology, USA)

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

Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. The aim of this workshop series is to address the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.

This year's workshop is associated with the Third Annual Conference on Advances in Cognitive Systems (ACS), and will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative.

This workshop .

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

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. This inter-disciplinary workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative, such as the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.

CMN 2015 will be co-located with the Third Annual Conference on Advances in Cognitive Systems (ACS 2015). The workshop will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative. Invited Speaker: Janet H. Murray (Georgia Institute of Technology, USA)

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

Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. The aim of this workshop series is to address the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.

This year's workshop is associated with the Third Annual Conference on Advances in Cognitive Systems (ACS), and will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative.

This workshop .

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

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. This inter-disciplinary workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative, such as the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.

CMN 2015 will be co-located with the Third Annual Conference on Advances in Cognitive Systems (ACS 2015). The workshop will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative. Invited Speaker: Janet H. Murray (Georgia Institute of Technology, USA)

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

Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. The aim of this workshop series is to address the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.

This year's workshop is associated with the Third Annual Conference on Advances in Cognitive Systems (ACS), and will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative.

This workshop .

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

On May 29th, Jeroen Goudsmit will defend his dissertation "Intuitionistic Rules", written under the supervision of Albert Visser and Rosalie Iemhoff in the project "The Power of Constructive Proofs". This conference is held on the occasion of said defense. The members of the doctoral examination committee will give talks on their areas of expertise, and the conference ends with a talk by Jeroen on his thesis, in which he studies the admissible rules of intermediate logics.

Speakers: Dick de Jongh, George Metcalfe, Nick Bezhanishvili, Silvio Ghilardi, Albert Visser, Rosalie Iemhoff, and Jeroen Goudsmit.

For more information, see http://jeroengoudsmit.com/theories-and-rules/

The workshop is concerned with the semantics of gradability, scale structure and vagueness from an experimental perspective.

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

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

The workshop is concerned with the semantics of gradability, scale structure and vagueness from an experimental perspective.

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

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.

SOPhiA 2015 provides an opportunity for students and doctoral candidates in philosophy to take a first peek into the philosophical business and to get in touch with prospective or well established philosophers. Contributions in every discipline of philosophy (epistemology, ethics, logic, metaphysics, philosophy of religion, philosophy of science, etc.) are welcome. As common in analytic philosophy, contributors should make use of understandable language as well as rational argumentation. In addition to the conference presentations there will also be three affiliated workshops on selected topics in analytic philosophy.

Keynote Speakers: Christopher Gauker, Friederike Moltmann, Sonja Smets and Ulla Wessels

For more information, see http://www.sophia-conference.org/

For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.

Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.

The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.