1. ICTAC 2004: Guiyang, China

Invited Speakers

Concurrent and Distributed Systems

Model Integration and Theory Unification

Program Reasoning and Testing

Verification

Theories of Programming and Programming Languages

Real-Time and Co-design

Automata Theory and Logics

Tutorials