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

2007-01-18 Thread Phil Scott
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

2007-01-25 Thread Phil Scott
[ 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

2009-11-12 Thread Phil Scott
[ 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

2010-05-02 Thread Phil Scott
[ 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