Dear LPers, Welcome to the June 2013 Issue of your favorite Newsletter. As you may have noticed, the graphical design of the ALP website (and of the Newsletter) has been slightly changed. We hope you find the current design clean…
Author: Editors
Setting the stage for ASP functions
Pedro Cabalar Fernández, Department of Computer Science,
University of Corunna, SPAIN
Burning Bridges
By Paolo Baldan (Univ. of Padova) and Roberto Bruni (Univ. of Pisa)
Left Field: Education and Cyber-Physical Systems
By Agostino Dovier and Enrico Pontelli
University of Udine and New Mexico State University
Italy and USA
LPNMR 2013: Accepted Papers
By Son Cao Tran,
Department of Computer Science
New Mexico State University
Book Announcement: Programming with Higher-Order Logic
By Dale Miller (INRIA & LIX/Ecole Polytechnique) and Gopalan Nadathur (University of Minnesota)
CFP: WLPE13
By Jose F. Morales IMDEA Software Institute Madrid, Spain and
Rémy Haemmerlé Universidad Politécnica de Madrid Madrid, Spain
CFP: Tenth International Workshop on Constraint Handling Rules
by Henning Christiansen,
Roskilde University,
Denmark
CFP: The 23rd International Conference on Inductive Logic Programming
by Vitor Santos Costa
University of Porto,
Portugal
CFP: 14th International Workshop on Computational Logic in Multi-Agent Systems
By J. Leite,
New University of Lisbon, Portugal