[TYPES/announce] ProWeb21 Call for Contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ProWeb 2021: 5th International Workshop on Programming Technology for the Future Web https://2021.programming-conference.org/track/proweb-2021-papers Co-located with the conference March

[TYPES/announce] ETAPS Doctoral Dissertation Award - Third Call for Nominations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ETAPS Doctoral Dissertation Award = The European Joint Conferences on Theory and Practice of Software Association has established a Doctoral Dissertation

[TYPES/announce] Deadline extension: AMAI Special Issue on Theoretical and Practical Aspects of Unification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Due to requests, the submission deadline for the special issue of the Annals of Mathematics and Artificial Intelligence (AMAI) on Theoretical and Practical Aspects of Unification has been