[TYPES/announce] ITRS 2020 - Call for contributions, gentle remind

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ITRS 2020 Call for contributions Tenth Workshop on Intersection Types and Related Systems 6 March 2020, Turin Affiliated with Types 2020 https://types2020.di.unito.it/itrs.html Aims and

[TYPES/announce] TYPES 2020 - Call for contributions, gentle remind

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for contributions: 26th International Conference on Types for Proofs and Programs, TYPES 2020 2 - 5 March 2020, Turin https://types2020.di.unito.it/ Torino, Italy BACKGROUND The

[TYPES/announce] Several funded PhD positions in computer science in Lisbon

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The LASIGE research center of the University of Lisbon is looking to hire up to 10 doctoral fellows under the La Caixa Incoming Program. This program will fund 35 PhD fellowships for

[TYPES/announce] WADT 2020 - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- Call For Papers WADT 2020