Author: Editors

PhD Position: INSIGHT Centre for Data Analytics

PhD Position INSIGHT Centre for Data Analytics, Dublin City University In collaboration with the Amsterdam Data Science (NL) and Nokia Bell-Labs (IE) We invite applications for a PhD fellowship at the INSIGHT Centre for Data Analytics, Dublin City University. The…

DLV: Evolution and Perspectives

DLV is a system for Answer Set Programming (ASP), a logic-based programming paradigm for solving problems in a fully declarative way. It has been one of the first solid and reliable ASP systems, widely used in academy and fruitfully employed in many relevant industrial applications. In this paper …

CFP: ICLP-DC 2018 Doctoral Consortium

ICLP-DC 2018 –  14th Doctoral Consortium (DC) on Logic Programming https://www.cs.nmsu.edu/ALP/iclp2018/Proceedings/ICLP_DC.html   Call for Applications The 14th Doctoral Consortium (DC) on Logic Programming will be held in conjunction with ICLP 2018 and FLoC 2018. It provides a forum for students…

CFP: CICLOPS 2018

CICLOPS 2017: Call for Papers and Talk Proposals 16th International Colloquium on Implementation of Constraint and LOgic Programming Systems  18 July 2018 Oxford, UK https://people.cs.kuleuven.be/~tom.schrijvers/CICLOPS2018/ Co-located with ICLP’18 and FLoC.  Important Dates  Paper submission: 29 April 2018 Author Notification: 11 May…

LOPSTR 2018: Final Call for Papers

28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018. Deadline April 8. Communicated by Fred Mesnard

CFP: FMLAMAS 2018 at Stockholm

Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems. 9-10 July 2018, Stockholm University. Communicated by Riccardo De Masellis.

16 PhD Positions in Austria

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 44 students.