[TYPES/announce] Last CFP of TABLEAUX 2007

2007-01-26 Thread benhamou
[ 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

2007-01-26 Thread Martín Nordio
[ 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