[TYPES/announce] Classical Logic and Computation (CLC'12): Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] International Workshop on Classical Logic and Computation (CLC'12) http://www.doc.ic.ac.uk/~svb/CLaC12 July, 8 2012 Warwick,

[TYPES/announce] CLC 2012: deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] International Workshop on Classical Logic and Computation (CLC'12) http://www.doc.ic.ac.uk/~svb/CLaC12 July, 8 2012 Warwick, England

[TYPES/announce] Control Operators and their Semantics (COS'13) - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Control Operators and their Semantics (COS'13) - Call for Papers Satellite event of RDP'13

[TYPES/announce] Control Operators and their Semantics (COS'13) - Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Control Operators and their Semantics (COS'13) - Call for Papers Satellite

[TYPES/announce] Control Operators and their Semantics (COS'13) - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Control Operators and their Semantics (COS'13) - Call for Participation Satellite

[TYPES/announce] CFP: Workshop on Continuations - WoC'15

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS WoC'15 Workshop on Continuations 12th April 2015, London, UK

[TYPES/announce] Call for papers: WoC'15 - Workshop on Continuations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS WoC'15 Workshop on Continuations 12th April 2015, London, UK

[TYPES/announce] WoC'15, Workshop on Continuations - Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS WoC'15 Workshop on Continuations 12th April 2015, London, UK

[TYPES/announce] TYPES-ITRS 2020 - workshops cancellation and publication of abstracts

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, because of the sanitary emergency in the North of Italy, the TYPES-ITRS 2020 workshops have been cancelled. A book of all abstracts accepted for presentation to TYPES 2020 is now

[TYPES/announce] TYPES 2020 - Call for contributions, gentle remind

, a post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. CONTACT Email: ugo.deligu...@unito.it Program committee     Ugo de’ Liguoro (Università di Torino) (chair)     Stefano

[TYPES/announce] ITRS 2020 - Call for contributions, gentle remind

submission:     10 January, 2020 Author notification:      1 February, 2020 Final version:         15 February, 2020 Workshop:     6 March, 2020 Organizer Ugo de' Liguoro (Università di Torino, Italy) Steering Committee Mariangiola Dezani-Ciancaglini (Università di Torino, Italy) Jakob

[TYPES/announce] TYPES 2020 Post-proccedings CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]                           Open call for papers                Web: https://types2020.di.unito.it/cfp.html   Post-proceedings of the TYPES 2020 26th

[TYPES/announce] CfP - Intersection Types and Related Systems - ITRS2021

vi Sad, Serbia * Ugo de' Liguoro, Università di Torino, Italy (chair) * Jeremy Siek, Indiana University Bloomington, USA (co-chair) Organizers: Ugo de' Liguoro, Università di Torino, Italy Riccardo Treglia, Università di Torino, Italy (riccardo.treg...@unito.it) Steering Committe

[TYPES/announce] Publication of the TYPES'20 post-proceedi9ngs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, on behalf of the editors Stefano Berardi, Thorsten Altenkirch and myself, it is my pleasure to communicate that the post-proceedings of TYPES'20 have been published as

[TYPES/announce] PPDP 2023: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = PPDP 2023 Call for Papers = 25th International Symposium on Principles and Practice of Declarative Programming 22-23 October 2023,