[TYPES/announce] Assistant/Associate professor role at Radboud University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # Assistant or Associate Professor of Software Technology Do you want to work in our programming languages and compiler group, to help create next generation programming languages? Then

[TYPES/announce] IEEE CSF 2023: early bird registration ends soon

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Early bird registration before June 10th

[TYPES/announce] POPL 2024: Call for Workshops and Co-located Events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all Please find below the Call for Workshops and Co-located Events for the POPL 2024 conference, which is also here:

[TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, If you or one of your students recently completed a PhD (or Habilitation) in the area of functional programming, please submit the dissertation abstract for publication in JFP.

[TYPES/announce] PhD Studentships in PL at the University of Glasgow (Deadline: 31st July 2023)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The School of Computing Science at the University of Glasgow is offering studentships to support PhD research for students starting in Autumn 2023. There are three studentships available:

[TYPES/announce] PhD and Postdoc positions in PL/FM/Security at LMU Munich, Germany

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Programming Languages and Artificial Intelligence group at LMU Munich (

[TYPES/announce] CfP: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Call for Papers FTSCS 2023 9th ACM International Workshop on Formal