[TYPES/announce] Types 2024, second call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation TYPES 2024 30th International Conference on Types for Proofs and Programs Copenhagen,

[TYPES/announce] FACS 2024 - Third Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Please distribute, apologies for multiple postings. ] = 20th International Conference on Formal Aspects of Component

[TYPES/announce] Deadline extension: Graph Computation Models (GCM 2024)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- CALL FOR PAPERS GCM 2024 15th International Workshop on Graph Computation Models July 8-12 (precise date to be

[TYPES/announce] Position: Full Professor in Programming Languages and Compilers at TU Wien, Austria

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Faculty of Informatics of TU Wien, one of the top-ranked faculties of Informatics in Europe and located in Vienna, Austria, the world's most livable city, is seeking to hire a * Full