2nd World Congress on Logic and Religion

After a successful first edition in Brazil (April 1-5, 2015)
we are glad to announce the
2nd World Congress on Logic and Religion
University of Warsaw, June 18-22, 2017

Confirmed invited speakers:
Dov Gabbay (London/Tel Aviv)
Michael Heller (recipient of Templeton Prize, Kraków)
Laurent Lafforgue (Fields medal, Bures-sur-Yvette)
Yuhan Sohrab-Dinshaw Vevaina (Toronto)
Jan Wolenski (Kraków)

1st Announcement / Call for papers:



The Institute of Philosophy, Czech Academy of Sciences, announces LOGICA 2017, the 31st in the series of annual international symposia devoted to logic, to be held at Hejnice (in northern Bohemia, about 2.5 hours from Prague), 19 – 23 June 2017. Invited speakers are Hartry Field, Bob Hale, Shahid Rahman, Sonja Smets. The first session begins on the morning of Tuesday June 20. The symposium closes at noon Friday June 23. The official language of the symposium is English. Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for ‘philosophically’ and for ‘mathematically’ oriented logicians. The guidelines for submissions can be found at

The deadline is 15 February 2017. Notifications of acceptance will be sent out by the end of March. The fee for Continue reading


Workshop on Non-Classical Logics and Artificial Intelligence

Workshop on Non-Classical Logics and Artificial Intelligence
Special Track at
The 30th International FLAIRS Conference
In cooperation with the American Association for Artificial Intelligence
Marco Island, Florida, USA
May 22 - 24, 2017
Send an abstract by  November 21, 2016


The Sixth International Conference on Logic, Rationality and Interaction (LORI-VI)

The sixth instalment of the  LORI series of conferences for the first time in Japan. September 14-17, 2017.

Keynote Speakers:

Mike Dunn

Indiana University, U.S.A.

Alan Hájek    (TBC)

Australian National University

Nina Gierasimczuk

Technical University of Denmark

Willemien Kets

Northwestern University, U.S.A

Sara Negri

University of Helsinki, Finland

Hiroakira Ono

JAIST, Japan


Contributed papers should be at most 12 pages long, with one additional page for references, following the Springer LNCS guidelines, and submitted by March 31, 2017 via EasyChair. Submissions are welcome on any of the broad themes of LORI series or those listed below. Acceptance will be notified by  May 5, 2017 and a final version will be due by May 26, 2017. Continue reading


The 32nd ACM SIGAPP Symposium On Applied Computing

Marrakech, Morocco
April 3 - 7, 2017
Track on Knowledge Representation and Reasoning (KRR)

The topic of the track covers an important field of research in Artificial Intelligence: KRR is indeed a trending topic (for instance, its Argumentation-theory subfield). A similar dedicated conference is the International Conference on Principles of Knowledge Representation and Reasoning, but all the major conferences in AI (e.g., AAAI, IJCAI, AAMAS, ECAI) have KRR among their topics of interest. KRR track will be a venue for all the researchers and practitioners working on the fundaments (but also applications) of reasoning, and the cross-fertilization among different approaches (e.g., Argumentation and Belief Revision). ACM SAC is ranked CORE:B, MAS:A-, SHINE:A. The average acceptance rate per track is under 25%.
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



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