[TYPES/announce] PhD Studentship at UCL: A Coalgebraic framework for reductive logic and proof-search

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for cross-postings: please circulate widely. Thank you.] PhD Studentship: A Coalgebraic framework for reductive logic and proof-search We are seeking to appoint a PhD student in

[TYPES/announce] Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5, 2019

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We are pleased to announce the Second School and Workshop on Univalent Mathematics, to be held at the University of Birmingham (UK), April 1-5, 2019

[TYPES/announce] 10 PhD studentships in Nottingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, The School of Computer Science at the University of Nottingham is seeking applications for 10 fully-funded PhD studentships: https://tinyurl.com/10-phds-2019 Applicants in the