Dear LPers, Welcome back – your ALP newsletter is glad to give you a belated “Happy 2014” with its first issue of the year. The ALP newsletter is regularly rotating the membership to its editorial board; after 4 years of…
CFP: CICLOPS and WLPE 2014
EXTENDED DEADLINE!!!
Probabilistic Inductive Logic Programming
By Fabrizio Riguzzi, Dipartimento di Matematica e Informatica, Univ. of Ferrara, Italy
CFP: LaSh 2014
WORKSHOP ON LOGIC AND SEARCH – LaSh 2014. Representing and Solving Computational Search Problems. Vienna, Austria, July 18, 2014
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