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

Social Program


The social program of the conference will open with a welcome reception at Palazzo Cavalli-Franchetti (see large photo), a three-storied patrician villa on the Grand Canal, which hosts the historic premise of the regional institute for science, literature and art, where attendees will also have the privilege of a private visit to the running art exhibition on the Macchiaioli. The reception will be accompanied by musical entertainment offered by distinguished members of the conference community.

Conference Banquet

The conference banquet will take place on the island of Torcello, the farthest island of the lagoon, just past picturesque Burano. The Torcello island which used to be vastly populated at the time of the Venetian republic has lost almost all of its population but surely kept its beauty and its natural, cultural and historical attraction.
Participants will ride on a private boat along the Grand Canal to the renowned "Osteria Ponte del Diavolo" restaurant at Torcello. The journey will be accompanied by appetizers, musical entertainment, and the spectacular scenery of the lagoon itself viewed first at sunset and then in the fullness of night on the return leg.

Additional Tickets

Additional tickets for the welcome reception on Tuesday 17 and for the excursion and banquet on Wednesday 18 can be purchased on site at the registration desk.

City Tours for Accompanying Persons

Fees are in Euro (€) - V.A.T. 20% inclusive. An invoice will be issued for every paid fee.

Venice Guided Tours

Guided Tour 1 - THE HEART OF VENICE - 17 JUNE 2008*
St. Mark's Square, St. Mark's Church, Doge's Palace, Bridge of Sighs and Prisons. (about 2 hours)
€ 60.00
Guided Tour 2 - VENICE BY GONDOLA - 17 JUNE 2008*
A romantic "promenade" by gondola with music and songs which will take you along the canals of Venice. (about 1 hour)
€ 50.00
Guided Tour 3 - MURANO AND BURANO - 19 JUNE 2008*
Excursion by motor boat in the Venetian lagoon with the visit of islands famous for the handicraft: Murano for the blowing glass and Burano for the laces, Torcello for the first Cathedral in Venice. (about 4 hours)
€ 65.00
Guided Tour 4 - 'OMBRE E CICHETI' - 19 JUNE 2008*
Wander around bacari (typical Venetian wine bars) and stop to nibble some finger food and wine with the locals. (about 2 hours)
€ 45.00
*Dates may be subject to change due to organizational reasons; final dates and times will be confirmed in due time

The tour fee includes an English speaking guide, taxes and VAT; it does not include the price for food and drinks (except for Tour 4), personal expenses, admission to museums or monuments which must be paid directly at the entrance by the participant.

These tours must be booked via the on-line registration system not later than 10 May 2008.
After this date, bookings will be accepted only if places are available.
If you are interested, please, make your reservation as soon as possible; reservations will be carried out on a first-come first-served basis. If not enough reservations are made before 10 May 2008, the travel agent has the right to cancel the tour. The tour fee will be charged only if the tour is held.

There will be no penalty for cancellations of tour bookings communicated in writing to at least 10 days before the beginning of the Conference. Between 9 and 2 days prior to the Conference, 50% of the fare will be payable; less than two days prior to the excursion payment of the entire amount will be due and no reimbursement will be granted.

Upon completing the City Tours on-line registration, an email will confirm the chosen tours and the total amount due; one week before the Conference, a further email will confirm final dates and times, meeting point, your guide's name and other useful details.

Department of Pure and Applied Mathematics © 2007-2008 ~