News

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

Last Update: April 8, 2004

Last Update: November 27, 2003

1st International Symposium on
Leveraging Applications of Formal Methods

ISoLA 2004

(Cyprus, October 30 - November 1, 2004)

In co-operation with IEEE, IFIP, EASST, and further organizations.

3. Arbeitstagung
Programmiersprachen

ATPS 2004

(Ulm, Germany, September 24, 2004)

In conjunction with
INFORMATIK 2004 - Informatik verbindet

(Ulm, Germany, September 22 - 24, 2004)

11th
Static Analysis Symposium

SAS 2004

(Verona, Italy, August 23 - 28, 2004)

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