By Maurizio Proietti
IASI-CNR
Italy
Month: February 2014
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