By Paolo Baldan, University of Padova and
Roberto Bruni, University of Pisa
CFP: Foundations of Information and Knowledge Systems (FoIKS)
By Stefan Woltran,
Technical University of Vienna, Austria
Invited Presentation: LPNMR 2017
by Marcello Balduccini,
Drexel University, USA
In Memoriam: Alain Colmerauer
By
Frédéric Benhamou
Editorial: April/May 2017
Dear LP’ers, Welcome to another issue of your favorite newsletter. The logic programming field is alive and well, and the summer plans for conferences and events are in full swing. ICLP 2017 is coming quickly our way, in beautiful Australia…
CFP: CPP 2018
CALL FOR PAPERS The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018) co-located with POPL 2018 in cooperation with ACM SIGLOG http://popl18.sigplan.org/track/CPP-2018 8-9 January, 2018, Los Angeles, USA Certified Programs and Proofs (CPP) is an international…