[TYPES/announce] MSCS Special Issue - Mechanization of Mathematics (second call)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Mathematical Structures in Computer Science Special Issue on Advances and Perspectives in the Mechanization of Mathematics Guest Editors: Andrea Asperti and Jeremy Avigad Call for cont

[TYPES/announce] SCTS (Edinburgh, 21st May): Programme and call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] At the meeting announced below, a well-known type theorist promises to overturn an established mathematical definition. --

[TYPES/announce] IWS 2010: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - CALL FOR PARTICIPATION: IWS 2010 International Workshop on Strategies in Rewriting, Proving, and Programming Edinburgh, Scotla

[TYPES/announce] HOR'2010 (Affiliated with RTA'2010) - Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 5th International Workshop on Higher-Order Rewriting (Affiliated with RTA'2010) Wednesday July 14, 2010, Edinburgh, UK http://hor.pps