Electronic Notes in Theoretical Computer Science, Volume 141

Volume 141, Number 1, 5 December 2005

Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005)

Volume 141, Number 2, 7 December 2005

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005)

Volume 141, Number 3, 1 December 2005

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2005)

Volume 141, Number 4, 12 December 2005

Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications (LDTA 2005)

Volume 141, Number 5, 22 December 2005

Proceedings of the Workshop on the Foundations of Interactive Computation (FInCo 2005)