Event | When | Where | Deadline | |
ARQNL 2016 |
Automated Reasoning in Quantified Non-Classical Logics | |
Jul 1, 2016 - Jul 1, 2016 |
Coimbra, Portugal |
May 2, 2016 (Apr 25, 2016) |
ARQNL 2016 |
Automated Reasoning in Quantified Non-Classical Logics | |
Jul 1, 2016 - Jul 1, 2016 |
Coimbra, Portugal |
May 2, 2016 (Apr 25, 2016) |
GCAI 2016 |
GCAI 2016, CfP, 2nd Global Conference on Artificial Intelligence, Berlin, Germany, 29th September - 2nd October 2016 | |
Sep 29, 2016 - Oct 2, 2016 |
Berlin, Germany |
Jun 27, 2016 (Jun 23, 2016) |
DT 2017 |
Deduktionstreffen 2017 | |
Sep 25, 2017 - Sep 26, 2017 |
TU Dortmund, Germany |
Jul 15, 2017 |
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) |
ARQNL 2018 |
Automated Reasoning in Quantified Non-Classical Logics | |
Jul 18, 2018 - Jul 18, 2018 |
Oxford |
Apr 15, 2018 (Apr 8, 2018) |
RuleML+RR 2018 |
International Joint Conference on Rules and Reasoning | |
Sep 18, 2018 - Sep 21, 2018 |
Luxembourg |
May 11, 2018 (May 4, 2018) |
KI 2019 |
42nd German Conference on Artificial Intelligence | |
Sep 23, 2019 - Sep 26, 2019 |
Kassel, Germany |
May 17, 2019 (May 12, 2019) |
|