O programa do 10th International Workshop on Theorem-Proving Components for Educational Software já está disponível em https://www.uc.pt/en/congressos/thedu/ThEdu21/programme
[]s, Joao Marcos ---------- Forwarded message --------- (please visit CADE28 webpage https://www.cs.cmu.edu/~mheule/CADE28/ for all the details) Participants of CADE-28 need to register at https://www.conftool.org/cade28/index.php <https://www.conftool.org/cade28/index.php> . Registration includes the ability to attend the workshops and tutorials. Standard registration is now open and closes on July 4, 2021. Late registration (higher fees) will start on July 5, 2021. There are three types of participants: - Author participants (standard $120, late $150), whose registration fee will partially cover the conference costs. For each accepted conference paper, one author needs to register as an author participant. A single author registration covers only a single paper; and - Regular participants (standard $50, late $80); and - Student participants (standard $20, late $30). Students of accepted papers are eligible for a Woody Bledsoe award covering the student registration fee (but not an author registration fee). Advisors can nomiante their students for a Woody Bledsoe award at registrat...@cade-28.info. Alternatively, one can register only for the workshops and tutorials (standard $20, late $30) or only for CASC (standard $65, late $85). -- 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/CAO6j_LiCcdjZ3yGfL6RMag8CrKzUw5PAfzsYX%3D1uU5nww4EvDw%40mail.gmail.com.