University of Padua ~ Department of Pure and Applied Mathematics

Preliminary Call for Participation [PDF]

Springer has published the proceedings of the conference as volume 5026 in their Lecture Notes in Computer Science series.
proceedings accessible online at:

In cooperation with

ACM SIGAda 2008
Annual International Conference on the Ada Programming Language
October 26-30, 2008
Portland, Oregon, USA
official website

Conference Advert [PDF]

Alessandro Lanza
Last updated:
May 5, 2008
13th International Conference on Reliable Software Technologies - Ada-Europe 2008
16-20 June 2008, Venice, Italy

About the Conference Center

The conference takes place at the Centro Culturale Don Orione Artigianelli, at Zattere Dorsoduro 909/A, at the South end of Venice, at some 15 minutes of leisurely walk from Piazza San Marco, perhaps the most renowned spot of the city (though many others deserve to be known and visited). The Centro Culturale ( has been built on the restored remnants of the historical site of a former convent, founded at the end of the XIV century. The Conference facilities (see map on page 3) still overlook the old structure, all around a beautiful cloister. The historical entrance of the Centro (see below) faces the Zattere.

Historical entrance

In addition to the conference facilities, which in the week of June 16-20 will be completely monopolized by the Ada-Europe 2008 conference, the Centro Culturale offers comfortable lodging at competitive rates. An independent restaurant is also located next to the Centro Culturale, which will serve lunch to conference attendees throughout the week.
Some areas of the Centro Culturale are Wifi enabled (see the map on page 3 for details). Wifi access will be at cost and upon personal registration: please apply to the reception desk of the Centro Culturale for purchasing your access. Wifi access is limited to the areas indicated (have your ID card handy when you do, for registering that information is required by the applicable Italian legislation). Lodges at the Centro Culturale are not wired.
The Centro Culturale can be easily reached by waterbus lines 1 and 2 (direction Vallaresso), which traverse the Grand Canal with stops at the Railway Station ("Ferrovia") and at Zattere, some 50 meters to your right-hand side from the entrance to the Centro when the get off the water bus. For details on the applicable fares and timetables please refer to
The water bus stop at the Zattere is also connected to the airport via the Alilaguna service ( with a journey time of approximately 80 minutes.

Department of Pure and Applied Mathematics © 2007-2008 ~