[TYPES/announce] TYPES 2007 Announce

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TYPES 2007 Main Conference of the Types Project Cividale, Italy, May 2-5, 2007 http://www.dimi.uniud.it/typ

[TYPES/announce] final CFP: Foundations of Interactive Computation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] final call for papers FInCo 2007: FOUNDATIONS OF INTERACTIVE COMPUTATION satellite workshop of ETAPS 2007 Saturday 31 March 2007,