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…
Category: Call for papers
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
CFP: TPLP Special Issue on Probability, Logic and Learning
by Angelika Kimmig
Katholieke Universiteit Leuven, Belgium
CFP: PADL 2012
Call for Papers: 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012)
Philadelphia, Pennsylvania, USA, January 23-24, 2012
Seventh ICLP Doctoral Student Consortium
By Alessandro Dal Palu’,
University of Parma,
Italy
CFP: Colloquium on Implementation of Constraint Logic Programming Systems
July 10, 2011,
Lexington, KY, USA
CFP: EPIA/COLA 2011
CFP: EPIA/COLA 2011: 15th Portuguese Conference on Artificial Intelligence, COLA – COmputational Logic with Applications.
CALL FOR PAPERS
Call for papers of EPIA2011, WLPE 2011, Log-IC2011, RCRA 2011, CLIMA XII, LPMAS2011, CP2011