A partir de segunda-feira (27) até o dia 1º de dezembro, o Centro de Informática (CIn) da UFPE será sede do XX Simpósio Brasileiro de Métodos Formais (SBMF), principal simpósio brasileiro dedicado ao estudo e a aplicação de métodos formais no desenvolvimento de sistemas de software.

Nos dois primeiros dias do evento (27 e 28 deste mês), será realizada a Segunda Escola de Informática Teórica e Métodos Formais (ETMF 2017), um evento satélite do SBMF, promovido pela Universidade Federal de Campina Grande (UFCG) e pela UFPE. A escola visa congregar estudantes e pesquisadores para divulgar e promover aspectos teóricos da computação.

Nos dias seguintes (29 e 30 deste mês e 1º de dezembro), o SBMF traz palestras de pesquisadores da área, tais como: Dimitra Giannakopoulou, da Nasa; Christoph Benzmüller, da Universidade de Luxemburgo; e Ana Cavalcanti, da Universidade de York. Além disso, haverá também um painel comemorativo pelos 20 anos do evento e a apresentação de trabalhos científicos.

Segundo o professor Gustavo Carvalho, do CIn, a escolha do centro para sediar esta edição comemorativa de 20 anos do evento destaca a importância no cenário nacional e internacional das atividades de pesquisa e desenvolvimento em métodos formais realizadas pela comunidade do Centro. Mais informações sobre a programação e valores do evento estão disponíveis no site do evento. 

Programação

27/11 e 28/11

Minicurso 1 – Software development with Atelier B 5.0
Thierry Lecomte (ClearSy, França)

Minicurso 2 – Modular static analysis with Infer
Jules Villard (Facebook, Reino Unido)

Tutorial 1 – Model checking de código (em Português)
Marcelo d’Amorim (UFPE, Brasil)

Tutorial 2 – Validation of critical systems with rewriting logic in Maude (em Português)
Christano Braga (UFF, Brasil)

Tutorial 3 – Cálculo lambda: unindo Computação e Lógica (em Português)
Rodrigo Machado (UFRGS, Brasil)

Tutorial 4 – Practices and challenges in refactoring
Volker Stoltz (Western Norway University of Applied Sciences | University of Oslo, Noruega)

29/11, 30/11 e 01/12

Palestra 1 – Automatic test selection: progress and challenges
Patrícia Machado (UFCG, Brasil)

Palestra 2 – To autonomy and beyond: new challenges for verification and validation
Dimitra Giannakopoulou (Nasa, Estados Unidos)

Palestra 3 – Recent successes with a meta-logical approach to universal logical reasoning
Christoph Benzmüller (University of Luxembourg, Luxemburgo | Freie Universität Berlin, Alemanha)

Palestra 4 – Safe simulation for robotics
Ana Cavalcanti (University of York, Reino Unido)