Conference Setup
This year’s TYPES will be held virtually (online), possibly in combination with a physical meeting if the political situation permits that. That the conference is held virtually constraints the time of talks, and complicates exchange and collaboration. TYPES 2021 will therefore not only consist of presentations, but also a setup of working groups that get together throughout the week. Every day will be split into a session of talks and tutorials, and a collaboration session during which the working groups will get together. The hope is that we can retain at least some of the exchange and chatter that is the heart of the TYPES conference series.
Contributed Talks
Contributed talks will be organised along two categories: presentation-only talks and talks with the intent to contribute to the post-proceedings. Presentation-only talks will consist of a 5 minutes recorded video that is shown during the conference in combination with 5 minutes live discussion. The purpose of recording the talk beforehand is to avoid technical issues. Talks with the intent for post-proceedings submission get a slot for a 10 minutes live talk plus 5 minutes discussion during the conference. The idea is that in this case, an interactive discussion with more in-depth feedback will help to submit to the post-proceedings.
Contribution Type | Conference Setup |
Presentation-only | 5 minutes video shown live + 5 minutes discussion with authors |
Presentation with intent for post-proceedings | 10 minutes live talk + 5 minutes discussion |
Attendance and Fees
Despite the difficulty that a virtual event brings, it also offers a chance. We will make TYPES as inclusive as possible, which means that attending virtually is free of charge, if you are not in the position to pay fees. For everyone else, the fees will be low and only to cover the costs of setting up the infrastructure and organisation. Should it be possible that we can have a hybrid virtual-physical meeting, then there will also be some costs for recording and streaming that will have to be shared between local and virtual attendees. However, we will keep these low in general and free for those who cannot afford to pay fees.
Submission of Contributed Talks
The contributed talks are selected on the base of extended abstracts/short papers of 2 pages (excluding bibliography) formatted with the LaTeX EasyChair3.5 style. The submission site is https://easychair.org/my/conference?conf=types2021 Upon submission, you will have to select the type of contribution. Note that the selection at this stage only expresses an intent to submit to the post-proceedings, and that you are neither obliged to submit your work nor are you excluded from the submission to the post-proceedings should you not submit an intent at this stage. The idea is only to help you with more feedback during the conference. Please note, however, that you should be fair in selecting this category because the time in a virtual conference is very limited and should be given to those authors who really need it.
- Submission of abstract: 23 April 2021 AoE
16 April 2021 AoE - Author notification: 14 May 2021
- Camera-ready version of abstract: 4 June 2021 AoE
- Conference: 14 – 18 June 2021
Programme Committee
- Andreas Abel (Gothenburg University/Chalmers)
- Henning Basold (LIACS — Leiden University) (chair)
- Stefano Berardi (Università di Torino)
- Marc Bezem (University of Bergen)
- Frédéric Blanqui (INRIA — ENS Paris-Saclay)
- Sandrine Blazy (INRIA — University of Rennes)
- Ana Bove (Chalmers / U. of Gothenburg)
- Paolo Capriotti (no affiliation)
- Jesper Cockx (TU Delft)
- José Espírito Santo (University of Minho)
- Herman Geuvers (Radboud University Nijmegen)
- Silvia Ghilezan (University of Novi Sad)
- Nicolai Kraus (U. of Nottingham)
- Sergueï Lenglet (Univ. de Lorraine)
- Assia Mahboubi (INRIA — Nantes and VU Amsterdam)
- Ralph Matthes (IRIT — CNRS and University of Toulouse)
- Keiko Nakata (SAP Postdam)
- Fredrik Nordvall Forsberg (University of Strathclyde)
- Jorge A. Pérez (University of Groningen)
- Gabriel Scherer (INRIA Saclay)
- Aleksy Schubert (University of Warsaw)
- Niccolò Veltri (Tallin UT)
- Stephanie Weirich (U. of Pennsylvania)
Organisation
- Henning Basold (LIACS — Leiden University)
- Tanjona Ralaivaosaona (LIACS — Leiden University)