3. IFIP TCS 2004: Toulouse, France

Invited talks

Track (1) on Algorithms, Complexity, and Models of Computation

Track (2) on Logic, Semantics, Specification, and Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics