Category: Call for papers

CFP: ICLP 2012

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

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