ETAPS 2003

CONFERENCE PROGRAM

ETAPS 2003

TACAS 2003

Ninth International Conference on
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION
AND ANALYSIS OF SYSTEMS

A member conference of the European Joint Conferences
on Theory and Practice of Software
(ETAPS 2003)

7-11 April 2003 Warsaw, Poland

Monday, April 7:

11.00 - 12.30:

Bounded Model Checking and SAT-based Methods (Chair: Moshe Vardi)

14.30 - 16.00:

Mu-calculus and Temporal Logics (Chair: Amir Pneli)

16.30 - 18.30:

Verification of Parameterized Systems (Chair: Alain Finkel)

Tuesday, April 8:

10.30 - 12.30:

Abstractions and Counter-examples (Chair: Kim Larsen)

14.30 - 16.30:

Real-Time and Scheduling (Chair: Rajeev Alur)

Wednesday, April 9:

15.45 - 16.45:

Security and Cryptography (Chair: Kurt Jensen)

Thursday, April 10:

10.30 - 12.30:

Modules and Compositional Verification (Chair: Bernhard Steffen)

14.30 - 15.30:

TACAS invited lecture (Chair: John Hatcliff)

15.45 - 16.45:

Symbolic State Spaces and Decision Diagrams (Chair: Jan Friso Groote)

17.15 - 18.45:

Performance and Mobility (Chair: Joost-Pieter Katoen)

Friday, April 11:

10.30 - 12.30:

State Space Reductions (Chair: Hubert Garavel)

14.30 - 16.00:

Constraint-Solving and Decision Procedures (Chair: Andreas Podelski)

16.30 - 18.30:

Testing and Verification (Chair: Alessandro Cimatti)

Back to the TACAS 2003 Home Page