Programme of AVIS at ETAPS 2006

(Fifth International Workshop on Automated Verification of Infinite-State Systems)

Saturday, April 1

09:15 - 10:30 SESSION 1 (AVIS, Saturday, April 1, room: EI 1)

Welcome and Introduction
AVIS organizers
Invited Talk
Topic to be announced
Eric Meijer (Microsoft Research, USA)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2 (AVIS, Saturday, April 1, room: EI 1)

Program Analysis
Abstract Interpretation meets Model Checking near the 10^6 LOC Mark
Peter T. Brewer and Simon Pickin (Univ. Carlos III, Madrid, E)
Fast Pointer Systems to Counter Systems Using Shape Analysis
Sébastien Bardin, Alain Finkel, Étienne Lozes, and Arnaud Sangnier (ENS Cachan, F)
Interprocedural Program Analysis for Java based on Weighted Pushdown Model Checking
Li Xin and Mizuhito Ogawa (JAIST, J)

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3 (AVIS, Saturday, April 1, room: EI 1)

Invited Talk
To be announced
Parameterized and Infinite State Systems
On the Coverability Problem of Constrained Multiset Rewriting
Parosh Aziz Abdulla (Uppsala Univ.\, S) and Giorgio Delzanno (Univ. of Genoa, I)

15:30 - 16:00 Coffee

16:00 - 17:15 SESSION 4 (AVIS, Saturday, April 1, room: EI 1)

Concurrency
Applying Reduction Rules to ECATNets
Noura Boudiaf (CEDRIC-CNAM, F), Allaoua Chaoui (Univ. of Constantine, DZ), and Kamel Barkaoui (CEDRIC-CNAM, F)
A Bounded True Concurrency Process Algebra for Automated Verification
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, and Juan J. Pardo (Univ. of Castilla, E)
Final Discussion and Closing Remarks

19:30 SOCIAL EVENT (Saturday, April 1)

Joint Workshops Post-Conference Dinner
Dinner at the restaurant Wiener Rathauskeller, Lanner Saal, Rathausplatz 1, 1010 Wien

Further ETAPS 2006 Programme Information:

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-23