The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics that engages with mathematics in practice ~including issues in history of mathematics, the applications of mathematics, cognitive science, etc.

Invited Speakers: Abel Lassalle Casanave (Brasil), Leo Corry (Israel, to be confirmed), Silvia De Toffoli (USA), Jeremy Gray (UK), Danielle Macbeth (USA), Paolo Mancosu (USA).

Note that the Seventh French Philosophy of Mathematics Workshop (FPMW7) will be held in Paris immediately following the APMP, on November 5-7.

For more information, see http://institucional.us.es/apmp/index_APMP2015.htm

Context '15 will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

The main theme of CONTEXT 2015 is 'Back to the roots', focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems.

For more information, see http://cyprusconferences.org/context2015/

The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics that engages with mathematics in practice ~including issues in history of mathematics, the applications of mathematics, cognitive science, etc.

Invited Speakers: Abel Lassalle Casanave (Brasil), Leo Corry (Israel, to be confirmed), Silvia De Toffoli (USA), Jeremy Gray (UK), Danielle Macbeth (USA), Paolo Mancosu (USA).

Note that the Seventh French Philosophy of Mathematics Workshop (FPMW7) will be held in Paris immediately following the APMP, on November 5-7.

For more information, see http://institucional.us.es/apmp/index_APMP2015.htm

Context '15 will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

The main theme of CONTEXT 2015 is 'Back to the roots', focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems.

For more information, see http://cyprusconferences.org/context2015/

The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics that engages with mathematics in practice ~including issues in history of mathematics, the applications of mathematics, cognitive science, etc.

Invited Speakers: Abel Lassalle Casanave (Brasil), Leo Corry (Israel, to be confirmed), Silvia De Toffoli (USA), Jeremy Gray (UK), Danielle Macbeth (USA), Paolo Mancosu (USA).

Note that the Seventh French Philosophy of Mathematics Workshop (FPMW7) will be held in Paris immediately following the APMP, on November 5-7.

For more information, see http://institucional.us.es/apmp/index_APMP2015.htm

Context '15 will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

The main theme of CONTEXT 2015 is 'Back to the roots', focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems.

For more information, see http://cyprusconferences.org/context2015/

Context '15 will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

The main theme of CONTEXT 2015 is 'Back to the roots', focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems.

For more information, see http://cyprusconferences.org/context2015/

Context '15 will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

The main theme of CONTEXT 2015 is 'Back to the roots', focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems.

For more information, see http://cyprusconferences.org/context2015/

As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards (also in the ILLC Common Room).

For more information, contact illc at uva.nl.

Via this workshop, we are creating a forum to exchange ideas and explore new territory in which it is clear that logic can make a difference. We are particularly interested in the interplay between logic and the social sciences, i.e. both in studying complex social-epistemic scenarios as well as in the logical tools and techniques that can be used to model them. We approach the theme of this workhop from an interdisciplinary angle, and welcome any insights on to the topic coming from areas such as Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Cognitive Science and AI (multi-agent systems).

For more information, see https://logicicworkshop2015.wordpress.com/welcome/ or contact p.rossel at uva.nl.

The Intelligent Narrative Technologies (INT) workshop series aims to advance research in artificial intelligence for the computational understanding and expression of narrative. INT8, the eighth workshop in the series, will be co-located with the Eleventh Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2015) at University of California, Santa Cruz.

Recent years have witnessed significant advances in the technical, creative, and aesthetic interpretation of narratives with digital media, including games, simulations, interactive fiction, and electronic literature. Our goal is to contribute to this forward momentum by congregating a multidisciplinary group of researchers and practitioners to share their latest work at the intersection of narrative and technology. Previous meetings of this workshop have brought together computer scientists, psychologists, narrative theorists, media theorists, artists, writers, and members of the interactive entertainment industry. From this broad expertise, the workshop focuses on computational systems to represent, reason about, create, adapt, and perform interactive and non-interactive narrative experiences. This also includes fundamental research in relevant fields such as natural language processing, believable virtual characters, commonsense reasoning, computer vision, computational media, and human storytelling.

For more information, see http://go.ncsu.edu/int8

The Intelligent Narrative Technologies (INT) workshop series aims to advance research in artificial intelligence for the computational understanding and expression of narrative. INT8, the eighth workshop in the series, will be co-located with the Eleventh Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2015) at University of California, Santa Cruz.

Recent years have witnessed significant advances in the technical, creative, and aesthetic interpretation of narratives with digital media, including games, simulations, interactive fiction, and electronic literature. Our goal is to contribute to this forward momentum by congregating a multidisciplinary group of researchers and practitioners to share their latest work at the intersection of narrative and technology. Previous meetings of this workshop have brought together computer scientists, psychologists, narrative theorists, media theorists, artists, writers, and members of the interactive entertainment industry. From this broad expertise, the workshop focuses on computational systems to represent, reason about, create, adapt, and perform interactive and non-interactive narrative experiences. This also includes fundamental research in relevant fields such as natural language processing, believable virtual characters, commonsense reasoning, computer vision, computational media, and human storytelling.

For more information, see http://go.ncsu.edu/int8

This workshop aims at promoting and exploring the possibilities for research and practical applications involving Natural Language Processing (NLP) and Games. The main objective is to provide a forum for researchers and practitioners to discuss and share ideas regarding how the NLP research community can contribute to games research and vice versa. The workshop welcomes the participation of both academics and industry practitioners interested in the use of NLP in games or vice versa. It is to be held at the 11th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-15).

For more information, see https://gamnlp15.soe.ucsc.edu/ or send an email to gamnlp15 at gmail.com.

