FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS
IFIP WG 2.2 40th Anniversary Meeting

11-13 September 2006
University of Udine, Italy
Home Programme Venue and Accomodation Registration

Programme and Speakers

See also the preliminary titles and abstracts of talks.

You can also download the PDF of the official meeting flyer.

Sunday 10 September, afternoon

Excursion: visit to the Rosazzo Abbey, and to the winemaker Le Vigne di Zamò, in the Colli Orientali vineyards. Welcome dinner in the cellar at 19:30.

A charter bus will depart at 15:30 from Agenzia Informazione e Accoglienza Turistica (AIAT, Tourist Office), Piazza 1º Maggio 7 (Beware: the position shown in the Google map is not exact; the office is on the south-west side of the Piazza, at the foot of the hill). Return at the same place at (about) 23:00.

Monday 11 September

Location: Palazzo della Provincia

  • 09.00-09.30: Opening and Welcome
  • 09.30-10.30: Invited speaker: Amir Pnueli
  • 10.30-11.00: coffee break
  • 11.00-12.00: Invited speaker: Igor Walukiewicz
  • 12.00-12.30: Maciej Koutny
  • 12.30-14.00: lunch
  • 14.00-15.00: Invited speaker: Hans Langmaack
  • 15.00-15.30: coffee break
  • 15.30-16.30: Ugo Montanari
  • 16.30-17.00: Catuscia Palamidessi
  • 17.00-17.30: Andrzej Tarlecki
  • 17.30-18.00: Rocco De Nicola
  • 20.00-         : Social Dinner at the "Casa della Contadinanza" (a red building on top of the Castle Hill, the highest spot of the city)

Tuesday 12 September

Location: Palazzo Antonini, University of Udine

  • 09.00-10.00: Invited speaker: Gordon Plotkin
  • 10.00-10.30: coffee break
  • 10.30-11.00: Furio Honsell
  • 11.00-12.00: Egon Börger
  • 12.00-14.00: lunch
  • 14.00-15.00: Invited speaker: Dana Scott
  • 15.00-15.30: coffee break
  • 15.30-16.00: Mariangiola Dezani
  • 16.00-16.30: Marino Miculan
  • 16.30-17.00: Markus Müller-Olm
  • 17.00-17.30: Philippe Darondeau
  • 18.00-20.00: IFIP business meeting

Wednesday 13 September

Location: Palazzo Antonini, University of Udine

  • 09.00-10.00: Invited speaker: Leslie Lamport
  • 10.00-10.30: coffee break
  • 10.30-11.00: Invited speaker: Manfred Paul
  • 11.00-11.30: J Strother Moore
  • 11.30-12.00: Peter Mosses
  • 12.00-14.00: lunch
  • 14.00-15.00: Invited speaker: Ernst-Rüdiger Olderog
  • 15.00-15.30: coffee break
  • 15.30-16.30: Shigeru Igarashi
  • 16.30-17.00: Stephan Merz
  • 17.00-17.30: Anders P. Ravn
  • 17.30-         : Closing
The IFIP 2006 organizing committee