Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems. 9-10 July 2018, Stockholm University. Communicated by Riccardo De Masellis.
Author: Editors
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.
CFP: RuleML+RR 2018: International Joint Conference on Rules and Reasoning
By Francesco Ricca
University of Calabria
Italy
CFP: WiL 2018: Second Women in Logic Workshop
By Amy Felty,
University of Ottawa,
Canada
CFP: KR 2018 Doctoral Consortium
By Marcello Balduccini
Saint Joseph’s University
USA
CFP: KR 2018
By Marcello Balduccini
Saint Joseph’s University
USA
Faculty Positions, Imperial College
By Francesca Toni,
Imperial College,
UK
Editorial, Vol. 30, No. 3, October 2017
Dear LPers, Welcome to the Fall issue of your favorite newsletter. As we anticipated during the ALP meeting at ICLP in Melborne, we have some great news: the newsletter is launching a new effort aimed at promoting students’ contributions to…
ICLP 2017 report
By Ricardo Rocha, University of Porto and Tran Cao Son, New Mexico State University The 33rd edition of the International Conference of Logic Programming (ICLP 2017) took place in Melbourne, Australia from the 28th of August to the 1st of…
Workshop Proposals: KR 2018 Workshops and Tutorials
By Marcello Balduccini,
Saint Joseph’s University
USA