[TYPES/announce] Postdoc & Scientific Programmer Positions in Tokyo

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute, apologies for multiple postings.] Open Postdoc & Scientific Programmer Positions in Tokyo Hasuo Laboratory

[TYPES/announce] ESSLLI 2023: Call for Course and Workshop Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Course and Workshop Proposals 34th European Summer School in Logic, Language and Information – ESSLLI 2023 31 July–11 August, 2023, Ljubljana, Slovenia

[TYPES/announce] Postdoc position at the University of Birmingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We would like to invite applications for an up to 3 years fully-funded postdoctoral position within the School of Computer Science at the University of Birmingham (see below for

[TYPES/announce] TYPES 2022 Last Post-proceeding CfP -- Extended Deadline

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR CONTRIBUTIONS -- EXTENDED DEADLINE TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2022 was held from 20 to