Call For Papers: ICLP 2013. Istanbul, Turkey, August 24-28, 2013
Asyncronous News
CFP: LPNMR 2013
by Editors • • Comments Off
Call For Papers: LPNMR 2013. Corunna, Spain, Sept 15-19, 2013. Deadline April 24 2013.
Doctoral Position for Logical Agents Research
by Editors • • Comments Off
by Stefania Costantini
University of L’Aquila, Italy
ICLP: Test of Time Awards
by Editors • • Comments Off
By Agostino Dovier and Vitor Santos Costa
REPORT: ACP School in Wrocław
by Editors • • Comments Off
Report of the ACP School, by A. Dovier
PADL 2013: Last CFP and deadline extension
by Editors • • Comments Off
PADL 2013.
Turing is Among Us
by Editors • • Comments Off
By Luis Moniz Pereira
Call For Participation: ICLP 2012
by Editors • • Comments Off
Registration to ICLP12 (Budapest, 4-8 September 2012) is open
Call for Participation: Datalog 2.0 Workshop
by Editors • • Comments Off
By Datalog 2.0
Call for Participation: 3rd International Conference on Interactive Theorem Proving
by Editors • • Comments Off
By Amy Felty,
University of Ottawa,
Canada