Logics

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
GandAlf 2019(new) The Tenth International Symposium on Games, Automata, Logics, and Formal Verification
Sep 2, 2019 - Sep 4, 2019 Bordeaux, France May 19, 2019 (May 15, 2019)
Expired CFPs
COMPUTATION TOOLS 2019 The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
May 5, 2019 - May 9, 2019 Venice, Italy Jan 14, 2019
SLIE 2019 Special Track Semantics, Logics, Information extraction and AI
May 19, 2019 - May 22, 2019 Sarasota, Florida Nov 19, 2018 (Feb 18, 2019)
CONCUR 2018 29th International Conference on Concurrency Theory
Sep 4, 2018 - Sep 7, 2018 Beijing, China Apr 23, 2018 (Apr 17, 2018)
SLIE 2018 Semantic, Logics, Information Extraction and AI
May 21, 2018 - May 23, 2018 Melbourne, Florida Nov 20, 2017
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 17 CFPs in 1 pages