[TYPES/announce] ITRS Call for Post-Proceedings

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

[TYPES/announce] ITRS Call for Post-Proceedings

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