Show more

5th Conference on Artificial Intelligence and Theorem Proving (AITP) March 22-27, 2020 Aussois, France aitp-conference.org/2020/

24th European Conference on Artificial Intelligence June 8-12, 2020 Santiago de Compostela, Spain ecai2020.eu/

International Joint Conference on Automated Reasoning (IJCAR), June 29-July 5, 2020 Paris, France ijcar2020.org/

14th International Conference on Risks and Security of Internet and Systems, October 29-31, 2019 Hammamet, Tunisia crisis2019.redcad.org/

Computability in Europe, June 29-July 3, 2020 University of Salerno, Fisciano campus cie2020.wordpress.com/

Show more
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!