Programme of AVIS

SATURDAY, April 3

08.45
09.00
Welcome and introduction
09.00
10.00
Invited Talk

A Theory of Predicate-Complete Test Coverage and Generation
Thomas Ball (Microsoft Research, USA)
10.00
10.30
Coffee
10.30
11.30
Invited Talk

Static Analysis based on Abstract Interpretation
Patrick Cousot (Ecole Normale Superieure, FR)

Behavioral Equivalence Checking
11.30
12.30
On the Application of Counterexample-Guided Abstraction Refinement and Data Independence to the Parameterised Model Checking Problem
Gavin Lowe (Oxford University Computing Laboratory, UK)

Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3)
Peter Jancar and Martin Kot (Technical University of Ostrava, CZ)
12.30
14.00
Lunch
14.00
15.00
Invited Talk

Weighted Pushdown Systems and their Applications
Thomas Reps (University of Wisconsin, USA)

Static Analysis
15.00
16.00
State Space Abstraction using Shape Graphs
Arend Rensink (University of Twente, NL)

Exact Symbolic Verification of Programs Handling Pointers
Sebastin Bardin, Alain Finkel, and David Nowak (LSV, CNRS and ENS Cachan, FR)
16.00
16.30
Coffee
16.30
17.30
Invited Panel

The future of Software Verification
Moderator: Ramesh Bharadwaj
Panelists:    Tom Ball
                  Patrick Cousot
                  Connie Heitmeyer
                  Tom Reps
Evening
Post-Conference Workshops Dinner

SUNDAY, April 4

9.00
10.00
Invited Talk

Towards Automated Verification of Software Through Type Discovery
Scott D. Stoller (SUNY Stony Brook, USA)
10.00
10.30
Coffee

Verification of Asynchronous Systems
10.30
11.30
Verifying Nondeterministic Channel Systems With Probabilistic Message Losses
N. Bertrand and Ph. Schnoebelen (ENS de Cachan and CNRS UMR, FR)

Verification of Asynchronous Systems with Unbounded and Unordered Message Buffers
Prasanna Thati and Mahesh Viswanathan (University of Illinois, USA)
11.30
12.30
Invited Talk

Future Trends in Cryptographic Protocol Verification
Catherine Meadows (Naval Research Laboratory, USA)
12.30
14.00
Lunch

Security Protocol Verification
14.00
15.00
Practical Automatic Verification of Security Protocols using Approximation Techniques
Y. Boichut, P.-C. Heam, O. Kouchnarenko and F.Oehl (INRIA, FR and Dublin City University, IE)

A Proof of Correctness for Cryptographic Key-agreement Protocols using Event-recording Automata
Suman Roy (Honeywell Technologies, IN)
15.00
15.30
Final discussion and closing