Logics

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
COMPUTATION TOOLS 2019 The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
May 5, 2019 - May 9, 2019 Venice, Italy Jan 7, 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)
Expired CFPs
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 16 CFPs in 1 pages