EXPRESS'97  --  PROGRAMME


SUNDAY 7/9

1800-1930 Registration

------------------------------- 

MONDAY 8/9

800-900  Registration

900-915  Welcome

915-1015 INVITED TALK: Colin STIRLING, Univ. Edinburgh
       Proving properties of systems by playing games


1015-1045 Coffee

1045-1230 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


1230-1330 Lunch


1330-1430 INVITED TALK:   Amir PNUELI, Weizmann Institute
       Verification of Large Systems: Some recent Approaches
       
1430-1540 SUBMITTED TALKS:

   Specification in CTL+Past, Verification in CTL
     F. LAROUSSINIE, Ph. SCHNOEBELEN

    Domain Equations for Probabilistic Processes
     C. BAIER, M. KWIATKOWSKA

1540-1610 Coffee

1610-1720  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

1800-1900 RECEPTION
------------------------------- 

TUESDAY 9/9

915-1015 INVITED TALK: Jean-Jacques Levy, INRIA Rocquencourt
       The Join Calculus release 1.02

1015-1045 Coffee

1045-1230  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

1230-1330 Lunch

  EXCURSION AND SOCIAL DINNER


------------------------------- 

WEDNESDAY 10/9

915-1015 INVITED TALK:  Vaughan PRATT, Univ. Stanford,
       Types as Processes

1015-1045 Coffee

1045-1230  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
 
1230-1330 Lunch

1330-1450 EXPRESS TALKS:

     A Testable Logic for Timed Automata
       L. ACETO, Univ. Sussex

     Testing timed automata 
       F. VAANDRAGER, Univ. Nijmegen

1450-1520 Coffee

1520-1720  POSTER SESSION

------------------------------- 

THURSDAY 11/9

915-1015 INVITED TALK:    Ralph BACK, Univ. Aabo,
       Contracts, games and refinement

1015-1045 Coffee

1045-1230  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

1230-1330 Lunch

1330-1430 INVITED TALK: Ugo MONTANARI, Univ. Pisa,
      Tiles for Concurrent and Located Calculi

1430-1550 EXPRESS TALKS:

     Title to be announced
      R. AMADIO, Univ. Provence, Marseille

     Synthesis of General Petri Nets 
      P. DARONDEAU, INRIA Rennes

1550-1610 Coffee

1610-1740 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/9

915-1015 INVITED TALK:  Eugenio MOGGI, Univ. Genova
            Intensional semantics and parallel programming

1015-1045 Coffee

1045-1200 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

1200-1215 Closing

-------------------------------