We will use Topia to create an interactive environment, which requires a bit of planning beforehand. If you wish to participate in TYPES 2021, then please fill in the registration form by 10 June 2021 AoE. The conference is sponsored by the Leiden Institute of Advanced Computer Science and thus free of charge for all participants. The data filled into the registration form will not be shared and it will be destroyed after the end of the conference.
If you do not wish to use Topia, then you can still join for the talks and the panel discussion.