[Apologies for multiple copies] ================================== ETMF 2023 - CALL FOR PARTICIPATION ==================================
The 8th School of Theoretical Computer Science and Formal Methods Manaus, Brazil 4 December 2023 https://sbmf23.ufam.edu.br/etmf.php ETMF 2023 is co-located with the 26th Brazilian Symposium on Formal Methods (SBMF 2023). *** LECTURERS *** Gustavo Carvalho (Universidade Federal de Pernambuco) Lucas Cordeiro (The University of Manchester) *** REGISTRATION *** Registration to ETMF should be done via the SBMF website: https://sbmf23.ufam.edu.br/#registrationinfo *** POSTER SESSION *** SBMF 2023 will have a poster session from students attending ETMF who want to submit a poster. The posters are intended for descriptions of works in progress, student projects and relevant research being published elsewhere. Submissions should be in English, in the form of at most one page abstract, ENTCS format containing title and authors name with affiliation. The files should be sent directly to Haniel Barbosa ([email protected]). The deadline for posters submission is Oct 27, 2023. The notification will be sent to authors Nov 6, 2023. *** FINANCIAL SUPPORT *** SBMF will provide partial support for a limited number of students attending ETMF 2023. If you want to apply, please get in contact via an e-mail to: [email protected], [email protected]. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87pm1woqad.fsf%40gmail.com.
