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…
Editorial, March 2012
Dear LPers, In the last three months we posted several important announcements: various call for papers and positions, the Book Review of Luís Moniz Pereira on the Book by Bob Kowalski, and the new document for ISO Prolog (by Jonathan…