[TYPES/announce] LASER Summer School on Software Engineering

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LASER Summer School on Software Engineering Applied Software Verification Practical advances towards a Grand Challenge September 9-15, 2007, Elba, Italy http://laser.inf.ethz.ch Applicat

[TYPES/announce] LASER Summer School on Software Engineering

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LASER Summer School on Software Engineering Concurrency and Correctness September 7 - 13, 2008 Elba Island, Italy http://laser.inf.ethz.ch Registration Open Early Application deadline: Feb

[TYPES/announce] Symposium on Automatic Program Verification - cfp

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] APV 2009 Automatic Program Verification http://se.ethz.ch/apv/ February 14-15, 2009 Argentina Automatic software verific