[TYPES/announce] WPTE 2021 (FIRST Call For Papers)

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

[TYPES/announce] Seminar talk on Relational Programming, Program Synthesis, Treating Rare Diseases, and More!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, everyone. On Friday, Feb. 12, 2021 between 1pm and 2pm EST (6pm - 7pm UTC), Dr. William Byrd will be giving a presentation as part of the CS Colloquium Series at Augusta University. Pre

[TYPES/announce] PhD scholarship on Concurrency and Logic (Updated)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please share widely with potential candidates; apologies for any cross-postings.] PHD SCHOLARSHIP ON “CONCURRENCY AND LOGIC“ University of Groningen, The Netherlands Apply before March 19,

[TYPES/announce] CADE-28: final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] /!\ This is CADE-28's final call for papers. The abstract deadline is next week. /!\ The submission deadline is firm, there will be no extensions. /!\ The other dates (rebuttal, notificatio

[TYPES/announce] CfP: 14th Interaction and Concurrency Experience (ICE 2021)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICE 2021 14th Interaction and Concurrency Experience June 18, 2021 University of Malta, Valletta and/or on