The "experimental philosophy" movement has recently gained some momentum in the philosophical community. The movement's basic idea is to introduce experimental methods (other than thought experiments) or, more broadly conceived, empirical methods to philosophy. This workshop brings together researchers who implement empirical methods from linguistics in philosophical research.

Although the focus of the workshop is on the use of such methods in philosophy, both philosophers and linguists will be involved. Each of the workshop sessions will open with a paper demonstrating the application of a specific linguistic method in philosophy. This paper will be followed by two peer commentaries, one by a linguist, the other by a philosopher. The primary purpose of the workshop is exploratory: The potential applications, the benefits and the limits of linguistic methods in philosophy stand in need of clarification. The secondary purpose is to create a networking opportunity for researchers who employ (and those who intend to employ) empirical methods from linguistics in philosophy.

For more information, see the workshop page at PhilEvents: http://philevents.org/event/show/11885.

The purpose of this workshop is to bring together philosophers, mathematicians, and mathematics educators to study a question which is both relevant and timely for all three groups, namely whether mathematical beauty and mathematical explanation are related.

Our approach is largely empirical- we will develop a set of examples that will help us make necessary distinctions and connections. The central questions of the workshop fall into three classes. One class concerns relations between beauty and visualization in mathematics; the other class concerns relations between explanation and visualization in mathematics. The third, perhaps most intriguing, class deals with the question whether visualization is an essential link between explanation and beauty and mathematics, that is: When some mathematics is both beautiful and explanatory, does the conjunction depend on the presence of a visual element?

In addition to the scientific aims of the workshop, an important goal is to reach across normally rigid disciplinary domains to work on an area of common interest. We have invited top people from respective fields, some of whom know each other, but others (even within the same field) have never read each other s work.

For more information, see the workshop website at http://mathbeauty.wordpress.com/wbem/

There are different ways of reporting what someone else has said. Common forms of speech reports are direct speech (Mary said 'I am sick') and indirect speech (Mary said that she is sick). Pretense and role play are closely related phenomena. Like in direct speech, someone engaging in role play adopts the perspective of another person and produces utterances from that shifted standpoint (I am sick). Another interesting parallel is that children start to use speech reports and to engage in role play at around the same time, namely at two to three years of age. This is well before they pass standard false belief tests (at around four) which are often taken to be the hallmark of Theory of Mind and metarepresentation. Since at least some forms of reported speech exhibit recursion, intensionality, and/or clausal embedding, this developmental gap may shed new light on the debate over the relationship between Theory of Mind and the syntax/semantics of recursive embedding. The aim of the conference is to discuss the cognitive and conceptual relationship of reported speech, pretense and cognitive abilities such as perspective-taking, metarepresentation and Theory of Mind.

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

Playing a central role for all philosophical and scientific inquiry, the notion of truth has always posed various puzzles to philosophers and logicians. Answering questions such as what makes some things true as opposed to false or what kind of things can count as true or false requires a genuine understanding of the metaphysics and the logical behaviour of truth.

In a one-day workshop on Logic and Truth, the SGSLPS suggests to look at some questions related to the notion of truth that arise in the context of formal logic. On the one hand, semantic theories of formal languages operate with a rigorous definition of true sentences when spelling out truth conditions for statements in formal theories; on the other hand, the logical behaviour of truth ascriptions themselves is an interesting subject of study. Truth predicates behave in a peculiar way and can lead to paradoxes when treated in a classical formal manner; moreover, it has not been settled so far whether truth ascriptions take the subject predicate form or involve a sentential truth operator which would resemble the necessity operator well known from modal logic. These and similar questions will be addressed during the SGSLPS workshop.

For more information, see http://www.sgslps.ch/events.php

This workshop will create a platform for researchers coming from different fields to present their work and exchange ideas on the topic of social dynamics of information change. We look both at already-established work as well as the possible new connections that can emerge between the areas of logic, belief revision theory, learning theory, game theory and social science.

