Search: (more)
Header

Conference Calendar: Conference AITP

WWW WWW   AITP 2018
Artificial Intelligence and Theorem Proving
25 Mar 2018 - 30 Mar 2018 (Aussois, France)
| abstracts: 03 Dec 2017 | papers: 03 Dec 2017 | notification: 10 Jan 2018 |
 
WWW WWW   AITP 2017
Artificial Intelligence and Theorem Proving
26 Mar 2017 - 30 Mar 2017 (Obergurgl, Austria)
| abstracts: 01 Dec 2016 | papers: 01 Dec 2016 | notification: 23 Dec 2016 |
 
WWW WWW   AITP 2016
Artificial Intelligence and Theorem Proving
03 Apr 2016 - 06 Apr 2016 (Obergurgl, Austria)
| papers: 12 Dec 2015 | notification: 23 Dec 2015 |