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: June 29, 2009

Last Update: December 6, 2008

Last Update: June 29, 2009

3rd International Conference on
Software Testing, Verification and Validation

ICST 2010

Sponsored by IEEE, IEEE Computer Society, and other organizations.

IEEE Logo IEEE CS Logo

(Paris, France, April 6 - 9, 2010)

16th International Symposium on
Formal Methods

FM 2009

(Eindhoven, the Netherlands, November 2 - 6, 2009)

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

SYNASC 2009

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

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