============================== CADE-29 CALL FOR PARTICIPATION ==============================
The 29th International Conference on Automated Deduction Rome, Italy 1 July - 6 July 2023 https://easyconferences.eu/cade2023/ CADE-29 is co-located with the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) *** KEYNOTE SPEAKERS *** Maribel Fernandez (Kings College London) (joint invited with FSCD 2023) Jasmin Blanchette (Ludwig-Maximilan Universität München) *** RESEARCH PROGRAM *** https://easyconferences.eu/cade2023/ *** WORKSHOPS *** ADeMaL: Automated Deduction for Machine Learning â Date: 05 July Vampire 2023: The 7th Vampire Workshop â Date: 05 July Theorem Proving Components for Educational Software (ThEdu'23) â Date: 05 July SMT'23: The 21st International Workshop on Satisfiability Modulo Theories â Date: 05-06 July *** SYSTEM COMPETITION *** CASC (CADE System Competition) https://www.tptp.org/CASC/29/ *** REGISTRATION *** Early registration until 31 May 2023 Late registration from 1 June 2023 *** VENUE *** The Faculty of Civil and Industrial Engineering Sapienza University of Rome *** CADE-29 ORGANIZERS *** Conference Chairs: Daniele Gorla (Sapienza University of Rome) Program Committee Chairs: Brigitte Pientka (McGill University) Cesare Tinelli (University of Iowa) Workshop & Tutorial Chair: Ivano Salvo (Sapienza University of Rome) Publicity Chair: Haniel Barbosa (Universidade Federal de Minas Gerais)
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info