By Agostino Dovier and Vitor Santos Costa
Category: Asyncronous News
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
Job Opportunity: Consulting Positions in LP
Looking for 1 or 2 software engineers for a long-term consulting engagement in the Washington, DC, area. The application provides a reasoning component to a parallel high-transaction rate VLDB application environment. Other components are Java, C, .Net and script languages…