[TYPES/announce] LAP 2021 - Logic and Applications: CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = LAP 2021 CONFERENCE ANNOUNCEMENT LOGIC AND APPLICATIONS - LAP 2021 September 20-24, 2021, Dubrovnik, Croatia

[TYPES/announce] Pos doc position at University of Minho

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A call is open for one post doctorate position at the Centre of Mathematics, University of Minho, Portugal. The Centre has a research group interested in proof theory, type theory and

[TYPES/announce] HOPE'21@ICFP-CfP: ACM SIGPLAN Workshop on Higher-Order Programming with Effects

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] HOPE'21: ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 22nd, 2021 (Sun), ONLINE(immediately before the main ICFP) Call-for presentations

[TYPES/announce] 3 Post-doc positions on semantics of PLs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 3  POST-DOC POSITIONS on the semantics of programming languages We have 3 post-doc positions at the Department of Computer Science of the University of Bologna.  The research theme is

[TYPES/announce] ITRS 21 CfP (Extended Deadline)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ITRS 2021 Call for papersTenth Workshop on Intersection Types and Related Systems - ITRS 2021 17 July 2021, Online Affiliated with FSCD , 17-24 July 2021,

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

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for cross-posting] CALL FOR COURSE AND WORKSHOP PROPOSALS 33rd European Summer School in Logic, Language and Information - ESSLLI 2022 8-19 August, 2022, Galway, Ireland