By Luís Moniz Pereira and Ari Saptawijaya. Communicated by Editors.
Author: Editors
GULP school and CILC meeting report
The 30th edition of the Italian Conference on Computational Logic (CILC 2015), the annual meeting organized by the Group of researchers and Users of Logic Programming (GULP), took place at the University of Genoa from July 1st to July 3rd,…
Open panel: the future of ICLP Proceedings
Over the last few months, there has been an intense discussion within the Executive Committee of the Association for Logic Programming concerning the publication structure adopted in the International Conference for Logic Programming (ICLP) – the flagship conference of the Association. Because of the…
CFP: International Conference on Compiler Construction
By Manuel Hermenegildo,
IMDEA SW and Technical Univ. of Madrid,
Spain
Editorial June/July 2015
Dear LPers, summer is here with his hot welcome. A number of interesting LP-related events are coming closer – we will have a very exciting ICLP in Cork, Ireland (co-located with CP) and LPNMR in Lexington, USA. We hope to…
Call for Participation: ICLP 2015
By Ian Miguel,
University of St. Andrews,
Scotland
Before the penalties or the geometry of soccer
By Paolo Baldan (1) and Roberto Bruni (2) (1) Univ. of Padova, Department of Pure and Applied Mathematics (2) Univ. of Pisa, Computer Science Department It’s the end of the extra time of the final the European football championship. It has been…
Infinitary Formulas in Answer Set Programming
By Amelia Harrison, Vladimir Lifschitz, and Miroslaw Truszczynski. Communicated by Pedro Cabalar Fernandez and Michael Fink.
Call for Participation: CADE-2015
by Amy Felty,
University of Ottawa,
Canada
Editorial, March/April 2015
by Editors