Accepted papers of ICLP 2014. See you in Vienna.
Author: Editors
LogiCS: Doctoral College on Logical Methods in Computer Science
by Thomas Krennwallner,
TU Wien,
Austria
MSc in Cognitive Systems: Language, Learning, and Reasoning
By T. Schaub
University of Potsdam
Germany
Editorial, March 2014
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
CFP: LFMTP 2014: 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
By Amy Felty,
University of Ottawa,
Canada