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
CFP: CP 2014
Call For Papers. CP 2014, September 8-12. Lyon, France