Author: Editors

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.

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”