Category: Asyncronous News

CFP: Logic Programming and Non-monotonic Reasoning 2019

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.…

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…

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.