Automatic Program Verification


Automatic Program Verification
print page

Travel Information

The Symposium will be co-located with the RIO 2009 summer school, on February 16-21..

Río Cuarto does not have an international airport, but can be reached by bus from the airport of Buenos Aires or Córdoba.

By air

The international flights to Argentina arrive at the International Airport "Ministro Pistarini (Ezeiza)", which is located 35 kilometres from the city of Buenos Aires, the Federal Capital. It is only a fifteen minutes ride on the "Teniente General Ricchieri" highway.

Domestic flights and those to Uruguay leave from the Jorge Newberry airport, situated in the northern part of the city, close to the Rí­o de la Plata river, five minutes away from the city centre. Aerolí­neas Argentinas, Austral, LADE, LAER, LAPA, SW; and you can fly with TAN into the interior (in particular to Córdoba).

There is a large number of international arrivals and departures to and from the Ing. A. Ambrosio L. V. Taravella International Airport, which is located near the city of Córdoba.

The airports offer 24-hour services of normal and deluxe taxi services, colectivos and minivans.

Travelling by Bus

Río Cuarto has a variety of local, national and international direct services. There are direct services from Buenos Aires to Río Cuarto (about 8 hours), and from Córdoba to Río Cuarto (about 3 hours).

There are several bus lines coming from Buenos Aires: Sierras Cordobesas, Chevallier, Flecha bus, El Turista , TATA, and others. The bus station for national routes in Buenos Aires is to be found on Avenida Ramos Mejí­a 1680, close to the railroad station Retiro. Long distance coaches include "suite","rest rooms", air conditioning and bar service.

There are several bus lines coming from Córdoba: El Turista, LEP, TUS, TAC.

Travelling by car

A well-supplied road network communicates the city of Río cuarto with different points throughout the Country and abroad. National Route N 8 comes from Buenos Aires; from Córdoba you can take Provincial Route N 36.



Río Cuarto is also known as "The Empire of the South". It is the head city of the Department and the second city in importance within the Province. This locality is the business centre of the region, attaining not only an economical influence over the Departments of Tercero Arriba, Juarez Celman, Presidente Roque Saenz Peña, General Roca and Calamuchita, but cultural, social and of infrastructure as well, not to mention several other localities from neighbouring Provinces.

Río Cuarto google satellite maps.

What to Visit

Municipal Museum of Belles Arts

It was founded in the year of 1933 thanks to the supporting funds and objects provided by the Museo Provincial de Bellas Artes and the Museo Nacional de Bellas Artes besides the donations handled by some private collections. It is the seat of the Trapalanda Cultural Centre. Its exhibit halls comprise the works of local and national artists. The present building was inaugurated on September 5th of 1964, because the museum was formerly located at the White Hall of the Municipality.

The art collection of this Museum, comprising official and private donations as well as contributions from local, national and international artists, displays a number of acrylic and water paintings along with drawings, photographs, gouache, etchings; lacquer, oil and pastel paintings, reproductions and sculptures.

Regional Historical Museum General I.Fotheringham

The house that hosts this Museum was built in 1860. It was initially the home of the Ordóñez Villalba family, before being handled over to the Nation as the headquarters of the Comandancia de la Frontera Sur where General Fotheringham dwelled. The Museum proper was created one 14th of January of 1964, wherein archaeological objects and recreations from the urban life and the rural cooking are exhibited. It also contains a small square called "Expedición del Desierto", where a half-body sculpture from the famous general is shown.

There is also displayed information about the first inhabitants of the region, as well as from the conquering of the desert, the struggling between the white men and the aborigines, the mixing of the races, the ranches and the army strongholds, the founding of towns, the participation of the Church, the domination of the aborigines and the arrival of the immigrants. One of the main supporters of this Museum was Don José Bozzano, a local collector who bestowed his 2,000 pieces private collection. The RegionalHistorical Museum was declared a Regional Historical Monument in 1975 and a Historical Site in 1978, being furbished as a museum proper since the year of 1981, during the 195th anniversary of the Town.

Museo del Riel

It is located within the old building of the Andean Cultural Centre, inside the installations of the Andean Railway Station, constructed in 1873. This train station was refurbished although its original 19th century structure was maintained. The Museum is devoted to the times of bliss of the railroad in Rí­o Cuarto.

A still functioning locomotive car is exhibited at this place, along with an assorted collection of other objects concerning the topic of trains. This is the first and only technological and interactive museum of the town. It also has a modern stage where diverse cultural activities are programmed. The Gallery and Workshop of Argentinean Artists is also located within these building, along with the Municipal Historical Registries, the regional premises for the Río Cuarto's S.A.D.E. and the Historical Municipal Board.

National Museum of Technology

This is a joint venture between the Air Forces of Argentina, the Foundation for Culture, and the Area Material Rí­o Cuarto. By the time it will be concluded, this museum will be the largest of the Province as well as from the entire inner regions of the Country.

Sierras del Sur

This lands contain several small villages which lay hidden between the Comechingones Mountain Range, with its half-bred Spanish and indigenous origins. Some of which, as the town of Achiras, were born at a crossroads in 1574 and preserved throughout the passing of times, due to its location besides the road to San Luis, Mendoza and San Juan. The Town of Río de los Sauces, which was founded at the early years of the past century, stands out for the charming beauty of its river. Another town worth visiting is Alpa Corral, or "Stone Corral" as is its name in quechua language.

The Inti Huasi Mountain or the "House of the Sun", has a lot of pictographs which remind us of the ancient aborigines that dwelled in these lands. The Albahacas and the Cachay Mountains are the guardians of these lands, while the locality of Río Cuarto, situated at the lower flatlands, stands as the most important city at the south of the City of Córdoba.

Its farming and stockbreeding production, its commercial activity and its National University are some of its main characteristics. Río Cuarto was the seat of the General Borderline Headquarters during the times of the Conquer of the Desert, and it still keeps some reminders of those long gone times.

On general accounts, its weather can be divided in two major areas: the lower zone, constituted by scattered towns mingling with reservoirs, magnificent rivers and a benign climate; and the higher areas of the Sierra de Comechingones, crowning the highest peaks in Córdoba.

There is a well supplied lodging infrastructure, besides campsites and all the commodities and attractions for the benefit of the visitor. This area is pure history, landscape and an invitation for adventure.