Second ADVANCE meeting
                            3-4 May 2001

Address:        Verimag, Grenoble

PROGRAM:

Thursday, May 3:
================


10.15 : Amir Pnueli (Weizmann Inst.)
"Inductive Verification with Invisible Invariants".

11.15 : B. Boigelot (Liege)
"On the Use of Weak Automata for Deciding Linear Arithmetic
with Integer and Real Variables".
(joint work with P. Wolper and S. Jodogne).

12.15 : Lunch

14.30 Dana Fisman (Weizmann Inst.)
"Beyond Regular Model Checking"

15.30 : Monika Maidel (Edinburgh)
"A general framework for model checking of ring-structured
parameterized systems".

16.30 : Coffee

17.15 : Tayssir Touili (Paris)
Rewriting Techniques for Verifying Parametrized Systems.

18.15 : Break

18.30 : Business meeting

20.00 : Dinner (St-Martin d'Heres)


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

Friday, May 4:
==============

9.30 : Saddek Bensalem (Verimag)
Verification of parametrized systems using Abstractions.

10.30 : Coffee

11.00 : Ahmed Bouajjani (Paris)
Effective Lossy Queue Languages.
(joint work with P. Abdulla and L. Boasson).

12.00 : Lunch

14.00 : Pritha Mahata (Uppsala)
"SIP - A Preliminary study for modelling the protocol
and verifying some of its properties."

15.00 : Marius Bozga (Verimag)
Progress in IF environment - experiments with PGM and SIP.

16.00 : Coffee

16.30: Discussions about case studies and integration of tools.

end of meeting