Automated Reasoning

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
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
AREIS 2012 Automated Reasoning for Enterprise Information Systems
Jul 1, 2012 - Jul 1, 2012 Manchester, UK May 3, 2012
RuleML 2012 The 6th International Symposium on Rules
Aug 27, 2012 - Aug 29, 2012 Montpellier, France Apr 5, 2012
IRMLeS 2010 2nd ESWC Workshop on Inductive Reasoning and Machine Learning for the Semantic Web
May 31, 2010 - May 31, 2010 Heraklion Mar 31, 2010
IJCAR 2010 International Joint Conference on Automated Reasoning
Jul 16, 2010 - Jul 19, 2010 Edinburgh, United Kingdom Jan 22, 2010 (Jan 15, 2010)
CEDAR 2008 Complexity, Expressibility, and Decidability in Automated Reasoning
Aug 10, 2008 - Aug 15, 2008 Sydney, Australia May 19, 2008
first | previous | Page 2 | next | last Total of 30 CFPs in 2 pages