Author: Editors

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.

Call for Papers

13th Symposium on Practical Aspects of Declarative Languages (PADL’11)
http://www.dcc.fc.up.pt/PADL-2011

Ten PhD Student Positions in Vienna

The Vienna University of Technology (TU Wien) is offering 10 PhD
student positions within the doctoral program “Mathematical Logic in Computer Science”