Automated Reasoning

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
AMAI 2021 Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
N/A N/A Jan 31, 2021
SIGLOG/VCLA/ILLC Awards for WiL 2020 SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)
Jun 30, 2020 - Jun 30, 2020 Paris, France May 15, 2020
UNIF 2020 The 34th International Workshop on Unification
Jun 29, 2020 - Jun 29, 2020 online Apr 27, 2020 (Apr 20, 2020)
IJCAR 2020 10th International Joint Conference on Automated Reasoning
Jun 29, 2020 - Jul 5, 2020 Paris, France Jan 23, 2020 (Jan 16, 2020)
DPSW 2020 Declarative Problem Solving Workshop
Jun 9, 2019 - Jun 9, 2019 Santiago de Compostela Spain Apr 20, 2019
LPAR 2018 International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Nov 16, 2018 - Nov 21, 2018 Awassa, Ethiopia Aug 13, 2018 (Aug 6, 2018)
MIREL 2018 MIREL 2018 workshop on MIning and REasoning with Legal texts
Sep 17, 2018 - Sep 17, 2018 Luxembourg Jul 2, 2018
ARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics
Jul 18, 2018 - Jul 18, 2018 Oxford Apr 15, 2018 (Apr 8, 2018)
IJCAR 2018 9th International Joint Conference on Automated Reasoning
Jul 14, 2018 - Jul 17, 2018 Oxford, United Kingdom Jan 29, 2018 (Jan 22, 2018)
GCAI 2017 The 3rd Global Conference on Artificial Intelligence (GCAI 2017), Miami, USA, 18-22 October 2017
Oct 18, 2017 - Oct 22, 2017 Miami, USA Jul 21, 2017 (Jul 14, 2017)
DT 2017 Deduktionstreffen 2017
Sep 25, 2017 - Sep 26, 2017 TU Dortmund, Germany Jul 15, 2017
ICCMIT 2017 International Conference on Communication, Management and Information Technology (ICCMIT 2017)
Apr 3, 2017 - Apr 5, 2017 Poland Mar 1, 2017
LPAR 2017 International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
May 7, 2017 - May 12, 2017 Maun, Botswana Jan 15, 2017 (Jan 1, 2017)
Artificial Intelligence Workshop - ENC 2016 Artificial Intelligence Workshop: Methods and applications - At Mexican International Conference on Computer Science 2016 (ENC 2016)
Nov 14, 2016 - Nov 16, 2016 Chihuahua, México Aug 31, 2016
Bridging 2016 Bridging the Gap between Human and Automated Reasoning
Jul 9, 2016 - Jul 9, 2016 an IJCAI-16 workshop in New York Apr 18, 2016
FroCoS 2015 10th International Symposium on Frontiers of Combining Systems
Sep 21, 2015 - Sep 24, 2015 Wroclaw, Poland May 10, 2015 (May 4, 2015)
URSW 2014 10th International Workshop on Uncertainty Reasoning for the Semantic Web [@ ISWC]
Oct 19, 2014 - Oct 20, 2014 Riva del Garda, Italy Jul 7, 2014
C3GI 2014 3rd International Workshop on Computational Creativity, Concept Invention, and General Intelligence
Aug 19, 2014 - Aug 19, 2014 Prague, CZ Jun 1, 2014
SCSS 2013 5th International Symposium on Symbolic Computation in Software Science
Jul 5, 2013 - Jul 6, 2013 Castle of Hagenberg, Austria May 3, 2013 (Apr 30, 2013)
ARSEC 2013 Automated Reasoning in Security
Jun 9, 2013 - Jun 9, 2013 Lake Placid, New York Apr 8, 2013
first | previous | Page 1 | next | last Total of 26 CFPs in 2 pages