We are particularly interested in the conceptual-theoretical work as well as in the applications of formal models to specific multi-agent scenarios in which belief revision plays a crucial role. In contrast to the classical single-agent approach to Belief Revision Theory, the new developments from the area of Logic and Game Theory make it now possible to pursue a multi-agent perspective. Similarly, the study of the iterated belief revision procedures can benefit from the work on learning strategies in Formal Learning Theory. Bringing the ideas from these different areas together allows us to put forward new theoretical work which can lead to new modeling techniques and offer a better understanding of puzzling social-informational phenomena (such as pluralistic ignorance, the bandwagoning effect, group polarization, etc.).

For more information see http://ninagierasimczuk.com/logicic/workshop2013/.

This workshop will create a platform for researchers coming from different fields to present their work and exchange ideas on the topic of social dynamics of information change. We look both at already-established work as well as the possible new connections that can emerge between the areas of logic, belief revision theory, learning theory, game theory and social science.

We are particularly interested in the conceptual-theoretical work as well as in the applications of formal models to specific multi-agent scenarios in which belief revision plays a crucial role. In contrast to the classical single-agent approach to Belief Revision Theory, the new developments from the area of Logic and Game Theory make it now possible to pursue a multi-agent perspective. Similarly, the study of the iterated belief revision procedures can benefit from the work on learning strategies in Formal Learning Theory. Bringing the ideas from these different areas together allows us to put forward new theoretical work which can lead to new modeling techniques and offer a better understanding of puzzling social-informational phenomena (such as pluralistic ignorance, the bandwagoning effect, group polarization, etc.).

For more information see http://ninagierasimczuk.com/logicic/workshop2013/.

The pervasiveness of open systems raises a range of challenges and opportunities for technologies in the area of autonomous agents and multi-agent systems and in their contribution to human and artificial societies. Open systems comprise loosely-coupled entities interacting within a society, often with some overall measures of quality or efficiency. However, achieving and maintaining a 'good' society, such as through establishing and enforcing societial norms and policies, is difficult to achieve. There remains a need for tools and techniques for articulating or regulating interactions in order to make the system more effective in attaining collective goals, more certain for participants, or more predictable.

Coordination, organizations, institutions, and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshops constitute a space for debate and exploration of these four elements that are central in the design and use of open systems. COIN@PRIMA'13 features a special track on agent-based modelling for policy engineering (AMPLE) in societies.

For more information, see http://coin2013-prima.tudelft.nl/

The AI and Cognition workshop 2013 (AIC 2013) aims at putting together researchers coming from different domains (e.g., artificial intelligence, cognitive science, computer science, engineering, philosophy, social sciences, etc.) working on the interdisciplinary field of cognitively inspired artificial systems.

For more information, see the Workshop web site at http://di.unito.it/aic2013 or send an e-mail to: lieto at di.unito.it or to cruciani at disi.unitn.it

https://sites.google.com/site/therootsofdeduction/events-and-announcements/

On December 3-5 2013, the Department of Theoretical Philosophy of the Faculty of Philosophy in Groningen will host the workshop 'Proof Theory and Philosophy', jointly organized by the VIDI projects 'The Roots of Deduction' and 'Logics for Intelligent Interaction: Expressivity and Succictness', and the Munich Center for Mathematical Philosophy.

This workshop aims at reviving the inherent philosophical interest of proof theory, and at showcasing a number of interesting applications that the framework can have for long-standing philosophical and logical questions. Moreover, it will foster philosophical discussions on the foundations of proof theory as an area of inquiry, including the very concept of a proof and the conceptual, philosophical import of key results such as normalization, cut elimination, admissibility and derivability of rules. Finally, since the growing interest in modal proof theory is challenging and reshaping philosophical debates, the workshop will provide a forum for the discussion of ongoing research across proof theory and philosophical logics.

The workshop is open to all, but please register by sending a message to rootsofdeduction at gmail.com with the subject 'Registration for proof theory workshop', stating your name and affiliation. For more information, see https://sites.google.com/site/therootsofdeduction/events-and-announcements/

Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence has become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. In 2008 the AI conference was hosted in New Zealand for the first time, in Auckland. In 2013 the 26th Australasian Joint Conference on Artificial Intelligence returns to New Zealand, and will be held in Dunedin, hosted by the University of Otago. It will be co-located with the 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013).

For more information, see http://ai2013.otago.ac.nz

PRIMA is the leading scientific conference for research on intelligent agent systems and multi-agent systems.

