[TYPES/announce] [ICFEM 2022] Last CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICFEM 2022 October 24-27, 2022, Madrid, Spain

[TYPES/announce] [ICFEM 2022] Call for Workshops and tutorials

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 23rd International Conference on Formal Engineering Methods - ICFEM 2022 October 24-27, 2022 Madrid, Spain

[TYPES/announce] Last Call for Participation: 12th International School on Rewriting (ISR 2021), online and free

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == LAST CALL FOR PARTICIPATION == 12th International School on Rewriting (ISR 2021) 5-16 July 2021 Virtual event hosted via ZOOM by Universidad Complutense

[TYPES/announce] [Call for Participation] 12th International School on Rewriting

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PARTICIPATION == 12th International School on Rewriting (ISR 2021) 5-16 July 2021 Virtual event hosted via zoom by Universidad Complutense de

[TYPES/announce] 12th International School on Rewriting (ISR 2021), online and free

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == ANNOUNCEMENT == 12th International School on Rewriting (ISR 2021) 5-16 July 2021 Virtual event hosted via zoom by Universidad Complutense de Madrid

[TYPES/announce] ICFEM 2020 - Deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- CALL FOR PAPERS --- 22nd International Conference on Formal Engineering Methods (ICFEM 2020), 2-6 November 2020, Singapore (subject to changes, including backup

[TYPES/announce] WPTE 2020 - 2nd CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- WPTE 2020: 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation