By Datalog 2.0
Author: Editors
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…
On the Application of the Answer Set Programming System DLV in Industry: a Report from the Field
By Francesco Calimeri and Francesco Ricca, Univ. of Calabria and DLV Systems, Rende, Italy
Implementing Network Protocols as Distributed Logic Programs
By Boon Thau Loo, University of Pennsylvania
2012 ACP Summer School in Constraint Programming
ACP Summer School, Wroclaw, Poland, Sept 24-28, 2012
FLOPS 2012 – Call for Participation
FLOPS 2012, May 23-25, Kobe, Japan – call for participation. Communciated by Tom Schrijvers