WORKSHOP ON LOGIC AND SEARCH – LaSh 2014. Representing and Solving Computational Search Problems. Vienna, Austria, July 18, 2014
Author: Editors
CFP: Workshop on Horn Clauses for Verification and Synthesis
By Fabio Fioravanti
University of Chieti-Pescara,
Italy
CFP: Logic-Based Program Synthesis and Transformation 2014
By Maurizio Proietti
IASI-CNR
Italy
CFP: LFMTP 2014: 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
By Amy Felty,
University of Ottawa,
Canada
CFP: CP 2014
Call For Papers. CP 2014, September 8-12. Lyon, France
CFP: JELIA 2014
14th European Conference on Logics in Artificial Intelligence
Madeira Island, Portugal
September 24-26, 2014
CFP: Probabilistic Logic Programming
Communicated by Angelika Kimmig
Book Announcement
Communicated by Krzysztof Apt
Antoni Niederlinski
A Gentle Guide to Constraint Logic Programming
via ECLiPSe Third edition, 2014, 570 p. ISBN 978-83-62652-08-2
The book is freely downloadable from http://www.anclp.pl/
The European Master’s Program in Computational Logic
By Luis Moniz Pereira
Universidade Nova de Lisboa
Portugal
Editorial – December 2013
Dear LP’ers, welcome to the last issue of our ALP newsletter for the 2013. It has been a busy year, with many interesting events. As we get to the end of the year, we reflect on how our beloved LP…