[TYPES/announce] Second 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] GandALF 2023: Registration is open – Call For Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *[apologies for cross-postings]* * Registration is finally open for the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23), to be held

[TYPES/announce] Extended deadline: JSC special issue on the interaction of SC and ML in AI

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for papers Journal of Symbolic Computation Special Issue on the Interaction of Symbolic Computation and Machine Learning in Artificial Intelligence

[TYPES/announce] WITS '23 Call for Participation

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

[TYPES/announce] Functional Art, Music, Modeling and Design (FARM 2023) Sep 8: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and