The Brazilian Symposium on Formal Methods

from 21/11/2016 to 25/11/2016


Description

The Brazilian Symposium on Formal Methods (SBMF) is a Brazilian symposium dedicated to the study and the application of Formal Methods in the development of software systems.

This symposium also has established itself in the national scientific calendar as an important scientific-technical event in the software area. Its first edition took place in 1998, going for its 19th edition in 2016. The SBMF event is devoted to the dissemination of the development and use of formal methods for the construction and verification of computer systems, aiming to promote opportunities for researchers with interests in formal methods to discuss recent advances in the area.

Visit the official website: http://sbmf2016.imd.ufrn.br

Share

Hotels

Hotel Category Single Double Triple
QUALITY SUITES HOTEL (4 estrelas) superior room (Daily per Room) R$ 183,00 Book R$ 228,00 Book R$ 318,00 Book Pictures
Holiday Inn Arena Standard (Daily per Room) R$ 216,00 Book R$ 256,00 Book R$ 296,00 Book Pictures

Opcionais

Service Value per person
Forró with tourist R$ 69,00 Book
Galinhos R$ 125,00 Book
Punaú Beach R$ 88,00 Book
Perobas with Boat R$ 169,00 Book
Barra de Cunhaú with Boat R$ 125,00 Book
Buggy ride - North Coast R$ 130,00 Book
Maracajaú with Boat R$ 160,00 Book
Pipa Beach R$ 75,00 Book
City Tour - South Coast R$ 60,00 Book
Transfer round Round Aero / Hotel / Aero R$ 120,00 Book
Go to cart
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

from 21/11/2016 to 25/11/2016

The Brazilian Symposium on Formal Methods (SBMF) is a Brazilian symposium dedicated to the study and the application of Formal Methods in the development of software systems. This symposium also has established itself in the national scientific calendar as an important scientific-technical event in the software area. Its first edition took place in 1998, going for its 19th edition in 2016. The SBMF event is devoted to the dissemination of the development and use of formal methods for the construction and verification of computer systems, aiming to promote opportunities for researchers with interests in formal methods to discuss recent advances in the area.

Hotels

Hotel Category Single Double Triple
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

Service Value per person
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