What the Meeting is About
The primary aim of the Working Group 2.2 is to explain programming concepts
through the development, examination and comparison of various formal models
of these concepts.
Details can be found at the WG
web page .
On Thursday 16, afternoon, there will be a special session on "Types for
concurrency", organised by Rocco De Nicola and Davide Sangiorgi.
An excurion to Ravenna (famous for its mosaics) is planned on Saturday
[this has to be confirmed]
||Tuesday 14 September 2004
||Sunday 19 September 2004
The meeting will be held in the small medieval
town of Bertinoro. This town is in Emilia Romagna about 50km east of
Bologna at an elevation of about 230m. Here is a map putting
it in context. It is easily reached by train and taxi from Bologna
and is close to many splendid Italian locations such as Ravenna,
a treasure trove of byzantine art and history, and the Republic
of San Marino (all within 35km) as well as some less well-known locations
like the thermal springs of Fratta
Terme and the castle and monastic gardens of Monte
Maggio. Bertinoro can also be a base for visiting some of the
better-known Italian locations such as Padua, Ferrara, Vicenza, Venice,
Florence and Siena.
Bertinoro itself is picturesque,
with many narrow streets and walkways winding around the central peak.
The meeting will be held in a redoubtable ex-Episcopal
fortress that has been converted by the University of Bologna into
a modern conference
center with computing
facilities and Internet access. From the fortress you can enjoy
a beautiful the vista
that stretches from the Tuscan Apennines to the Adriatic coast.
List of participants.
The list can be found
Organization and Sponsorship
|Scientific Organizing Committee
University of Bologna
|Andrea Bandini, Elena
Della Godenza, Centro Congressi di Bertinoro
Bertinoro International Center for Informatics
Maintained by Davide Sangiorgi