Communicated by Fariba Sadri, IC London, (co-chair)
Category: Asyncronous News
CFP: International Conference on Logic Programming (ICLP 2015)
By Francesca Toni and Tomas Eiter
Imperial College and University of Vienna
UK and Austria
CFP: IJAR special issue on Probabilistic Logic Programming
by Nicos Angelopoulos
Imperial College
UK
CFP: CADE Workshops, Tutorials, System Competitions, Papers
by Amy Felty,
University of Ottawa,
Canada
CFP: Workshop on Constraint-Based Methods for Bioinformatics
by Nicos Angelopoulos
Imperial College, UK
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
CFP: CICLOPS and WLPE 2014
EXTENDED DEADLINE!!!
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