Forthcoming Events

INFORMATIK 2005 - Informatik LIVE!, 35. GI-Jahrestagung. (Bonn, Germany, September 19 - 21, 2005).
ACM SIGPLAN/ SIGBED 2005 Conference on Languages, Compilers, and Tools for Embedded Systems LCTES (Chicago, IL, June 15 - 17, 2005).
ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation PLDI (Chicago, IL, June 12 - 15, 2005).
9th Brazilian Symposium on Programming Languages SBLP 2005 (Recife, PE, Brazil, May 23 - 25, 2005).
8th European Joint Conferences on Theory and Practice of Software ETAPS 2005 (Edinburgh, UK, April 2 - 10, 2005).
11th International Conference on Tools and Algorithms for the Construction and Verification of Systems TACAS 2005 (Edinburgh, UK, April 4 - 8, 2005).
4th International Workshop on Compiler Optimization Meets Compiler Verification COCV 2005 (Edinburgh, UK, April 3, 2005).
5th International Workshop on Language Descriptions, Tools and Applications LDTA 2005 (Edinburgh, UK, April 3, 2005).