Email Gateway (May 15 2023 at 14:05): Email Gateway (May 15 2023 at 14:05):From: Haniel Barbosa <hanielbbarbosa@gmail.com>
[Apologies for multiple copies]
==============================
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)
Last updated: Jan 04 2025 at 20:18 UTC