| Event | When | Where | Deadline | | | Expired CFPs |
| 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 |
| 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 |
|
