[TYPES/announce] Scottish Category Theory Seminar

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Scottish Category Theory Seminar *** First Meeting *** Friday 27 November 2009, 2pm *** University of Glasgow, Scotla

[TYPES/announce] Certified Complexity at PPS (Paris): Post-Doc + PhD

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CerCo positions at PPS A PhD and a one year post-doc positions are available to work in Paris, in the PPS laboratory, on the EU-FP7 Certified Complexity project (CerCo). The

[TYPES/announce] PhD Program at IMT Lucca, Italy

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Applications from students interested in topics related to logics, type-theory, and semantics are encouraged] PhD at IMT Lucca Istitute for Advanced Studies, Italy Call for applications: