[TYPES/announce] CSL 2022 - call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ==Apologies for cross-posting== = Second call for papers (CSL'22) = News: Invited speakers announced,

[TYPES/announce] Call for Tutorial, Panel, and Discussion Proposals: ICFP 2021

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming

[TYPES/announce] MFPS 2021: Deadline Extension and Invited Speakers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = CALL FOR PAPERS: MFPS XXXVII https://www.coalg.org/calco-mfps-2021/mfps 37th Conference on Mathematical Foundations of

[TYPES/announce] [Call for Participation] 12th International School on Rewriting

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PARTICIPATION == 12th International School on Rewriting (ISR 2021) 5-16 July 2021 Virtual event hosted via zoom by Universidad Complutense de

[TYPES/announce] PhD funding on "Reasoning about Concurrent Game Structures with Numerical Resources"

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PhD Fellowship - Labex Digicosme - Paris-Saclay (LIX, LMF) Urgent: deadline for application = June 10th 2021 We are looking for a candidate for the PhD proposal "REASONING ABOUT

[TYPES/announce] OPLSS 2021 - See You At The Oregon Programming Languages Summer School

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We hope to see you at the Oregon Programming Languages Summer School! https://www.cs.uoregon.edu/research/summerschool/summer21/intro.mp4 The OPLSS speakers are not singing (it's hard to