By Sarah Alice Gaggl, Stefan Woltran
Vienna University of Technology,
Austria
Author: Editors
ICLP 2012: Accepted papers
Ordering is according submission number. Full papers will be published in a special issue of TPLP. Technical communications instead will be published in a LIPICS (Schloss Dagstuhl) issue. Full papers Miguel Areias and Ricardo Rocha. Towards Multi-Threaded Local Tabling Using…
TOY: A CFLP Language and System
By I. Castiñeiras, J. Correas, S. Estévez-Martín, and F. Sáenz-Pérez (U.C. Madrid)
CILC 2012 – a quick report
CILC 2012 – a quick report. By Agostino Dovier
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…