Electronic Notes in Theoretical Computer Science, Volume 65

Satellive Events for ETAPS 2002

Volume 65, Number 1, 2002

CMCS'2002 Coalgebraic Methods in Computer Science
Grenoble, France, 6-7 April 2002

Volume 65, Number 2, 2002

COCV'02 Compiler Optimization Meets Compiler Verification
Grenoble, April 13, 2002

Volume 65, Number 3, 2002

Second Workshop on Language Descriptions, Tools and Applications (LDTA 2002)
Grenoble, France, 13 April 2002

Volume 65, Number 4, 2002

SC 2002: Workshop on Software Composition Affiliated with ETAPS 2002
Grenoble, France, April 7th, 2002

Volume 65, Number 5, 2002

SLAP'2002 Synchronous Languages, Applications, and Programming
Grenoble, France, April 13, 2002

Volume 65, Number 6, 2002

Theory and Practice of Timed Systems
Grenoble, France, 6-7 April 2002

Volume 65, Number 7, 2002

VISS'2002 Validation and Implementation of Scenario-based Specifications
Grenoble, France, April 6 - 14, 2002