Call for papers

by Stefan Woltran, TU Wien
Read more »

ICLP2012 - Budapest September 4-8, 2012. Extended Deadline: March 18 registration, March 25 Submission.
Read more »

Call for Papers Theory and Practice of Logic Programming Special Issue on Probability, Logic and Learning
Read more »

CALL FOR PAPERS 9th Italian Convention on Computational Logic (CILC 2012) Rome, June 6-7, 2012
Read more »

14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming PPDP 2012. Leuven, Belgium, September 18-20, 2012 (co-located with LOPSTR 2012)
Read more »

22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012. Leuven, Belgium, September 18-20, 2012 (co-located with PPDP 2012)
Read more »

RR 2012 The 6th International Conference on Web Reasoning and Rule Systems Vienna, Austria, 10-12 September 2012 http://www.rr-conference.org/RR2012/ The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. Highlights in 2012 In addition to regular papers, RR 2012 solicits the submission of TECHNICAL...
Read more »

28th International Conference on Logic Programming (ICLP 2012), Budapest, Hungary, September 4-8, 2012, http://www.cs.bme.hu/iclp2012/
Read more »

By Stefan Woltran Vienna University of Technology, Austria
Read more »

ITP 2012: 3rd International Conference on Interactive Theorem Proving 13-16 August 2012, Princeton, New Jersey, USA http://itp2012.cs.princeton.edu/ ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applications. The inaugural meeting of ITP was held in July 2010 in Edinburgh, Scotland, as part of the Federated Logic Conference (FLoC),...
Read more »