News on Selected Upcoming Events...

...I am currently involved in as a PC member, organizer, etc. Check out, submit a paper, and attend!

Last Update: April 26, 2008

ACM SIGPLAN 2009
Conference on
Programming Language Design and Implementation

(USA, June 2009)

3rd International Symposium on
Leveraging Applications of Formal Methods, Verification, and Validation

ISoLA 2008

(Porto Sani, Kassandra, Greece, October 13 - 15, 2008)

In co-operation with IEEE (pending), IFIP, EASST, and other organizations.

10th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing

SYNASC 2008

(Timisoara, Romania, September 26 - 29, 2008)

...I am or I was involved in as a PC member, organizer, etc.