[TYPES/announce] Types 2024, second call for participation

of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. PROGRAMME COMMITTEE --- Patrick Bahr (IT University of Copenhagen, Denmark) (co-chair) Henning Basold (Leiden University, The Netherlands) Andrej Bauer (University

[TYPES/announce] TYPES 2024: Call for Participation

COMMITTEE --- Patrick Bahr (IT University of Copenhagen, Denmark) (co-chair) Henning Basold (Leiden University, The Netherlands) Andrej Bauer (University of Ljubljana, Slovenia) Marco Carbone (IT University of Copenhagen, Denmark) Jesper Cockx (TU Delft, The Netherlands) Greta

[TYPES/announce] TYPES 2024: Call for Contributions - Deadline extension

2024. PROGRAMME COMMITTEE --- Patrick Bahr (IT University of Copenhagen, Denmark) (co-chair) Henning Basold (Leiden University, The Netherlands) Andrej Bauer (University of Ljubljana, Slovenia) Marco Carbone (IT University of Copenhagen, Denmark) Jesper Cockx (TU Delft

[TYPES/announce] TYPES 2024 - 2nd Call for Contributions

International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative submission deadline for the post-proceedings: October 2024. PROGRAMME COMMITTEE --- Patrick Bahr (IT University of Copenhagen, Denmark) (co-chair) Henning Basold

[TYPES/announce] TYPES 2024 - Call for Contributions

International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative submission deadline for the post-proceedings: October 2024. PROGRAMME COMMITTEE --- Patrick Bahr (IT University of Copenhagen, Denmark) (co-chair) Henning Basold

[TYPES/announce] TERMGRAPH 2020: Call for (Online) Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Call for (Online) Participation TERMGRAPH 2020 Eleventh International

[TYPES/announce] TERMGRAPH 2020: Deadline Extension - 22 April

version of their work (typically a 15-pages paper) for publication in EPTCS. These submissions will undergo a second round of refereeing. Programme Committee: Beniamino Accattoli Zena Ariola Patrick Bahr (chair) Clemens Grabmayer Makoto Hamana Wolfram Kahl Frédéric Prost Femke van Raamsdonk David

[TYPES/announce] TERMGRAPH 2020: 2nd Call for papers

) for publication in EPTCS. These submissions will undergo a second round of refereeing. Programme Committee: Beniamino Accattoli Zena Ariola Patrick Bahr (chair) Clemens Grabmayer Makoto Hamana Wolfram Kahl Frédéric Prost Femke van Raamsdonk David Sabel Contact: Patrick Bahr

[TYPES/announce] TERMGRAPH 2020: Call for papers

eing. Programme Committee: Beniamino Accattoli Zena Ariola Patrick Bahr (chair) Clemens Grabmayer Makoto Hamana Wolfram Kahl Frédéric Prost Femke van Raamsdonk David Sabel Contact: Patrick Bahr