Professores do Centro atuaram na coordenação científica de conferências realizadas em Tóquio, fortalecendo a presença internacional do CIn na área de Métodos Formais
O Centro de Informática (CIn) da UFPE marcou presença na organização de importantes eventos internacionais da área de Métodos Formais realizados em maio de 2026, em Tóquio, no Japão. A participação reforça o reconhecimento internacional da expertise do Centro em ensino, pesquisa e aplicação de técnicas formais para o desenvolvimento de sistemas computacionais confiáveis.
O professor Augusto Sampaio atuou, ao lado da professora Mariëlle Stoelinga, da University of Twente, como Coordenador do Comitê de Programa do 27th International Symposium on Formal Methods (FM 2026), um dos principais eventos mundiais da área. O Comitê de Programa é responsável pela avaliação e seleção dos artigos científicos que compõem a programação técnica da conferência, disponíveis em: (anais do evento).
Também representando o CIn-UFPE, o professor Gustavo Carvalho coordenou, em parceria com o professor Tsutomu Kobayashi, da Japan Aerospace Exploration Agency, o Comitê de Programa do 7th Formal Methods Teaching Workshop (FMTea 2026). O workshop é dedicado à discussão de estratégias, desafios e experiências relacionadas ao ensino de Métodos Formais em diferentes contextos acadêmicos e profissionais.
Assim como no FM 2026, os anais do FMTea 2026 foram organizados pelos coordenadores do evento e disponibilizados para a comunidade científica internacional, uma contribuição significativa para o avanço das discussões sobre formação e educação na área.
A participação dos docentes reflete a atuação destacada do grupo de pesquisa CIn-TRUST. Reconhecido internacionalmente por suas contribuições em pesquisa, ensino e transferência de tecnologia em Métodos Formais, o grupo mantém colaborações com instituições e pesquisadores de diversos países. Estudantes interessados em conhecer mais sobre a área e as oportunidades de pesquisa desenvolvidas pelo grupo podem entrar em contato pelo e-mail trust@cin.ufpe.br.
Comentários desativados