Logics

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
COMPUTATION TOOLS 2017 The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
Feb 19, 2017 - Feb 23, 2017 Athens, Greece Nov 1, 2016
SLIE 2016 Semantic, Logics, Information Extraction and AI (SLIE)
May 16, 2016 - May 18, 2016 Key Largo, Florida Nov 16, 2015
COMP-INT (ACM-MEDES) 2015 Special Track: Computational Intelligence (ACM-MEDES 2015)
Oct 25, 2015 - Oct 29, 2015 Caraguatatuba/Sao Paulo (Brazil) May 15, 2015
SLIE 2015 Semantic, Logics, Information Extraction and AI (Special track in AAAI-FLAIRS 2015)
May 18, 2015 - May 20, 2015 Hollywood Beach (Florida) Nov 17, 2014
CLIMA XV 2014 15th International Workshop on Computational Logic in Multi-Agent Systems
Aug 18, 2014 - Aug 19, 2014 Prague, Czech Republic May 11, 2014
ICFCA 2014 12th International Conference on Formal Concept Analysis
Jun 10, 2014 - Jun 13, 2014 Cluj-Napoca, Romania Jan 10, 2013 (Dec 20, 2013)
ICFCA 2013 11th International Conference on Formal Concept Analysis (ICFCA 2013)
May 21, 2012 - May 24, 2012 Dresden, Germany Dec 17, 2012 (Dec 10, 2012)
COMPUTATION TOOLS 2012 The Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
Jul 22, 2012 - Jul 27, 2012 Nice, France Mar 5, 2012
Pervasive @ FM 2011 Formal Methods for Pervasive Systems
Jun 20, 2011 - Jun 20, 2011 Limerick, Ireland Mar 20, 2011
COMPUTATION TOOLS 2010 The First International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
Nov 21, 2010 - Nov 26, 2010 Lisbon, Portugal Jun 20, 2010
PLMMS 2008 Programming Languages for Mechanized Mathematics Systems
Jul 28, 2008 - Jul 29, 2008 Birmingham, UK May 5, 2008
first | previous | Page 1 | next | last Total of 11 CFPs in 1 pages