[TYPES/announce] Last CFP of TABLEAUX 2007
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (We apologize for multiple copies of this Call) %%
[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