The School of Theoretical Computer Science and Formal Methods (ETMF 2016) is a joint promotion of Federal University of Pelotas (UFPEL) and Federal University of Rio Grande do Norte (UFRN). The school aims to bring together students and researchers to disseminate and promote theoretical aspects of computing. The oficial language of the ETMF 2016 will be portuguese. More information is available here (in portuguese).

This is a gateway to Brazilian Computer Society's Web-based registration system (ECOS). From here, you can access the ECOS main web page, where you can choose either the Portuguese interface or the English interface.

The last day of operation of the online registration service is November 18th. On-site registration will be available from November 22nd on; however, for the sake of planning, we would appreciate early registration of the attendees.

We expect that at least one author of each accepted paper registers to the conference.

REGISTRATION FEES

We have postponed the deadline for Early Registration.

CANCELLATION POLICY:

Registrations may only be cancelled until the 07th of November, 2016. In such cases, only 50% of the registration fee will be refunded. The remaining 50% will not be refunded because they will cover administrative costs.

In 2016, SBMF celebrates the 19th edition of a well established meeting for both the Brazilian and the international researchers on Formal Methods. SBMF started as the Workshop on Formal Methods in 1998 and became the Brazilian Symposium on Formal Methods in 2004.

SBMF 2016 will take place at the Metrópole Digital Institute (IMD).

The building is located at the Federal University of Rio Grande do Norte (UFRN), which is right on Senador Salgado Filho avenue (BR-101). You can find it in the map below:

Currency Exchange: Currency change agencies are available at the airport and in several touristic and shopping areas. You will need to bring your passport to do the transaction (but since you are supposed to carry your passport with you, this should not be a problem).

Electricity Adapters: Brazil is a bi-volt country (110V and 220V), and Natal is a 220V area, and it is very easy to find here voltage converters. Frequency is 60Hz. Since 2011 Brazil uses a plug pattern named NBR 14136, which is only used here. Although some flat blade plugs work well, worth searching on this pattern.

Language: The official language of Brazil is Portuguese. If you speak spanish, you may be able to communicate without too much difficulties with most people. As Natal has received an increasing number of foreign tourists in the last few years from a variety of different countries, more and more people are trained to work with foreign visitors. Hence, some people on restaurants, shops, and taxis speak English.

Financial information: The brazilian currency is the Real (plural: Reais, abbreviation: BRL). At the date of this writing, 1USD = 3,96BRL and 1EUR = 4,36BRL. Most shops, restaurants and hotels accept Visa or Mastercard. You can also change quite easily several foreign currencies (mainly US dollar, Euro, Scandinavian currencies, British pound) to Reais. Prices are cheaper than in Europe or than in North-America, especially in the services industry as the cost of labor is much lower.

Weather: As Natal is located only 5 degrees south of the equator, the population enjoys year-long mild (22C) to hot (35C) temperatures. A constant breeze from the ocean tricks people into forgetting that the sun is very strong. The incidence of UV rays is one of the highest of Brazil and it is strongly recommended to avoid sun-bathing during the hours of the technical session!

In this section you can find some interesting videos about Natal and other nearby cities (most of them in portuguese). We hope you enjoy your stay here!

Airports: The only major airport in the State of Rio Grande do Norte is Aeroporto Internacional Governador Aluízio Alves, in São Gonçalo do Amarante, about 25 km from downtown Natal. It was opened on May 31, 2014 and this airport is considered the best in Brazil in its category. Natal is not a major hub. There are a few direct flights to Natal from other major Brazilian state capitals but many flights have a connection in Recife or Salvador. In the past few years, Natal also become the destination of an increasing number of direct flights from Europe: regular flights from Lisbon and charter flights from several european countries (Germany, Great Britain, Italy, Netherlands, Norway, Portugal, Spain, Sweden).

Important information: Direct flights from Europe to Natal have a very high level of occupancy. It is wise to make early reservation in order to guarantee your seat on such flights (at least, you will get cheapest fares).

Buses: The main bus station of Natal is Rodoviária de Natal. There are buses to and fro, all major cities in northeast. Distances: João Pessoa: 180 km; Recife: 288 km; Fortaleza: 533 km.

Check out these bus companies:

• Viação Nordeste from Natal to João Pessoa and Fortaleza
• Viação Progresso from Natal to Recife and São Luís
• São Geraldo from Natal to Maceió, Aracaju, Rio de Janeiro and São Paulo

Touristic destinations - Extend your stay for a few days and discover some of the following activities:

• Rest at the hotel, walk on the beach, swim in a lukewarm ocean, sip an exotic dream to refill your energies and come back full force to your daily occupations.
• Visit the ecological paradise of the Fernando de Noronha island, a World Heritage property of Unesco, just one hour away of plane from Natal.
• Run, hike or just relax in one of our beautiful parks: Parque da Cidade, Bosque dos Namorados, etc.
• Dive in the reefs of Maracajaú.
• Practice or learn surf, kite surf, wind surf, sand board, etc.
• Discover the magnificent beaches of the state of Rio Grande do Norte: Pipa, São Miguel do Gostoso, Genipabu, etc., etc.

Please note - we recommend you bring the following items: sunscreen, sunglasses, a swimsuit, sandals, and hiking boots or tennis shoes.

Harabello Viagens e Turismo is the official travel agency of SBMF 2016. Click on the logo below to access their website where you can book accommodation, flight tickets, transfers and touristic tours.

Natal has a great variety of restaurants: steak houses, seafood, pizzerias, sushi, etc. Here you can find a list of them:

• Camarões,
• Abade,
• Fogo&Chama,
• Piazzale,
• Takami,
• Buongustaio,
• Mazzano, etc.