Agent computing and technology is an exciting, emerging paradigm expected to play a key role in many society-changing practices from disaster response to manufacturing to agriculture. The conference offers an exceptional opportunity for presentation of original work, technological advances, practical problems and concerns of the research community. PRIMA particularly encourages reports on development of prototype and deployed agent and multiagent systems and experiments that demonstrate the capability of agents to handle real-world challenges.

For more information, see http://prima2013.otago.ac.nz/

This workshop will create a platform for researchers coming from different fields to present their work and exchange ideas on the topic of social dynamics of information change. We look both at already-established work as well as the possible new connections that can emerge between the areas of logic, belief revision theory, learning theory, game theory and social science.

We are particularly interested in the conceptual-theoretical work as well as in the applications of formal models to specific multi-agent scenarios in which belief revision plays a crucial role. In contrast to the classical single-agent approach to Belief Revision Theory, the new developments from the area of Logic and Game Theory make it now possible to pursue a multi-agent perspective. Similarly, the study of the iterated belief revision procedures can benefit from the work on learning strategies in Formal Learning Theory. Bringing the ideas from these different areas together allows us to put forward new theoretical work which can lead to new modeling techniques and offer a better understanding of puzzling social-informational phenomena (such as pluralistic ignorance, the bandwagoning effect, group polarization, etc.).

For more information see http://ninagierasimczuk.com/logicic/workshop2013/.

https://sites.google.com/site/therootsofdeduction/events-and-announcements/

On December 3-5 2013, the Department of Theoretical Philosophy of the Faculty of Philosophy in Groningen will host the workshop 'Proof Theory and Philosophy', jointly organized by the VIDI projects 'The Roots of Deduction' and 'Logics for Intelligent Interaction: Expressivity and Succictness', and the Munich Center for Mathematical Philosophy.

This workshop aims at reviving the inherent philosophical interest of proof theory, and at showcasing a number of interesting applications that the framework can have for long-standing philosophical and logical questions. Moreover, it will foster philosophical discussions on the foundations of proof theory as an area of inquiry, including the very concept of a proof and the conceptual, philosophical import of key results such as normalization, cut elimination, admissibility and derivability of rules. Finally, since the growing interest in modal proof theory is challenging and reshaping philosophical debates, the workshop will provide a forum for the discussion of ongoing research across proof theory and philosophical logics.

The workshop is open to all, but please register by sending a message to rootsofdeduction at gmail.com with the subject 'Registration for proof theory workshop', stating your name and affiliation. For more information, see https://sites.google.com/site/therootsofdeduction/events-and-announcements/

Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence has become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. In 2008 the AI conference was hosted in New Zealand for the first time, in Auckland. In 2013 the 26th Australasian Joint Conference on Artificial Intelligence returns to New Zealand, and will be held in Dunedin, hosted by the University of Otago. It will be co-located with the 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013).

For more information, see http://ai2013.otago.ac.nz

PRIMA is the leading scientific conference for research on intelligent agent systems and multi-agent systems.

Agent computing and technology is an exciting, emerging paradigm expected to play a key role in many society-changing practices from disaster response to manufacturing to agriculture. The conference offers an exceptional opportunity for presentation of original work, technological advances, practical problems and concerns of the research community. PRIMA particularly encourages reports on development of prototype and deployed agent and multiagent systems and experiments that demonstrate the capability of agents to handle real-world challenges.

For more information, see http://prima2013.otago.ac.nz/

https://sites.google.com/site/therootsofdeduction/events-and-announcements/

On December 3-5 2013, the Department of Theoretical Philosophy of the Faculty of Philosophy in Groningen will host the workshop 'Proof Theory and Philosophy', jointly organized by the VIDI projects 'The Roots of Deduction' and 'Logics for Intelligent Interaction: Expressivity and Succictness', and the Munich Center for Mathematical Philosophy.

This workshop aims at reviving the inherent philosophical interest of proof theory, and at showcasing a number of interesting applications that the framework can have for long-standing philosophical and logical questions. Moreover, it will foster philosophical discussions on the foundations of proof theory as an area of inquiry, including the very concept of a proof and the conceptual, philosophical import of key results such as normalization, cut elimination, admissibility and derivability of rules. Finally, since the growing interest in modal proof theory is challenging and reshaping philosophical debates, the workshop will provide a forum for the discussion of ongoing research across proof theory and philosophical logics.

