SBMF - XIX Brazilian Symposium on Formal Methods

de 21/11/2016 a 25/11/2016


Descrição do evento

O Simpósio Brasileiro de Métodos Formais (SBMF) é um simpósio brasileiro dedicado ao estudo e a aplicação de métodos formais no desenvolvimento de sistemas de software.

Este simpósio também se estabeleceu no calendário científico nacional como um importante evento técnico-científico na área de software. Sua primeira edição ocorreu em 1998, indo para sua 19ª edição em 2016. O evento SBMF é dedicado à disseminação do desenvolvimento e uso de métodos formais para a construção e verificação de sistemas de computador, com o objetivo de promover oportunidades para pesquisadores com interesses em métodos formais para discutir os recentes avanços na área.

Acesse o site oficial do evento: http://sbmf2016.imd.ufrn.br

Compartilhar

Hotéis

Hotel Categoria Individual Duplo Casal/Solteiro Triplo Quádruplo
QUALITY SUITES HOTEL (4 estrelas) superior room (Daily per Room) R$ 183,00 Reservar R$ 228,00 Reservar R$ 318,00 Reservar - Fotos
Holiday Inn Arena Standard (Daily per Room) R$ 216,00 Reservar R$ 256,00 Reservar R$ 296,00 Reservar - Fotos

Opcionais

Serviço Valor por pessoa
Forró with tourist R$ 69,00 Reservar
Galinhos R$ 125,00 Reservar
Punaú Beach R$ 88,00 Reservar
Perobas with Boat R$ 169,00 Reservar
Barra de Cunhaú with Boat R$ 125,00 Reservar
Buggy ride - North Coast R$ 130,00 Reservar
Maracajaú with Boat R$ 160,00 Reservar
Pipa Beach R$ 75,00 Reservar
City Tour - South Coast R$ 60,00 Reservar
Transfer round Round Aero / Hotel / Aero R$ 120,00 Reservar
Ir para o carrinho
Cancellation policy
Up to 90 days of the start of the event::     10% (Ten percent) retention
Up to 60 days of the start the event:           50% (fifty percent) retention
Up to 30 days of the start the event:           No refund
Not applicable in the case of airline tickets
After issuing the ticket, subject to the pricing rules of the airline company

Contato

de 21/11/2016 a 25/11/2016

O Simpósio Brasileiro de Métodos Formais (SBMF) é um simpósio brasileiro dedicado ao estudo e a aplicação de métodos formais no desenvolvimento de sistemas de software. Este simpósio também se estabeleceu no calendário científico nacional como um importante evento técnico-científico na área de software. Sua primeira edição ocorreu em 1998, indo para sua 19ª edição em 2016. O evento SBMF é dedicado à disseminação do desenvolvimento e uso de métodos formais para a construção e verificação de sistemas de computador, com o objetivo de promover oportunidades para pesquisadores com interesses em métodos formais para discutir os recentes avanços na área.

Hotéis

Hotel Categoria Individual Duplo Casal/Solteiro Triplo Quádruplo
QUALITY SUITES HOTEL (4 estrelas) superior room (Daily per Room) R$ 183,00 R$ 228,00 R$ 318,00 -
Holiday Inn Arena Standard (Daily per Room) R$ 216,00 R$ 256,00 R$ 296,00 -

Opcionais

Serviço Valor por pessoa
Forró with tourist R$ 69,00
Galinhos R$ 125,00
Punaú Beach R$ 88,00
Perobas with Boat R$ 169,00
Barra de Cunhaú with Boat R$ 125,00
Buggy ride - North Coast R$ 130,00
Maracajaú with Boat R$ 160,00
Pipa Beach R$ 75,00
City Tour - South Coast R$ 60,00
Transfer round Round Aero / Hotel / Aero R$ 120,00