[TYPES/announce] WiL 2018: 2nd Women in Logic Workshop Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers WiL 2018: Second Women in Logic Workshop Oxford, UK July 8, 2018

[TYPES/announce] PEPM 2018 Final Call for Poster/Demo Abstracts and Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PEPM 2018 Final Call for Poster/Demo Abstracts and Participation A tentative programme is available, with two invited talks

[TYPES/announce] subject reduction

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear type theorists, what is the origin of the term "subject reduction"? I am of course referring to the property that if M:A and M -> N, then N:A, also known as type preservation. I can

[TYPES/announce] DICE 18: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- DICE 2018 9th Workshop on Developments in Implicit Computational complExity

[TYPES/announce] CMCS 2018: Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers The 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS'18)