[TYPES/announce] 2nd Call for Contributions: Programming Languages in The Netherlands 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [cid:f1358543-9291-4773-b0d4-875914c28c07] === 3rd Workshop on Programming Languages in The

[TYPES/announce] Call for Submissions: Student Research Competition and Posters, APLAS 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR SUBMISSIONS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) STUDENT RESEARCH

[TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - 2nd CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Subject: RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - Preliminary CfP == Third

[TYPES/announce] Ackermann Award: Second call for nominations - Deadline 1st July

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACKERMANN AWARD 2023 EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE 2ND CALL FOR NOMINATIONS Nominations are invited for the 2023

[TYPES/announce] Final CFP: IEEE CSF 2024 - Spring Cycle (Submission Deadline: May 15, 2023, AoE)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 37th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2024 July 8 - 12, 2024 - Enschede, The Netherlands

[TYPES/announce] [final CfP+new submission link] MODALITIES IN SUBSTRUCTURAL LOGICS at ESSLLI

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] MODALITIES IN SUBSTRUCTURAL LOGICS: Applications at the interfaces of logic, language and computation Workshop at ESSLLI 2023, 7-8 August 2023, Ljubljana, Slovenia,

[TYPES/announce] SBMF 2023 - Call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] = CALL FOR PAPERS 26th Brazilian Symposium on Formal Methods Manaus, Brazil, 4th to

[TYPES/announce] WITS 2023 First Call for Contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR CONTRIBUTIONS Second Workshop on the Implementation of Type Systems August 28th, 2023, Braga, Portugal

[TYPES/announce] CADE-29: Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] == CADE-29 CALL FOR PARTICIPATION == The 29th International Conference on Automated Deduction Rome,