By Paolo Baldan (Univ. of Padova) and Roberto Bruni (Univ. of Pisa)
Author: Editors
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
CFP: Argumentation Technologies@CLIMA XIV
By Paolo Torroni,
University of Bologna, Italy
Editorial, March 2013
Dear LPers, Welcome to the new issue of your ALP newsletter. First of all, Happy Easter to all of you. While Easter time is a time of rest and family for most, it is not time for vacation for logic…