[TYPES/announce] PhD positions in Nottingham

, constructive mathematics, and related topics. Graham Hutton - not currently seeking a new student. Nicolai Kraus - homotopy type theory, higher category theory, constructive mathematics, and related topics. Dan Marsden - category theory, logic, finite model theory, diagrammatic reasoning

[TYPES/announce] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct

-FnWWTRwaR22Qn63nMurg6oUAKH8nk9ahx2y6N_KXw/viewform?usp=sf_link__;!!IBzWLUs!XaCm6duELdY95K6G69k40IaAKydYQedNSDhfawOFDSPFHqIG8cdN4i8qCpVSU4Vgx-a9F_3dM2ivhgcMBV0g0qtBO7j4iW_t6Y_gXg$ Zoom details for online participants will be sent out closer to the event. Best wishes, Nicolai Kraus, Conor McBride

[TYPES/announce] Midlands Graduate School: Accommodation and second (final) call for participation

out MGS'22 to Thorsten Altenkirch and Nicolai Kraus, thorsten.altenki...@nottingham.ac.uk nicolai.kr...@nottingham.ac.uk

[TYPES/announce] Postdoc and PhD position in homotopy type theory

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I would like to invite applications for one postdoctoral position and one PhD position in homotopy type theory or related areas at the University of Nottingham, UK. Our group in

[TYPES/announce] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation

ster early to secure a place. The registration period closes as soon as all places are filled or on March 20, whichever is sooner. ORGANISATION Please direct all queries about MGS'22 to Thorsten Altenkirch and Nicolai Kraus, thorsten.altenki...@nottingham.ac.uk nicolai.kr...@nottingham.ac.uk

[TYPES/announce] PhD position in homotopy type theory at Birmingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** PhD position in homotopy type theory *** Dear all, I would like to invite applications for a fully-funded PhD position at the University of Birmingham, School of Computer Science. The

[TYPES/announce] Agda Implementors' Meeting XXVIII - Nottingham, October 15-20

=Main.AIMXXVIII Please spread the word about this meeting. Best Regards, Nicolai ---8<-- Registration form (send it to Nicolai Kraus ) Agda Implementors' Meeting XXVI Name: Title and optionally abstract (if you want to give a talk or l

[TYPES/announce] Agda Implementors' Meeting XXVIII - Nottingham, October 15-20

. Please spread the word about this meeting. Best Regards, Nicolai ---8<-- Registration form (send it to Nicolai Kraus ) Agda Implementors' Meeting XXVI Name: Title and optionally abstract (if you want to give a talk or lead a discussion; optio