[TYPES/announce] One postdoctoral position in logics for concurrency - University of Urbino

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] One postdoctoral position in logics for concurrency, with a particular focus on reversible debugging, is available at the University of Urbino, within the PRIN project DeKLA: *Developing

[TYPES/announce] Call for participation: DiλLL 2024 - Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024, Marseille (France)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for participation Differential λ-Calculus and Differential Linear Logic, 20 Years Later (DiλLL 2024) Monday 13 -- Friday 17 May

[TYPES/announce] RC 2024 - call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ==                 *Call for Papers*       *Reversible Computation 2024* ==   July 4th – 5th, Torun, Poland