This is a forum for off-line presentation and discussion of contributions formerly intended for the workshop EUTYPES-TYPES-ITRS 2020.
The forum is subdivided into sections, corresponding to the ones in the book of abstracts. After registering, each author of a contribution, whose name appears in the lists at the beginning of the sessions, can request the moderator to post her/his slides and/or a short video for presenting them. See the instructions in the main frame. Each contribution will apear in its section, followed by a forum for questions and answers.
- Speaker: Stefano Berardi
- Speaker: Stefano Berardi
- Speaker: Luca Ciccone
- Speaker: Francesco Dagnino
- Speaker: Ugo De' Liguoro
- Speaker: Mariangiola Dezani
- Speaker: Paola Giannini
- Speaker: B. Heuvel, van den
- Speaker: Ralph Matthes
- Speaker: Gabriel Scherer
- Speaker: Anton Setzer
- Speaker: Niels van der Weide