print · source · login   

Participants and speakers of the EUTypes and SSTT meeting in Ljubljana 2017

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