[TYPES/announce] ICFP 2023: Call for Volunteers (Deadline: 30 June!)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICFP 2023 CALL FOR VOLUNTEERS 28th ACM SIGPLAN International Conference on Functional Programming

[TYPES/announce] PhD student in Computing Science on safe and efficient programming languages

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies. Please forward to interested students.] Dear all, The Department of Information Technology at Uppsala University (Sweden) is advertising a fully funded PhD

[TYPES/announce] ETAPS 2024 – Call for Satellite Events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ETAPS 2024 – Call for Satellite Events 27th European Joint Conferences on Theory and Practice of Software Interdisciplinary Centre for Security, Reliability and Trust (SnT) / University of

[TYPES/announce] Lecturer position at the University of Bristol

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all The School of Computer Science of the University of Bristol is seeking to appoint a Lecturer in Programming Languages. The focus of the position will be in Compilers, interpreted