CIn-UFPE sedia XX Simpósio Brasileiro de Métodos Formais

CIn-UFPE

A partir da próxima 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/nov e 28/nov), 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/nov, 30/nov e 01/dez), o SBMF traz palestras de renomados pesquisadores da área, tais como: Dimitra Giannakopoulou (NASA), Christoph Benzmüller (Universidade de Luxemburgo) e Ana Cavalcanti (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 do CIn-UFPE Gustavo Carvalho, 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.

PROGRAMAÇÃO:

Dias 27/nov e 28/nov

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/nov, 30/nov e 01/dez

 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)

Sobre Iúri Moreira 565 Artigos
Jornalista, músico, fotógrafo, marido de Isabela, pai de Arthur, fã dos Beatles e do Iron Maiden. Geek e cinéfilo, também é viciado em seriados e games. Nas horas vagas, pode ser encontrado gravando no homestudio, mexendo na moto, cozinhando ou desmontando algum equipamento eletrônico.

Seja o primeiro a comentar

Faça um comentário

Seu e-mail não será divulgado.


*