index-tcs.html

TCS 2004

3rd IFIP International Conference on Theoretical Computer Science

TC1 - Foundations of Computer Science

Conference Chair: Jean-Jacques Lévy, INRIA, France

TCS submission main page: access to both TCS-Track1 and TCS-Track2 submission pages

Track 1:
Algorithms, Complexity and Models of Computation

Chair: Ernst Mayr, Technische Universität München, Germany
Track 2:
Logic, Semantics, Specification and Verification

Chair: John Mitchell, Stanford University, USA

Access to submission page for track 1: link to track1 submission
Access to submission page for track 2 link to track2 submission

Track 1: Algorithms, Complexity and Models of Computation Chair: Ernst Mayr, Technische Universität München, Germany	Track 2: Logic, Semantics, Specification and Verification Chair: John Mitchell, Stanford University, USA
Access to submission page for track 1: link to track1 submission	Access to submission page for track 2 link to track2 submission