AMAST Mail 1996
[Prev][Next][Index]

Program of INFINITY: please circulate it locally


Dear Colleagues,

Please do not forget the forthcoming registration deadline for the INFINITY workshop, which is held as a satellite of CONCUR'96. The program is 
appended below.

For complete information and registration:
                   http://brahms.fmi.uni-passau.de/bs/cfp/

Best regards

Bernhard Steffen



                       *****************************
                       *                           *
                       *         Infinity          *
                       *                           *
                       *****************************

                         International Workshop on
                    Verification of Infinite State Systems

                            August 30 - 31, 1996
                                Pisa (Italy)

                           For complete information:
                   http://brahms.fmi.uni-passau.de/bs/cfp/

                               __ FINAL PROGRAM __

                             _______________________

                             | Friday, August 30th |
                             _______________________
Opening:

8.00 - 8.50 Registration

8.50 - 9.00 Welcome and Opening Address


Session 1:

Invited Talk  "Cancelation and Decomposition in Process Algebras"
 9.00 - 10.00 Yoram Hirschfeld
              (Tel Aviv University - Israel)

10:00 - 10:30 "Automatic Construction of Network Invariants"
              D. Lesens, N. Halbwachs, P. Raymond (Verimag, Grenoble - F)
Coffee Break

Session 2: Bisimulation

11:00 - 11:30 "Decidability of Bisimilarity"
              C. Stirling (Univ. of Edinburgh - GB)

11:30 - 12:00 "Bisimilarity is Decidable in the Union of Normed BPA and Normed
              BPP Processes"
              I. Cerna, M. Kretinsky, A. Kucera
              (Masaryk Univ., Brno - CZ)

12:00 - 12:30 "Characterizing Bisimilarity of Value-passing Parametrised
              Processes"
              P. Paczkowski
              (Chalmers Univ. and G"oteborg Univ., G"oteborg - S)
Lunch Break

Session 3:

Invited Talk  "More Infinite Results"
14.00 - 15.00 Javier Esparza
              (Techn. Univ. Munich - D)
Coffee Break

Session 4:  Model Checking

15.30 - 16.00 "Model-Checking of Infinite Graphs Defined by Graph Grammars"
              O. Burkart (Univ. of Edinburgh - GB)
              Y.-M. Quemener (IRISA, Rennes - F)

16.00 - 16.30 "Semantic Analysis of Concurrent ML by Abstract Model-checking"
              R. Cridlig (LIENS, Paris - F)
Coffee Break

Session 5:  Analyses

17.00 - 17.30 "Semantic Reachability for Simple Process Algebra"
              R. Mayr (Techn. Univ. Munich - D)

17.30 - 18.00 "Reachability Analysis of Pushdown Automata"
              A. Bouajjani, O. Maler (Verimag, Grenoble - F)

Conference Dinner
                            _________________________

                            | Saturday, August 31st |
                            _________________________

Session 6:  Modelling

Invited Talk  "A Brief History of Real Time"
 9.00 - 10.00 Tom Henzinger
              (Cornell Univ., Ithaca, NY - USA)

Coffee Break

10:15 - 10:45 "A State Minimization Technique for Timed Automata"
              I. Kang, I. Lee (Univ. of Pennsylvania, Philadelphia (PA) - USA)
              Y.S. Kim (ETRI, Taejon - Korea)

10:45 - 11.15 "A model for Recursive-parallel Programs"
              O. Kouchnarenko, P. Schnoebelen (IMAG, Grenoble - F)
Coffee Break

Session 7:  Value Passing

11:45 - 12.15 "Mechanising a Modal Logic for Value-passing Agents in HOL"
              M. Nesi (Univ. dell'Aquila, L'Aquila - I)

12:15 - 12:45 "A Compositional Proof System for the First Order Modal -Calculus
              and Value Passing CCS"
              S. Berezin (Carnegie Mellon Univ., Pittsburgh - USA)
              D. Gurov (Univ. of Victoria - CAN)

Lunch and Farewell
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]