2. ICTAC 2005: Hanoi, Vietnam

Invited Speakers

Formal Languages

Computer Science Logics

Program Construction

Real-Time Systems

Concurrency and Refinement

Software Security

Quantitative Logics

Object-Orientation and Component Systems

Model-Checking and Algorithms

Applied Logics and Computing Theory

Tutorials