by Stefania Costantini
University of L’Aquila, Italy
Category: Asyncronous News
ICLP: Test of Time Awards
By Agostino Dovier and Vitor Santos Costa
REPORT: ACP School in Wrocław
Report of the ACP School, by A. Dovier
PADL 2013: Last CFP and deadline extension
PADL 2013.
Turing is Among Us
By Luis Moniz Pereira
Call For Participation: ICLP 2012
Registration to ICLP12 (Budapest, 4-8 September 2012) is open
Call for Participation: Datalog 2.0 Workshop
By Datalog 2.0
Call for Participation: 3rd International Conference on Interactive Theorem Proving
By Amy Felty,
University of Ottawa,
Canada
CILC2012 – Accepted Papers and Call for Participation
CILC2012 – Papers Accepted and Call for Participation. By Francesca A. Lisi.
CFP: Eighth ICLP Doctoral Student Consortium
by Stefan Woltran,
TU Wien