When: December 1-2, 2016
Where: Institute of Philosophy II, Ruhr-University Bochum

Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion.

The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments. Such questions include: Continue reading


4th International Workshop on Strategic Reasoning (SR2016)

4th International Workshop on Strategic Reasoning (SR2016)
To be held as Satellite Workshop of LICS 2016
9-10 July 2016, New York City, USA. <>

 Extended submission deadlines: April 18, 2016 (AoE) 


Strategic reasoning is a key topic in the multi-agent systems research area. The literature in this field is extensive and includes a variety of logics used for reasoning about the strategic abilities of the agents in the system. Results stemming from this research have been used in a wide range of applications, including robotic teams endowed with adaptive strategies, and automatic players capable of beating expert human adversaries. A common feature in all these domains is the requirement for sound theoretical foundations and tools accounting for the strategies that agents may adopt in the presence of adversaries.
Continue reading


3-years Postdoctoral Position on Epistemic Logic and Social Epistemology at the University of Bayreuth

The Department of Philosophy at the University of Bayreuth invites applications for one postdoctoral position (3 years, E13 TV Z, 1.0 FTE) starting from Sept. 1st 2016, or soon after. The successful applicant will be part of the research project “From Shared Evidence to Group Attitudes” (SEGA), funded by the German (DFG) and the Czech Science Foundation (GACR). For more information:
Continue reading


DARe at ECAI 2016

The Third International Workshop on
"Defeasible and Ampliative Reasoning" (DARe)
Date: TBC (either 29 or 30 August 2016)
held at the European Conference on Artificial Intelligence (ECAI 2016)

Workshop Description and Aims
Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different types of inference to reason with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others.
It turns out that everyday reasoning usually shows the two salient intertwined aspects below: Continue reading


2(+2) year Postdoctoral Fellowship in "Acting Together: Coordination, Collective Goal, and Cooperation"

The Department of Philosophy and the Centre for the Study of Social Action(CSSA) at the University of Milan are delighted to announce the opening of a post-doctoral position on *Acting Together: Coordination, Collective Goal, and Cooperation*. The project, which is jointly led by Professors Hykel Hosni and Corrado Sinigaglia, spans formal and experimental methods and will put particular emphasis on minimalist approaches to coordination, shared agency, and cooperation.
Continue reading


TIME 2016

23rd International Symposium on Temporal Representation and Reasoning
First Call for Papers

TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification. Continue reading


First CADILLAC workshop

The first CADILLAC workshop will take place in Copenhagen at the cinema of Christiania, Byens Lys, 23-25 May 2016. Details can be found at the workshop home page:

The CADILLAC workshop series will continue the Modality and Modalities workshop series (, but will extend its scope beyond modal logic, to cover applications of logical methods in philosophy, linguistics and cognitive science. The CADILLAC workshops will be organised by the CADILLAC network ( This first edition is organised by Martin Mose Bentzen, Nina Gierasimczuk and Thomas Bolander. Continue reading


Square of oppositions 2016

After successful editions in

  • Montreux, Switzerland 2007
  • Corté, Corsica 2010
  • Beirut, Lebanon 2012
  • Vatican, Vatican 2014

We are organizing the 5th edition of the World Congress on the Square of Opposition in Easter Island, Nov 11-15, 2016
Deadline for Sending an Abstract is March 1st
Welcome to Rapa Nui!


KR 2016 - Regisration open


15th International Conference on
Principles of Knowledge Representation and Reasoning

Cape Town, South Africa
25-29 April 2016

Co-located with DL 2016 ( and NMR 2016 (

Registration is now open 
Continue reading


Workshop on Compositional Meaning in Logic [GeTFun 4.0]
Affiliated with 8th International Joint Conference on Automated Reasoning
Coimbra, Portugal
July 1-2, 2016
Submission deadline: April 15, 2016 Continue reading