The LABEX CIMI Pluridisciplinary Workshop on Game Theory will be the highlight of the LABEX CIMI Thematic Trimester. The workshop will be structured along four themes: Logic and Games, Algorithmic Game Theory, Games and Voting on Networks, and Learning in Games.

On each theme, we plan to have 3 invited talks by internationally renowned experts. In addition, per theme we plan to have one talk by a local researcher and one or two submitted contributions, primarily by PhD students. Anyone can attend the workshop but registration (registration fees will be moderate if any) will be required.

For more information, see http://www.cimi.univ-toulouse.fr/gametheory/en/pluridisciplinary-workshop

The LABEX CIMI Pluridisciplinary Workshop on Game Theory will be the highlight of the LABEX CIMI Thematic Trimester. The workshop will be structured along four themes: Logic and Games, Algorithmic Game Theory, Games and Voting on Networks, and Learning in Games.

On each theme, we plan to have 3 invited talks by internationally renowned experts. In addition, per theme we plan to have one talk by a local researcher and one or two submitted contributions, primarily by PhD students. Anyone can attend the workshop but registration (registration fees will be moderate if any) will be required.

For more information, see http://www.cimi.univ-toulouse.fr/gametheory/en/pluridisciplinary-workshop

The LABEX CIMI Pluridisciplinary Workshop on Game Theory will be the highlight of the LABEX CIMI Thematic Trimester. The workshop will be structured along four themes: Logic and Games, Algorithmic Game Theory, Games and Voting on Networks, and Learning in Games.

On each theme, we plan to have 3 invited talks by internationally renowned experts. In addition, per theme we plan to have one talk by a local researcher and one or two submitted contributions, primarily by PhD students. Anyone can attend the workshop but registration (registration fees will be moderate if any) will be required.

For more information, see http://www.cimi.univ-toulouse.fr/gametheory/en/pluridisciplinary-workshop

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 20th LPAR will be held at the University of the South Pacific, Suva, Fiji in 2015.

For more information, see http://www.LPAR-20.org/

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 20th LPAR will be held at the University of the South Pacific, Suva, Fiji in 2015.

For more information, see http://www.LPAR-20.org/

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 20th LPAR will be held at the University of the South Pacific, Suva, Fiji in 2015.

For more information, see http://www.LPAR-20.org/

Via this workshop, we are creating a forum to exchange ideas and explore new territory in which it is clear that logic can make a difference. We are particularly interested in the interplay between logic and the social sciences, i.e. both in studying complex social-epistemic scenarios as well as in the logical tools and techniques that can be used to model them. We approach the theme of this workhop from an interdisciplinary angle, and welcome any insights on to the topic coming from areas such as Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Cognitive Science and AI (multi-agent systems).

For more information, see https://logicicworkshop2015.wordpress.com/welcome/ or contact p.rossel 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 20th LPAR will be held at the University of the South Pacific, Suva, Fiji in 2015.

For more information, see http://www.LPAR-20.org/

Via this workshop, we are creating a forum to exchange ideas and explore new territory in which it is clear that logic can make a difference. We are particularly interested in the interplay between logic and the social sciences, i.e. both in studying complex social-epistemic scenarios as well as in the logical tools and techniques that can be used to model them. We approach the theme of this workhop from an interdisciplinary angle, and welcome any insights on to the topic coming from areas such as Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Cognitive Science and AI (multi-agent systems).

For more information, see https://logicicworkshop2015.wordpress.com/welcome/ or contact p.rossel at uva.nl.

General proof theory studies how proofs are structured, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory.

For more information, see http://ls.informatik.uni-tuebingen.de/GPT/

We are inviting participants for the workshop "Projection in Discourse: from formal to data-driven approaches”, held on Friday November 27 at the University of Groningen, the Netherlands, on the occasion of Noortje Venhuizen's PhD defense. The aim of this workshop is to bring together current theoretical and empirical analyses of the behaviour of different types of projection phenomena, and their relation to other aspects of meaning. Besides several invited talks, the workshop will include a "data-driven" session, in which the participants are invited to collaborate on the analysis of real-life linguistic examples.

Attending the workshop is free, but we kindly ask you to register before Friday, November 20, via the registration form on the website.

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

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 20th LPAR will be held at the University of the South Pacific, Suva, Fiji in 2015.

For more information, see http://www.LPAR-20.org/

Via this workshop, we are creating a forum to exchange ideas and explore new territory in which it is clear that logic can make a difference. We are particularly interested in the interplay between logic and the social sciences, i.e. both in studying complex social-epistemic scenarios as well as in the logical tools and techniques that can be used to model them. We approach the theme of this workhop from an interdisciplinary angle, and welcome any insights on to the topic coming from areas such as Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Cognitive Science and AI (multi-agent systems).

For more information, see https://logicicworkshop2015.wordpress.com/welcome/ or contact p.rossel at uva.nl.

General proof theory studies how proofs are structured, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory.

For more information, see http://ls.informatik.uni-tuebingen.de/GPT/

General proof theory studies how proofs are structured, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory.

For more information, see http://ls.informatik.uni-tuebingen.de/GPT/

Linguists, logicians, philosophers, psychologists, and interested researchers from other areas are cordially invited to join the 17th Workshop on the Roots of Pragmasemantics to be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on March 4-7, 2016.

The main theme of this year’s convention is "Conceptual Semantics meets Compositional Semantics". Confirmed invited speakers are Simon Dobnik (University of Gothenburg), Lotte Hogeweg (University of Amsterdam), Louise McNally (Universitat Pompeu Fabra), Galit Sassoon (Bar-Ilan University) and Joost Zwarts (Utrecht University).

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