[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) -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87cz35fvji.fsf%40gmail.com.