[TYPES/announce] Lectureship positions in Bath

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Computer Science at the University of Bath is seeking to appoint two new members of staff to join the Mathematical Foundations of Computation group:

[TYPES/announce] Midlands Graduate School (MGS)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, There are just a few days left now to register for this years Midlands Graduate School (MGS) in Leicester. Seven fantastic courses on category theory, proof theory, type theory,

[TYPES/announce] Symbolic Computation in Software Science (SCSS'24): submission deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Symbolic Computation in Software Science conference, initiated by Bruno Buchberger, Tetsuo Ida, and Masahiko Sato, this year has its 10th edition August 28-30 in Tokyo. The paper