Speakers at the SSTT meeting
Speakers at the EUTypes working group meeting:
- Andreas Abel: Formal languages, coinductively formalized in Agda
- Dan Frumin: A homotopy-theoretic model of function extensionality in the effective topos
- Silvia Ghilezan: Denotational and Operational Preciseness of Subtyping
- Théo Winterhalter: The rules of type theory
- Simon Huber: Canonicity for Cubical Type Theory
- Ambrus Kaposi: Normalisation by evaluation for dependent types
- Bojan Marinković: Proving the Correctness of the Chord Protocol Using Isabelle/HOL Proof Assistant
- Gregor Molan: What does industry want? What does industry need?
- Paige North: Categories of display map categories
- Pierre-Marie Pédrot: An Effectful Way to Eliminate Addiction to Dependence
- Andre Rodin: Models of HoTT and the Semantic View of Theories
- Anton Setzer: Object-oriented programming in dependent type theory - heap
- Niels van der Weide: Programming with Higher Inductive Types
Participants
- Andreas Abel
- Benedikt Ahrens
- Thorsten Altenkirch
- Henning Basold
- Andrej Bauer
- Ulrik Buchholtz
- Mitchell Buckley
- Stefan Ciobaca
- Thierry Coquand
- Peter Divianszky
- Peter Dybjer
- Dan Frumin
- Silvia Ghilezan
- Herman Geuvers
- Philipp Haselwarter
- Hugo Herbelin
- Anton Hristov
- Simon Huber
- Ambrus Kaposi
- Balazs Komuves
- András Kovács
- Ambroise Lafont
- Davorin Lešnik
- Audrius Lopata
- Peter Lumsdaine
- Bojan Marinković
- Ralph Matthes
- Marino Miculan
- Marija Mihova
- Gregor Molan
- Anders Mörtberg
- Aleksandar Nanevski
- Paige North
- Tomi Pannila
- Stefano Piceghello
- Luis Pinto
- Matija Pretnar
- Benjamin Price
- Pierre-Marie Pédrot
- Andrej Rodin
- Aleksy Schubert
- Carsten Schürmann
- Anton Setzer
- Alex Simpson
- Petros Stefaneas
- Niels van der Weide
- Niels Voorneveld
- Milena Vujošević-Janičić
- Jonathan Weinberger
- Théo Winterhalter
