[TYPES/announce] Final Call and Deadline Extension for Beth Outstanding Dissertation Prize 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final Call and Deadline Extension for Beth Outstanding Dissertation Prize 2022 Extended Deadline: 30th of April 2022. Since 1998, the Association for Logic, Language, and Information

[TYPES/announce] Call for location ICALP 2025

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR LOCATION ICALP 2025 [Note: This is a correction of a location call recently sent] The International Colloquium on Automata, Languages and Programming (ICALP) is the main