Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Process Algebra: Open Problems and Future Directions
[go: Go Back, main page]

Process Algebra: Open Problems and Future Directions

July 21-25, 2003
University of Bologna Residential Center
Bertinoro (Forlì), Italy

bertinoro
[ What the Meeting is About
| Seminar Schedule
| Output of the Workshop
| Location
| How to Reach Bertinoro
| List of Participants
| Organization and Sponsorship
| Local Weather Forecast]

What the Meeting is About

Process algebra (also known under the names `process calculi' or `process theory') is a successful method for reasoning about concurrent systems that originates from original insights of key figures like Bergstra, Hoare, Klop and Milner. The foundations of process algebra have been studied thoroughly over the last twenty years, and are still leading to large numbers of interesting results and fruitful ideas. In recent years, powerful tool sets for the analysis of concurrent systems, such as Caesar/Aldebaran, muCRL, Concurrency Factory, FDR, FC2Tools and Concurrency Workbench Edinburgh, have been developed on the basis of process algebra. A wide range of advanced protocols and distributed algorithms have been verified using process algebraic methods, and/or analyzed using the aforementioned tool sets.

The aim of this workshop will be to highlight the most important open problems in the field of process algebra, and to stimulate international cooperation on their solutions. Special emphasis will also be given to future directions in the study of process algebra, and to new application areas.

Seminar Schedule

In order to stimulate discussions, we have allocated one hour per presentation. We strongly suggest that the speakers leave 15 minutes at the end of their presentation for discussions regarding the work they present, and related open problems.

Jos Baeten has kindly agreed to deliver a survey talk in which he will reflect on the achievements of about 25 years of research on process algebras, and point to promising directions for the ongoing development of the field.

20/7
21/7
22/7
23/7
24/7
25/7
Sun
Mon
Tue
Wed
Thu
Fri
08.00-09.00 arrivals breakfast
09.15-10.15 Survey Talk by Jos Baeten on 25 Years of Process Algebra Dale Miller Jan Bergstra Kim G. Larsen Catuscia Palamidessi
10.15-10.30 coffee break coffee break coffee break coffee break coffee break
10.30-11.30 Walter Vogler Uwe Nestmann Holger Hermanns Jan Friso Groote Anna Labella
12.00-13.15 lunch! lunch! lunch! lunch! lunch!
14.00-15.00 Joost-Pieter Katoen Ugo Montanari Rob van Glabbeek Marco Bernardo departures
15.00-16.00 Rocco De Nicola Ilaria Castellani Bas Luttik Flavio Corradini
16.00-16.15 coffee coffee coffee coffee
16.15-17.15 Mario Bravetti Roberto Amadio Alban Ponse Irek Ulidowski

Output of the Workshop

We have issued a volume in the BRICS Notes Series with slides of the contributed talks. See volume NS-03-03 in the BRICS Notes Series.

A web page with a list of open problems and future directions in process algebra that were discussed during the workshop is now available in draft form.

There will be a special issue of the journal Theoretical Computer Science devoted to selected papers presented at the workshop. This special issue will be co-edited by the workshop organizers.

Slides for (some of) the talks delivered at the workshop are available here.

In occasion of the workshop, Luca Aceto has written a note entitled Some of My Favourite Results in Classic Process Algebra. Please contact the author if you have any comment on it. The note will be extended in the future, and new versions will be made available from this page.

Location

The meeting will be held in the small medieval hilltop 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 Appennines to the Adriatic coast.

How to Reach Bertinoro

List of Participants

Organization and Sponsorship

Scientific Organizing Committee Luca Aceto, BRICS and Aalborg University
Zoltán Ésik, University of Szeged
Wan Fokkink, CWI
Anna Ingólfsdóttir, BRICS, Aalborg University, and deCODE Genetics
Local Organization
Andrea Bandini, Elena Della Godenza, Centro Congressi Bertinoro
Sponsored by BICI, Bertinoro International Center for Informatics
BRICS, Basic Research in Computer Science
CWI, Centrum voor Wiskunde en Informatica

Luca Aceto, Institute for Computer Science, Aalborg University.
Last modified: .