CADE-29: Call for participation

[Haniel Barbosa]

[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)