[TYPES/announce] Call for Participation FST TCS 2007

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple mailings. This announcement is likely to be of interest to subscribers of various lists] [As dreaded, there was a typographical error in the link names]

[TYPES/announce] paper: history of bisimulation, coinduction

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I'd like to announce the availability of the paper below. As usual,comments are welcome. Best regards, Davide Sangiorgi --- Title: On the origins of

[TYPES/announce] TYPES small workshop on Effects and Type Theory

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] In the frame of the extended EU FP6-funded TYPES project, we are organizing an ad hoc "small workshop" on integration of effects into type-theoretic programming/reasoning. This is an infor

[TYPES/announce] 13th Estonian Winter School in Computer Science, Call for Partic.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [The courses of Benton, Harel and Meseguer are on programming theory topics.] [Lecturers: Benton, Harel, Kushilevitz, Meseguer, Persiano. Place/time: Palmse, Estonia, 2-7 March 2008. Dead