II/3/14 2005 Events

1. 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Edinburgh, UK, 2-3 April 2005 (Satellite Event of ETAPS 2005)

2. 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), Koblenz, Germany, 7-9 September 2005

3. International Workshop on Formal Aspects of Component Software (FACS'05), Macao, October 24-25, 2005

4. International Colloquium on Theoretical Aspects of Computing (ICTAC05), Hanoi, Vietnam, 17-21 October, 2005