Workshop on Formalised Social Intelligence – DTU

Thursday 18 December 2014 DTU Compute will host a workshop on various aspects of Formalised Social Intelligence: how to use logic and other formalisms to reason about social situations and agents.

Time and place: Room S01, DTU Meeting Centre, building 101, 10.00-16.20.
Host: Thomas Bolander

Continue reading


MSc master’s programme – ILLC Amsterdam

The MSc Logic Programme at the ILLC, University of Amsterdam

The MSc Logic, offered by the the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, is a two-year Master’s programme providing intensive interdisciplinary research training for excellent students with a first degree in Mathematics, Computer Science, Philosophy, Linguistics, or a related discipline.

Continue reading


PhD position – University of Dresden

Faculty of Computer Science.
At the Institute of Artificial Intelligence the Chair of Knowledge Representation and
Reasoning offers a full

PhD position

starting at the next possible date. The current funding for the position is for two years, but we aim at an extension of the project. The period of employment is governed by § 2 Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz – WissZeitVG). The position is part of the DFG Project„ Parallel SAT Solving“. A central goal of the project is to develop a parallel solving approach for the satisfiability testing (SAT) problem, and to implement an according system. To reach this goal, several sub goals should be achieved, whose solution can results in a PhD thesis. The group has contacts to the international research community, and systems of the group are already competitive. Hence, the position furthermore offers the opportunity for networking and international collaboration. Continue reading

Unilog 2015 – deadline extension

UNILOG’2015 – 5th World Congress and School on Universal Logic – Istanbul, June 20-30, 2015.
You can submit your abstract up to December 5

Since 2005 UNILOG has been a major event in logic, dealing with all aspects of logic and gathering top researchers from all over the world. The 1st edition was in Montreux, Switzerland (2005), the 2nd in Xi’an, China (2007), the 3rd  in Lisbon, Portugal (2010), the 4th  in Rio de Janeiro, Brazil (2013). The 5th edition will happen in Istanbul in 2015. Continue reading


Arthur Prior’s birthday at RUC (4/12)

Dear All,

No, sadly, most of us can’t be in Christchurch New Zealand to celebrate Arthur Prior’s birthday party in style in the southern sun. It looks like it will be a very enjoyable event, with Justine Kingsbury (Waikato) opening and Max Cresswell (Victoria) giving the keynote. Here’s the link:

Fortunately, there is an alternative: celebrating it at Roskilde University (RUC) in Denmark. It seems pretty likely that we will be less lucky when it comes to sunshine, but Danes know  how to make winter hyggeligt so it will be nice in a different sort of way. And Prior did spend key years of his life far away in these northern lands, so it is good to celebrate it upover and not just downunder. Now – the website will be available soon. In the meantime, this is just to say that Jack Copeland, Peter Ohrstrøm,  David Jakobsen  and Torben Braüner have all kindly agreed to talk.
Continue reading

TARK 2015

15th Conference on Theoretical Aspects of Rationality and Knowledge
June 4-6, 2015
Carnegie Mellon University, USA

Conference website:

About the Conference

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Continue reading

Reasoning Club, 4th annual meeting

The 4th annual meeting of the Reasoning Club, see, will be held in the School of Mathematics, Manchester University  on the 30th and 31st of March 2015.

The Keynote Speakers are Richard Booth (Luxembourg), Leon Horsten (Bristol), Federico Luzzi (Aberdeen) and Sara Uckelman (Durham).

In addition it is planned to have ten 40 minute contributed talks by Ph.D. students and early Postdocs, for whom grants will be available to cover the cost of accommodation and subsistence.

Please see  for information on abstract submission and (free) registration.

Jeff Paris & Alena Vencovská,  Local Meeting Organizers.

Logic and Probabilistic Methods for Dialog – ESSLLI 2015 workshop

For more detailed info check the website

Workshop Aims.  Traditional approaches to dialogue modeling have focused on the representation and manipulation of symbolic representations of agent and dialogue states as well as communicative actions.  More recently, data driven probabilistic approaches have been receiving greater attention within the research community.  The aim of this workshop is to explore the prospects for hybrid approaches that combine both paradigms as well as analyses of the types of problems that are more amenable to one approach versus another. Continue reading

TTL 2015 -Call for papers

June 9-­12, 2015, Rennes, France

Tools for Teaching Logic  seeks for original papers with a clear significance in the following topics (but are not limited to): teaching logic in sciences and humanities; teaching logic at different levels of instruction  (secondary education, university level, and postgraduate); didactic software; facing some difficulties concerning what to teach; international postgraduate programs; resources and challenges for e­Learning Logic; teaching Argumentation Theory, Critical Thinking and Informal Logic; teaching specific topics, such as Modal Logic, Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of Logic, and others; dissemination of logic courseware and logic textbooks; teaching Logic Thinking.
Continue reading

31st International Conference on Logic Programming (ICLP 2015) – Cfp

Cork, Ireland, August 31 — September 4, 2015

ICLP 2015 will be co-located with the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015) and is part of “The Year of George Boole”, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork.


Abstracts due: April 20, 2015
Papers due: April 27, 2015
Notification to authors : June 5, 2015
Camera ready versions due: July 21, 2015
Conference: August 31-September 4, 2015 Continue reading