---------------------------------------------------------------------------------
COCV 2007 
6th International Workshop on Compiler Optimization meets Compiler Verification 
(Preliminary Proceedings)

March 25, 2007 


Sabine Glesner, Jens Knoop, Rolf Drechsler (Eds.)

---------------------------------------------------------------------------------
FESCA 2007
4th Formal Foundations of Embedded Software and Component-Based Software Architectures  
(Preliminary Proceedings)

March 24, 2007 

Juliana Kuester Filipe Bowles, Iman Poernomo and Ralf Reussner (Eds.) 

---------------------------------------------------------------------------------
HFL 2007
International Workshop on Hardware Design and Functional Languages 
(Preliminary Proceedings)

March 24-25, 2007 

Andy Martin, Carl-Johan Seger and Mary Sheeran (Eds.)

---------------------------------------------------------------------------------
LDTA 2007 
Seventh Workshop on Language Descriptions, Tools, and Applications 
(Preliminary Proceedings)

March 25, 2007 

Anthony Sloane, Adrian Johnstone (Eds.)

---------------------------------------------------------------------------------
MBT 2007 
Third Workshop on Model-Based Testing 
(Preliminary Proceedings)

March 31 - April 1, 2007 

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko (Eds.)

---------------------------------------------------------------------------------
QAPL 2007
Fifth Workshop on Quantitative Aspects of Programming Languages 
(Preliminary Proceedings)

March 24-25, 2007 

Alessandro Aldini, Franck van Breugel (Eds.)


---------------------------------------------------------------------------------
SC 2007
6th International Symposium on Software Composition 
(Preliminary Proceedings)
 
March 24-25, 2007 
 
 
Markus Lumpe, Wim Vandeperren (Eds.) 

---------------------------------------------------------------------------------
SLA++P 2007
Model-driven High-level Programming of Embedded Systems
(Preliminary Proceedings)

March 31, 2007 

Joaquín Aguado, Michael Mendler (Eds.)

---------------------------------------------------------------------------------
WITS  2007
7th International Workshop on Issues in the Theory of Security 
(Preliminary Proceedings)
 
March 24-25, 2007 

Riccardo Focardi (Ed.)
---------------------------------------------------------------------------------