Author: Editors

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 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)

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”