The workshop is open to all, but please register by sending a message to rootsofdeduction at gmail.com with the subject 'Registration for proof theory workshop', stating your name and affiliation. For more information, see https://sites.google.com/site/therootsofdeduction/events-and-announcements/

Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence has become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. In 2008 the AI conference was hosted in New Zealand for the first time, in Auckland. In 2013 the 26th Australasian Joint Conference on Artificial Intelligence returns to New Zealand, and will be held in Dunedin, hosted by the University of Otago. It will be co-located with the 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013).

For more information, see http://ai2013.otago.ac.nz

PRIMA is the leading scientific conference for research on intelligent agent systems and multi-agent systems.

Agent computing and technology is an exciting, emerging paradigm expected to play a key role in many society-changing practices from disaster response to manufacturing to agriculture. The conference offers an exceptional opportunity for presentation of original work, technological advances, practical problems and concerns of the research community. PRIMA particularly encourages reports on development of prototype and deployed agent and multiagent systems and experiments that demonstrate the capability of agents to handle real-world challenges.

For more information, see http://prima2013.otago.ac.nz/

False-belief tasks play a prominent role in the study of social cognition. They have been designed to track the ability to attribute false-belief, i.e., to recognize that others may have different beliefs about the world. The experimental results are fairly consistent: most normally developing children are unable to pass the tasks until around age four. Acquiring the ability to pass false belief-tasks seems to be a milestone in the development of one's theory of mind. Psychologists and cognitive scientists have been actively trying to pin down the mental resources responsible for the ability. In parallel, logicians have been recently trying to understand formal and computational aspects of the false-belief reasoning. The workshop will bring together various perspectives on the formal modeling of false-belief tasks. The workshop is open to everyone interested in logic and cognitive science.

For more information, see http://jakubszymanik.com/false-belief/

Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence has become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. In 2008 the AI conference was hosted in New Zealand for the first time, in Auckland. In 2013 the 26th Australasian Joint Conference on Artificial Intelligence returns to New Zealand, and will be held in Dunedin, hosted by the University of Otago. It will be co-located with the 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013).

For more information, see http://ai2013.otago.ac.nz

PRIMA is the leading scientific conference for research on intelligent agent systems and multi-agent systems.

Agent computing and technology is an exciting, emerging paradigm expected to play a key role in many society-changing practices from disaster response to manufacturing to agriculture. The conference offers an exceptional opportunity for presentation of original work, technological advances, practical problems and concerns of the research community. PRIMA particularly encourages reports on development of prototype and deployed agent and multiagent systems and experiments that demonstrate the capability of agents to handle real-world challenges.

For more information, see http://prima2013.otago.ac.nz/

Lindenthal Institute in Cologne arranges in collaboration with editiones scholasticae, an international colloquium on the topic "New Scholastic meets Analytic Philosophy". The colloquium takes place on 7th and 8th December 2013. The conference is intended to serve a scholarly dialogue between analytic philosophers and recent developments of scholastic philosophy, which emerged mostly from analytic philosophy.

Invited speakers are (in alphabetical order): Edward Feser, Uwe Meixner, Stephan Mumford, David S. Oderberg, Edmund Runggaldier SJ , Erwin Tegtmeier. Conference language is English.

More Information and registration here: http://www.lindenthal-institut.de/index.php/colloquientermin/events/. Contact person: Dr. Johannes Hattler, Lindenthal Institute j.hattler at lindenthal-institut.de.

Lindenthal Institute in Cologne arranges in collaboration with editiones scholasticae, an international colloquium on the topic "New Scholastic meets Analytic Philosophy". The colloquium takes place on 7th and 8th December 2013. The conference is intended to serve a scholarly dialogue between analytic philosophers and recent developments of scholastic philosophy, which emerged mostly from analytic philosophy.

Invited speakers are (in alphabetical order): Edward Feser, Uwe Meixner, Stephan Mumford, David S. Oderberg, Edmund Runggaldier SJ , Erwin Tegtmeier. Conference language is English.

