[TYPES/announce] Last CfP: SCSS 2021

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = SCSS 2021 The 9th International Symposium on Symbolic Computation in Software Science -- In the era of Computational and Artificial Intelligence -- September

[TYPES/announce] Seminar talk by Georg Moser on Automated Analysis of Splaying et al. (SCOT seminar)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues,    The recently started web Seminar on Semantic and Formal Approaches to Complexity (SCOT) can be of interest to some members of the Types community. The next talk will

[TYPES/announce] 5 permanent positions (lecturer, senior lecturer, associate professor) at Swansea University, UK

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 5 Permanent Posts at Swansea University, UK - Closing Date: 13-06-2021 * LECTURER/ SENIOR LECTURER IN COMPUTER SCIENCE (RESEARCH) -

[TYPES/announce] Seminar talk on Mathematical Structures in Dependent Type Theory

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, everyone. On Friday, May 14, 2021 between 9am and 10am EDT (1pm - 2pm UTC), Assia Mahboubi will be giving a presentation as part of the CS Colloquium Series at Augusta University.