Automatic Program Verification


Automatic Program Verification
print page

Conference Venue

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

UNRC (from its Spanish name Universidad Nacional de Río Cuarto) is the National University of Río Cuarto. The conference will take place in the campus of the National University of Rio cuarto

Rio Cuarto is located in the center of Argentina (in the state of Cordoba). Witnessed by the imposing look of the Comechingones mountains which surround the green valley and rivers of the area, Río Cuarto offers the comfort and smartness of big cities (population 200,000 in 2004) and opens its doors to discover all its heavenly spots. From that site on, there are innumerable activities that can be enjoyed throughout the entire Sierras del Sur mountain ranges. By riding a horse or taking a 4x4 vehicles excursion, each of these agro farms and landscapes can be unveiled through the day.

Conference location

The conference will take place in the campus of the UNRC, anfiteatro 2, Pabellon 1. Street address: Ruta 36 km 601, Rio Cuarto. See a map here

From the Rio Cuarto city: take bus number 2,5,6,8,13,16 or 17 to "UNRC" (Universidad Nacional Rio Cuarto); or taxi. A taxi from downtown to the university costs about Eu 5-8.