[TYPES/announce] [Call for Participation] LCTES 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SUBJECT: Call for Participation: LCTES 2023, June 18 (Orlando, Florida), co-located with PLDI and FCRC CONTENT: Call for Participation: ACM SIGPLAN/SIGBED International Conference on Lang

[TYPES/announce] ITP 2023 Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === ITP 2023 Call for Participation === The international conference on Interactive Theorem Proving (ITP 2023) will be held on July 31

Re: [TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I am letting you know that the deadline has been extended to June 8th (AoE). Guillaume Le 24/05/2023 à 19:05, Guillaume Munch-Maccagnoni a écrit : We are happy to invite submis

[TYPES/announce] PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is a gentle reminder that the dead-line for the PhD position is today (June 1st). Applications will be considered until the position is filled, though. TL;DR --- Candidates inte

[TYPES/announce] Moderator's note: Working through backlog of unposted message

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Types-announce list subscribers, Just a quick note mentioning that -- as you probably noticed -- the May issue in forwarding emails (which was on my side) has been fixed and the emails

[TYPES/announce] Call for Participation -- LFMTP 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Logical Frameworks and Meta-Languages: Theory and Practice Rome, Italy -- July 2nd

[TYPES/announce] MFPS and CALCO 2023: Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PARTICIPATION: CALCO 2023 and MFPS XXXIX 10th International Conference on Algebra and Coalgebra in Computer

[TYPES/announce] CFP WLP2023: 37th Workshop on (Constraint and Functional) Logic Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 37th Workshop on (Constraint and Functional) Logic Programming (WLP)Workshop at KI2023, Berlin, Germany September 26, 2023 Workshop Website: https://urldefense.com/v3/__https://dbs.i

[TYPES/announce] TyDe 2023 - Second Call for Papers and Deadline Extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TL;DR: The submission deadline for TyDe 2023 has been extended to Thursday June 8. CALL FOR PAPERS 8th Wor