[TYPES/announce] ETMF 2023 (co-located with SBMF 2023) - Call for participation

[Haniel Barbosa]

[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://urldefense.com/v3/__https://sbmf23.ufam.edu.br/etmf.php__;!!IBzWLUs!TvVXCWYTEswe76DYElALF0yDzXzl9DggtqO6BGP8RGcrLDlD-EAes1ullVExFuFDbV9czkRwxPJf1wmy_8u0w76N7EQKPYbQIPbS6KM$ 

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://urldefense.com/v3/__https://sbmf23.ufam.edu.br/*registrationinfo__;Iw!!IBzWLUs!TvVXCWYTEswe76DYElALF0yDzXzl9DggtqO6BGP8RGcrLDlD-EAes1ullVExFuFDbV9czkRwxPJf1wmy_8u0w76N7EQKPYbQTA5Ay8o$ 

*** 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 (hbarbosa at dcc.ufmg.br).

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: edjard at icomp.ufam.edu.br, hbarbosa at dcc.ufmg.br.