[TYPES/announce] Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Notice: due to multiple requests, the deadlines for LFMTP24 have been extended as follow: * abstract submission: May  6 * paper submission:    May 13 Here is the updated CfP.

[TYPES/announce] IEEE CSF 2024 - Student Volunteers and Travel Scholarships

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * CSF 2024 - Student Volunteers and Travel Scholarships 37th IEEE Computer Security Foundations Symposium July 8-12, 2024 ***

[TYPES/announce] ICTCS 2024: Call for Papers (deadline June 9, 2024)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICTCS 2024 – 25th Italian Conference on Theoretical Computer Science September 11-13, 2024, Turin, Italy website:

[TYPES/announce] PPDP 2024 - Final CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CFP: The 26th International Symposium on Principles and Practice of Declarative Programming Part of FM 2024 and co-located with LOPSTR 2024, FACS 2024, FMICS 2024, and TAP 2024.

[TYPES/announce] Coq Workshop 2024 call for presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are pleased to invite you to submit presentation proposals for the Coq Workshop 2024, which will be held in Tbilisi, Georgia on 13 September 2024, as a satellite to the ITP conference.