Programme of EAAI at ETAPS 2006
Sunday, March 26
09:30 - 10:30 SESSION 1 (EAAI, Sunday, March 26, room: EI 1)
- Invited Talk
- On Abstraction-Carrying Code and Certificate-Size Reduction
- German Puebla (Univ. Politécnica de Madrid, E)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2 (EAAI, Sunday, March 26, room: EI 1)
- Presentations
- A PCC Architecture based on Certified Abstract Interpretation
- F. Besson, T. Jensen, D. Pichardie (IRISA, F)
- JAIL: Firewall Analysis of Java Card by Abstract Interpretation
- P. Ferrara (Univ. Venezia, I, and Ecole Polytechnique, F)
- Opaque Predicates Detection by Abstract Interpretation
- M. Dalla Preda (Univ. Verona, I), M. Madou, K. De Bosschere (Ghent Univ., B), R. Giacobazzi (Univ. Verona, I)
12:30 - 14:00 Lunch
14:00 - 15:30 SESSION 3 (EAAI, Sunday, March 26, room: EI 1)
- Presentations
- Abstract Analysis of Plans for Teleoperated Robots
- D. Massé (Univ. Bretagne Occidentale, F)
- Analyzing Biological Pathways by Abstract Interpretation
- G. Scardoni (Univ. Verona, I)
- Context Dependent Analysis of BioAmbients
- H. Pilegaard, F. Nielson, H. Riis Nielson (T.U. Denmark, DK)
15:30 - 16:00 Coffee
16:00 - 17:30 SESSION 4 (EAAI, Sunday, March 26, room: EI 1)
- Presentations
- Path-Length Analysis for Object-Oriented Programs
- F. Spoto (Univ. Verona, I), P.M. Hill (Univ. Leeds, UK), E. Payet (Univ. La Reunion, F)
- An Abstract Domain for Separation Logic Formulae
- E.-J. Sims (Ecole Polytechnique, F, and Kansas State Univ., USA)
- Static Analysis of Actors: From Type Systems to Abstract Interpretation
- P.-L. Pantel, M. Garoche, X. Thirioux (IRIT, F)
19:30 SOCIAL EVENT (Sunday, March 26)
- Joint Workshops Pre-Conference Dinner
- Dinner at the historic restaurant Piaristenkeller, Piaristengasse 45, 1080 Wien
Further ETAPS 2006 Programme Information:
- Programme Overview
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
AVIS,
CMCS,
COCV,
DCC,
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