[TYPES/announce] Doctoral Researcher / PhD Student / Postdoc Position

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The group of André Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Computer Science Department at KIT, Karlsruhe, is recruiting a PhD

[TYPES/announce] GPCE 2023 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- GPCE 2023: 22nd International Conference on Generative Programming: Concepts & Experiences GPCE 2023 will be

[TYPES/announce] SPLASH 2023 Student Research Competition – deadline: July 14th, 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SPLASH 2023 Student Research Competition Call for Submissions Deadline: July 14th, 2023

[TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are happy to invite submissions to the ML Family Workshop 2023 (with apologies for cross-posting):   Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML

[TYPES/announce] Postdoc, PhD student and intern positions at Université Paris-Saclay, CEA List institute, France, in Software Security and Program Analysis

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] > > The BINSEC team ( >