Programme of AVIS at ETAPS 2006
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:
- Programme Overview
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
CMCS,
COCV,
DCC,
EAAI,
FESCA,
FRCSS,
GT-VMT,
LDTA,
MBT,
QAPL,
SC,
SLAP,
SPIN,
TERMGRAPH,
WITS,
WRLA
- Tutorials:
Phoenix,
QuantComp
ETAPS 2006 |
Top |
HTML 4.01 |
Last Update: 2006-03-23