EXPRESS 97, 8-12 September 1997: Preliminary Programme

Conference address: Hotel Regina Elena
Lungomare Milite Ignoto 44, 16038 S. Margherita Ligure, Italy
phone: +39 (185) 287003, fax: +39 (185) 284473

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

Last Updated: 16 July 1997 by Catuscia Palamidessi