Show more

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

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

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

14th International Conference on Risks and Security of Internet and Systems, October 29-31, 2019 Hammamet, Tunisia

Computability in Europe, June 29-July 3, 2020 University of Salerno, Fisciano campus

Show more

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!