More Information and registration here: http://www.lindenthal-institut.de/index.php/colloquientermin/events/. Contact person: Dr. Johannes Hattler, Lindenthal Institute j.hattler at lindenthal-institut.de.

CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 9th conference in a series of regular events started with CSR 2006 in St. Petersburg.

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2014
Email: csr2014 at googlegroups.com

In order to strengthen the ties between ILLC and the department of philosophy, the department of philosophy will have their 'afdelingsborrel' in the common room of the ILLC on Monday 9 December 2013 t. This event was initially planned for 28 October last, but was then canceled because of bad wheather condition. Before the 'borrel', we have organised a short scientific session as well, with three 10-minutes talks featuring:

- Christian Skirke: Does it Matter Who's Right? A Few Remarks on Disagreement.
- Michiel van Lambalgen: Kant, developmental psychology and time
- Ulle Endriss: Justice and Computation

The scientific session starts at 16.30. Everybody is invited, also for the 'borrel' afterwards.

For more information, contact R.A.M.vanRooij at uva.nl.

The central topic of this workshop is knowledge, argumentation and games. The workshop will create an opportunity for philosophers and logicians to meet and present their work on this topic.

For more information, see https://sites.google.com/site/knowledgeargumentationgame/the-workshop

In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. The aim of this Eleventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.

The scope of the event is defined as the scope of the International Journal on Autonomous Agents & Multi-agent Systems (JAAMAS), the International Conference on Autonomous Agents & Multi-agent Systems (AAMAS), and the European Association for Multiagent Systems (EURAMAS). The sixth LAMAS workshop (Logical Aspects of Multi-Agent Systems) will be colocated with EUMAS-2013, as a special session.

For more information, see http://www.irit.fr/EUMAS2013/

In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. The aim of this Eleventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.

The scope of the event is defined as the scope of the International Journal on Autonomous Agents & Multi-agent Systems (JAAMAS), the International Conference on Autonomous Agents & Multi-agent Systems (AAMAS), and the European Association for Multiagent Systems (EURAMAS). The sixth LAMAS workshop (Logical Aspects of Multi-Agent Systems) will be colocated with EUMAS-2013, as a special session.

For more information, see http://www.irit.fr/EUMAS2013/

The aim of this symposium is to bring together some of the best specialists from the area of proof theory, constructivity, and computation and to discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations.

For more information, see http://apt13.unibe.ch/.

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

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

The aim of this symposium is to bring together some of the best specialists from the area of proof theory, constructivity, and computation and to discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations.

For more information, see http://apt13.unibe.ch/.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 19th LPAR will be held in Stellenbosch, South Africa.

For more information, see http://www.lpar-19.info/.

On June 18-20 2014 SILFS, the Italian Society of Logic and Philosophy of Science will hold its triennial conference at the University of Rome 'Roma TRE'. Invited speakers are John Norton, Hannes Leitgeb and Tarja Knuuttila.

For more information, see http://www.silfs.net/#442-2 pr contact the SILFS secretary, Matteo Morganti: matteo.morganti at uniroma3.it.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 19th LPAR will be held in Stellenbosch, South Africa.

For more information, see http://www.lpar-19.info/.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 19th LPAR will be held in Stellenbosch, South Africa.

For more information, see http://www.lpar-19.info/.

The workshop is concerned with the semantics and pragmatics of questions, question-embedding expressions, and constructions that are sensitive to the questions that are under discussion in a given discourse (e.g. topic and focus markers). The workshop is collocated with SemDial and the Amsterdam Colloquium.

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

The Tilburg Center for Logic, General Ethics, and Philosophy of Science (TiLPS) is proud to announce that this year, we're not only celebrating Reinhard Muskens' 60th birthday, but also his 25 year anniversary at Tilburg University!

In honor of this double-jubilee we have organized a workshop on Monday the 16th of November. The invited speakers are:
- Johan van Benthem (ILLC Amsterdam, Stanford University)
- Jan van Eijck (Centre for Mathematics and Computer Science, ILLC Amsterdam)
- Philippe de Groote (Laboratoire Lorrain de Recherche en Informatique et ses Applications)
- Larry Moss (per video lecture) (Indiana University)
- Yoad Winter (University of Utrecht)

