[TYPES/announce] EXPRESS/SOS 2023 Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS 2023)

[TYPES/announce] FACS 2023 - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FACS 2023 - Call for Papers

[TYPES/announce] summer school VTSA 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, the summer school on Verification Techniques, Systems, and Applications (VTSA 2023) will take place from August 28 to September 1, 2023, in Nancy, France. I believe that

[TYPES/announce] Call for TYPES 2025 location

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Types conference is an almost yearly conference held since 1990. It is a forum to present new and on-going work in all aspects of type theory and its applications. In the week from