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

Responder a