For more information, see http://muskensjubilee.wordpress.com/

DialDam will be the 17th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2013 the workshop will be hosted by the Institute for Logic, Language and Computation, University of Amsterdam, and will be collocated with the Amsterdam Colloquium.

The list of accepted full papers is online and registration is open. For more information, see the website at https://www.illc.uva.nl/semdial/dialdam/ or contact raquel.fernandez at uva.nl.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 19th LPAR will be held in Stellenbosch, South Africa.

For more information, see http://www.lpar-19.info/.

The workshop is concerned with the semantics and pragmatics of questions, question-embedding expressions, and constructions that are sensitive to the questions that are under discussion in a given discourse (e.g. topic and focus markers). The workshop is collocated with SemDial and the Amsterdam Colloquium.

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

DialDam will be the 17th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2013 the workshop will be hosted by the Institute for Logic, Language and Computation, University of Amsterdam, and will be collocated with the Amsterdam Colloquium.

The list of accepted full papers is online and registration is open. For more information, see the website at https://www.illc.uva.nl/semdial/dialdam/ or contact raquel.fernandez at uva.nl.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 19th LPAR will be held in Stellenbosch, South Africa.

For more information, see http://www.lpar-19.info/.

The workshop is concerned with the semantics and pragmatics of questions, question-embedding expressions, and constructions that are sensitive to the questions that are under discussion in a given discourse (e.g. topic and focus markers). The workshop is collocated with SemDial and the Amsterdam Colloquium.

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

DialDam will be the 17th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2013 the workshop will be hosted by the Institute for Logic, Language and Computation, University of Amsterdam, and will be collocated with the Amsterdam Colloquium.

The list of accepted full papers is online and registration is open. For more information, see the website at https://www.illc.uva.nl/semdial/dialdam/ or contact raquel.fernandez at uva.nl.

The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

The 2013 edition will be held at the University of Amsterdam on 18-20 December and will be collocated with the 17th SemDial workshop (DialDam).

The 19th Amsterdam Colloquium will feature two workshops on Quantitative Data and on Modals; a special session on the Semantics and Pragmatics of Dialogue, jointly organized with the SemDial Workshop; and one evening lecture, jointly organized with the E.W. Beth Foundation.

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

On Wednesday, December 18 (the last day of SemDial and the first day of the Amsterdam Colloquium), a special event in honor of Jeroen Groenendijk, Martin Stokhof and Frank Veltman will be held. All members of the ILLC are welcome to attend.

For more information, see https://www.illc.uva.nl/AC/AC2013/Special-Event/

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 19th LPAR will be held in Stellenbosch, South Africa.

For more information, see http://www.lpar-19.info/.

The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

The 2013 edition will be held at the University of Amsterdam on 18-20 December and will be collocated with the 17th SemDial workshop (DialDam).

The 19th Amsterdam Colloquium will feature two workshops on Quantitative Data and on Modals; a special session on the Semantics and Pragmatics of Dialogue, jointly organized with the SemDial Workshop; and one evening lecture, jointly organized with the E.W. Beth Foundation.

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

The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

The 2013 edition will be held at the University of Amsterdam on 18-20 December and will be collocated with the 17th SemDial workshop (DialDam).

The 19th Amsterdam Colloquium will feature two workshops on Quantitative Data and on Modals; a special session on the Semantics and Pragmatics of Dialogue, jointly organized with the SemDial Workshop; and one evening lecture, jointly organized with the E.W. Beth Foundation.

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

For more information, see http://smartcognitivescience.wordpress.com/

The UvA department of philosophy lecture series The Significance of Phenomenology, and NICA graduate seminar will recommence in January 2014. The aim of the lecture series and seminar is to explore how phenomenological ideas are of continuing inspiration in many different fields of research both inside and outside of philosophy.

A graduate seminar will run alongside the lecture series which students from the master of Logic are welcome to take. The aim of the seminar is to provide some background to the topics to be discussed by our invite speakers and their connection to phenomenology. Meetings will take place once a month. The seminar can be studied for credit (6EC).

For more information, please contact j.d.kiverstein at uva.nl or see here.