CALL FOR PAPERS 9th Italian Convention on Computational Logic (CILC 2012) Rome, June 6-7, 2012
Category: Call for papers
CFP: PPDP 2012
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)
CFP: LOPSTR 2012
22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012. Leuven, Belgium, September 18-20, 2012 (co-located with PPDP 2012)
CFP: 6th International Conference on Web Reasoning and Rule Systems
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…
CFP: ICLP 2012
28th International Conference on Logic Programming (ICLP 2012), Budapest, Hungary, September 4-8, 2012, http://www.cs.bme.hu/iclp2012/
CFP: COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2012)
By Stefan Woltran
Vienna University of Technology,
Austria
CFP: 3rd International Conference on Interactive Theorem Proving
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…
CFP: 14th International Workshop on Non-Monotonic Reasoning (NMR 2012)
By Stefan Woltran,
Vienna University of Technology,
Austria
CFP: Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012)
By Tom Schrijvers,
Ghent University,
Belgium
CFP: Declarative Aspects of Multicore Programming (DAMP’12)
by Vitor Santos Costa,
University of Porto,
Portugal