Logics

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
COMPUTATION TOOLS 2022(new) The Thirteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
Apr 24, 2022 - Apr 28, 2022 Barcelona, Spain Jan 10, 2022
SLIE 2022 Semantics, Logics, Information Extraction and AI
May 15, 2022 - May 18, 2022 Hutchinson Beach Jan 24, 2022 (Jan 17, 2022)
Expired CFPs
CIFMA 2021 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications
Dec 6, 2021 - Dec 6, 2021 VIRTUAL EVENT Oct 1, 2021 (Sep 24, 2021)
GandALF 2021 International Symposium on Games, Automata, Logics, and Formal Verification
Sep 20, 2021 - Sep 22, 2021 Padua Jul 7, 2021 (Jun 30, 2021)
COMPUTATION TOOLS 2021 The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
Apr 18, 2021 - Apr 22, 2021 Porto, Portugal Feb 5, 2021
REAL INNOVATION 2019 REAL INNOVATION Rio de Janeiro | December 2019
Dec 8, 2019 - Dec 13, 2019 Rio de Janeiro Nov 20, 2019
GandAlf 2019 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)
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 24 CFPs in 2 pages