[TYPES/announce] CFP - TERMGRAPH: Computing with terms and graphs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Call for Papers TERMGRAPH 2018 Tenth International Workshop

[TYPES/announce] Linearity & TLLA Workshop - Call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Call for Papers Joint Linearity & TLLA Workshop

[TYPES/announce] TERMGRAPH 2018 at FLoC - Call for Papers - deadline 22 April

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Call for Papers TERMGRAPH 2018 Tenth Internationa

[TYPES/announce] Call for papers: CSL 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers - Computer Science Logic (CSL 2020) 13-16 January 2020, Barcelona, Spain Paper Submission: 4 July 2019 https://easychair.org/cfp/CSL2020 Computer Science Logic (CSL) is the a

[TYPES/announce] CSL 2020 - Final Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers - Computer Science Logic (CSL 2020) 13-16 January 2020, Barcelona, Spain Paper Submission: 4 July 2019 https://easychair.org/cfp/CSL2020 Computer Science Logic (CSL) is the a

[TYPES/announce] CFP LSFA 2014: 9th Workshop on Logical and Semantic Frameworks, with Applications

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LSFA 2014 — SECOND CALL FOR PAPERS 9th Logical and Semantic Frameworks, with Applications 8-9 September 2014, Brasilia D.F., Brazil

[TYPES/announce] Call for participation: CSL 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Call for Participation == Computer Science Logic 2020 Barcelona, Cat

[TYPES/announce] Call for participation: CSL 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Call for Participation == Computer Science Logic 2020 Barcelona, Cat

[TYPES/announce] Call for papers: LOPSTR 2020

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

[TYPES/announce] Call for papers: LOPSTR 2020 - a virtual conference

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

[TYPES/announce] LOPSTR 2020: Extended Deadlines

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

[TYPES/announce] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION: BOPL 2020 Bologna Federated Conference on Programming Languages September 7-10, 2020 Online at https://bopl.cs.unibo.it