By Francesca A. Lisi, Università degli Studi di Bari “A. Moro”, Italy
Author: Editors
Modelling and analysis of real time systems with Logic Programming and Constraints
Gourinath Banda, Roskilde University, Denmark
Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science (EPTCS) was
launched by Rob van Glabbeek in 2009, as an initiative to have
proceedings of all worthy workshops in Theoretical Computer Science
freely available on-line …
ICLP10: Accepted papers
Full papers of the 26th International Conference on Logic Programming have been published in a Special issue of TPLP. See here for the list. Technical Communications and invited speaker notes of the 26th International Conference on Logic Programming have been…
How to Solve it With B-Prolog?
by Neng-Fa Zhou, Brooklyn College, CUNY, USA
Salvador Abreu, University of Evora, Portugal
Ulrich Neumerkel, TU Wien, Austria
DOCTORAL POSITION
DOCTORAL POSITION in Logic Programming @
Department of Applied Mathematics and Computer Science
University of Ghent, Belgium.
Workshop Report: ASPOCP 2010
by Marcello Balduccini, Kodak Research Labs, USA
Stefan Woltran, Vienna University of Technology, Austria
Workshop Report: Joint CICLOPS/WLPE 2010
by German Vidal, Universidad Politecnica de Madrid, Spain
Neng-fa Zhou, The City University of New York, USA
Report of the 17th Prolog Programming Contest
By Tom Schrijvers
KULeuven, Belgium
Planet Prolog: Call for Blogs and Feeds
By Tom Schrijvers, KULeuven, Belgium