[TYPES/announce] Fields Workshop on Traced Monoidal Cats (Second Announcement)

interested in receiving financial aid should contact the organizers by January 30th. Anyone interested in attending or contributing a talk should contact us by the above date. We hope to see you there. The organizers: Phil Scott ([EMAIL PROTECTED]) Rick Blute ([EMAIL PROTECTED]) Pieter Hofstra

[TYPES/announce] Postdoctoral position at U. Ottawa

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Fellow/Postdoc position in Category Theory, Logic and Computation, University of Ottawa The Logic Group in the Departme

[TYPES/announce] Postdoc Position: University of Ottawa

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Fellow/Postdoc position in Category Theory, Logic and Computation, University of Ottawa The Department of Mathematics and Statistics at the Un

[TYPES/announce] PCAs 2010: a LICS-FLoC 2010 workshop

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is to announce: Partial Combinatory Algebras in Realizability and Computability (PCAs 2010) Friday 9th July 2010, Edinburgh, UK A LICS 2010-affiliated