ICTAC 2010 banner. 1-3 September 2010, Natal, Brazil.


Satellite events:



Formal Methods Europe



Miranda Computação




ICTAC 2010 - General Information

Important information

Foreigners need to be able to present their passport at any time to the police. Failure to do so may result in being taken to the Federal Police station and a fine.


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. The electric adapters usually accept both round pin and flat blade plugs. For extensive details on electric adapters in Brazil, please have a look here.


The official language of Brazil is Portuguese. If you speak Spanish or Italian, you may be able to communicate without too much difficulties with most people. Natal is a popular touristic destination and has been receiving travelers from different countries, more and more people are trained to work with foreign visitors and to communicate in English.

How to get there

Airports: The only major airport in the State of Rio Grande do Norte is Aeroporto Augusto Severo, in Parnamirim, about 18 km from downtown Natal. DIn 2000, the aiport was completely refurbished. 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. Natal also receives direct flights from Europe: regular flights from Lisbon and charter flights from several european countries (Germany, Great Britain, Italy, Netherlands, Norway, Portugal, Spain, Sweden).

Transfer from the airport to the hotels can be performed by purchasing a coupon at the airport. The responsible taxi company is Coopertaxi (phone: +55 84 3643 1183); there is a company desk located in the airport.

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:

Financial information

The Brazilian currency is the Real (plural: Reais, abbreviation: BRL). At the date of this writing, 1USD = 1,8BRL and 1EUR = 2,70BRL. 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.

Please access Brazil Central Bank for complete currency exchange rates.


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 sessions!

Touristic destinations

You may want to extend your stay for a few days and discover some of the following activities: