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

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”