Automated Reasoning

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
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 25 CFPs in 2 pages