|
Sunday, 7 September
|
|---|
|
18:00-19:30
|
Registration
|
|
Monday, 8 September
|
|---|
|
8:00-9:00
|
Registration
|
|
9:00-9:15
|
Welcome
|
|
9:15-10.15
|
INVITED TALK:
Colin STIRLING, Univ. Edinburgh
Proving properties of systems by playing games
|
|
10.15-10.45
|
Coffee Break
|
|
10.45-12:30
|
SUBMITTED TALKS:
-
Absolute versus Relative Time in Process Algebras
F. CORRADINI
- Eager, Busy-Waiting and Lazy Actions in Timed Computation
F. CORRADINI, G. FERRARI, M PISTORE
- On Expressive Completeness of Duration and Mean Value Calculi
A. RABINOVICH
|
|
12:30-13:30
|
Lunch
|
|
13:30-14:30
|
INVITED TALK:
Amir PNUELI, Weizmann Institute
Verification of Large Systems: Some recent Approaches |
|
14:30-15:40
|
SUBMITTED TALKS:
- Specification in CTL+Past, Verification in CTL
F. LAROUSSINIE, Ph. SCHNOEBELEN
- Domain Equations for Probabilistic Processes
C. BAIER, M. KWIATKOWSKA
|
|
15:40-16:10
|
Coffee Break |
|
16:10-17:20
|
SUBMITTED TALKS:
- On the Turing--Equivalence of Linda Coordination Primitives
N. BUSI, R. GORRIERI, G. ZAVATTARO
- Zero-Safe Nets, or Transition Synchronization Made Simple
R BRUNI, U. MONTANARI
|
|
18:00-19:00
|
RECEPTION
|
|
Tueasday, 9 September
|
|---|
|
9:15-10:15
|
INVITED TALK:
Jean-Jacques Levy, INRIA Rocquencourt
The Join Calculus release 1.02
|
|
10:15-10:40
|
Coffee Break
|
|
10:45-12:30
|
SUBMITTED TALKS:
- What is a `Good' Encoding of Guarded Choice?
U. NESTMANN
- Process Creation and Full Sequential Composition in a
Name-Passing Calculus
T GEHRKE, A RENSINK
- Relating Semantic Models for the Object Calculus: Preliminary report
L. ACETO, H HUTTEL, A. INGOLFSDOTTIR, J KLEIST
|
|
12:30-13.30
|
Lunch
|
|
14:00-22:00
|
EXCURSION AND SOCIAL DINNER
|
|
Wednesday, 10 september
|
|---|
|
9:15-10:15
|
INVITED TALK:
Vaughan PRATT, Univ. Stanford,
Types as Processes
|
|
10.15-10:45
|
Coffee Break
|
|
10:45-12:30
|
SUBMITTED TALKS:
- Bisimilarity of Open Terms
A. RENSINK
- Process Rewrite Systems
R. MAYR
- Confluent Rewriting of Bisimilar Term Graphs
Z. ARIOLA, J-W KLOP, D. PLUMP
|
|
12.30-13.30
|
Lunch
|
|
13:30-14:50
|
EXPRESS TALKS:
- A Testable Logic for Timed Automata
L. ACETO, Univ. Sussex
- Testing timed automata
F. VAANDRAGER, Univ. Nijmegen
|
|
14.50-15.20
|
Coffee Break
|
|
15:20-17:20
|
POSTER SESSION
|
|
Thursday, 11 September
|
|---|
|
9:15-10.15
|
INVITED TALK:
Ralph BACK, Univ. Aabo,
Contracts, games and refinement
|
|
10.15-10.45
|
Coffee Break
|
|
10.45-12:30
|
EXPRESS TALKS:
-
Relating Methods
E. ASTESIANO, G. REGGIO, Univ. Genova
- Model-checking based on local states
M. HUHN, Univ. Hildesheim
- Model checking in the modal mu-calculus and equivalent problems
A. MADER, Univ. Nijmegen
|
|
12:30-13:30
|
Lunch
|
|
13:30-14:30
|
INVITED TALK:
Ugo MONTANARI, Univ. Pisa,
Tiles for Concurrent and Located Calculi |
|
14:30-15:50
|
EXPRESS TALKS:
- Title to be announced
R. AMADIO, Univ. Provence, Marseille
- Synthesis of General Petri Nets
P. DARONDEAU, INRIA Rennes
|
|
15:50-16:10
|
Coffee Break |
|
16:10-17:40
|
EXPRESS TALKS:
- Basic observables for asynchronous processes
R. De NICOLA, Univ. Firenze, M. BOREALE, Univ. Roma La Sapienza,
R. PUGLIESE, Univ. Firenze
- A finite axiomatization of non-deterministic regular expressions
R. DE NICOLA, A. LABELLA, Univ. Roma La Sapienza
- Typed bisimulation for the pi-calculus
M. BOREALE, Univ. Roma La Sapienza
|
|
18:00-19:00
|
EXPRESS EXECUTIVE MEETING |
|
Friday, 12 September
|
|---|
|
9:15-10.15
|
INVITED TALK:
Eugenio MOGGI, Univ. Genova
Intensional semantics and parallel programming |
|
10.15-10.45
|
Coffee Break
|
|
10.45-12:00
|
EXPRESS TALKS:
-
Asynchronous testing for the asynchronous pi-calculus
I. CASTELLANI, INRIA Sophia Antipolis
- The update calculus
J. PARROW, B. VICTOR, KTH Stockholm and Univ. Uppsala
|
|
12:00-12:15
|
Closing
|