January 5–7, 2017
IIT Kanpur, India

ALI, the Association for Logic in India, announces the seventh edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Kanpur, from January 5 to 7, 2017. ICLA 2017 will be co-located with the Methods for Modalities Workshop to be held during January 8-10, 2017.

ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic. Continue reading


PhD position at Ghent University: Deontic Logic and Medical Ethics

  • Duration: 2+2 years
  • Starting date: preferably October 2016, but not later than January 1, 2017
  • Domain: deontic logic, formal ethics
  • net income: approximately 1900 EUR/month
  • Deadline for applications: July 10, 2016.

Job offer
The Centre for Logic and Philosophy of Science (CLPS) of Ghent University (Belgium) is offering a full-time position for 2+2 years, for a pre-doctoral researcher, starting October 2016 (flexible, but in any case not later than January 1, 2017). The position is part of the project “Towards a more integrated formal account of actual ethical reasoning, with
applications in medical ethics”, funded by the Flemish Research Foundation (FWO-Vlaanderen) and supervised by Joke Meheus (Ghent University), Frederik Van De Putte (Ghent University), and Christian Straßer (Ruhr-University
Bochum). Continue reading


Postdoctoral researcher in Logic. ILLC-Amsterdam

The Institute for Logic, Language and Computation at the University ofAmsterdam has a vacancy for a

*Postdoctoral researcher in Logic *
38 hours per week
vacancy number 16-218

We are looking for a postdoctoral researcher who will join the research group of Prof. Sonja Smets. Preference will be given to a candidate who is active in one of the following areas:

1. Logic and its applications to formal epistemology or multi-agent systems. In particular we are interested in the use of logical methods to study the dynamics of information. Topics of interest can relate to belief revision theory, social network theory, epistemic game theory, truth approximation or formal learning theory. Continue reading


Postdoc in Bochum (nonmonotonic logics and formal argumentation.)

The Institute II for Philosophy at the Ruhr-University Bochum (RUB) invites applications for a Post-doctoral research position in the domain of nonmonotonic logics and formal argumentation.

- Duration: 3 years
- Starting date: latest at 1. August 2016
- Deadline for the application: 31. May 2016 Continue reading



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