15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 http://sju.edu/lpnmr/ Philadelphia, USA June 4-7, 2019 Co-located with Datalog 2.0 Workshop AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning.…
Category: Asyncronous News
ALP Elections Results
It’s a pleasure to announce that Esra Erdem (Sabanci University, Istanbul) German Vidal (Universitat Politècnica de València) Nicola Leone (UNICAL, Rende) have been elected in the Executive Committee of ALP Newsletter (period 2018-2022). They will work for our favuourite research…
Call for Papers: 12th International Rule Challenge 2018
Call for Papers: 12th International Rule Challenge 2018 http://2018.ruleml-rr.org/challenge.html NOTE: Extended submission deadline: July 31, 2018 Topics The International Rule Challenge 2018 is one of the highlights of the RuleML+RR 2018 conference and seeks to provide competition among innovative rule-oriented…
Call for Participation: RuleML+RR 2018
By Amal Tawakuli
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…
CFP: ICLP-DC 2018 Doctoral Consortium
ICLP-DC 2018 – 14th Doctoral Consortium (DC) on Logic Programming https://logicprogramming.org/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.