[TYPES/announce] 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://urldefense.com/v3/__https://easyconferences.eu/cade2023/__;!!IBzWLUs!QerPpgmzxWvMFUwamG5jNy40jOy-4k21MtLwdA_Mw78RXcivhawgWLIBbiw0Klpjn_C1HRJQrgburpJQoebcjn3k_J20PvCjGHjcH1w$ 

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://urldefense.com/v3/__https://easyconferences.eu/cade2023/__;!!IBzWLUs!QerPpgmzxWvMFUwamG5jNy40jOy-4k21MtLwdA_Mw78RXcivhawgWLIBbiw0Klpjn_C1HRJQrgburpJQoebcjn3k_J20PvCjGHjcH1w$ 

*** 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://urldefense.com/v3/__https://www.tptp.org/CASC/29/__;!!IBzWLUs!QerPpgmzxWvMFUwamG5jNy40jOy-4k21MtLwdA_Mw78RXcivhawgWLIBbiw0Klpjn_C1HRJQrgburpJQoebcjn3k_J20PvCjJ0Kfj0o$ 

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