Category: Call for papers

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: PADL 2012

Call for Papers: 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012)
Philadelphia, Pennsylvania, USA, January 23-24, 2012

CFP: EPIA/COLA 2011

CFP: EPIA/COLA 2011: 15th Portuguese Conference on Artificial Intelligence, COLA – COmputational Logic with Applications.