Participants of the Workshop "Types, Homotopy Type theory, and Verification"

Name Affiliation Period of stay
Amirhossein Akbar TabatabaiCzech Academy of Sciences02.05.2018 – 30.07.2018
Thorsten AltenkirchUniversity of Nottingham03.06.2018 – 09.06.2018
Steve AwodeyCarnegie Mellon University29.05.2018 – 15.07.2018
Andrej BauerUniversity of Ljubljana04.06.2018 – 08.06.2018
Benno van den BergInstitute for Logic, Language and Computation (ILLC)03.06.2018 – 09.06.2018
Marc BezemUniversity of Bergen03.06.2018 – 09.06.2018
Douglas S. BridgesUniversity of Canterbury02.05.2018 – 22.08.2018
Ulrik BuchholtzTU Darmstadt04.06.2018 – 08.06.2018
Paolo CapriottiUniversity of Nottingham03.06.2018 – 09.06.2018
Pieter CollinsMaastricht University04.06.2018 – 14.06.2018
Thierry CoquandGoteborg University02.05.2018 – 30.06.2018
Hannes DienerUniversity of Canterbury02.06.2018 – 06.07.2018
Floris van DoornCarnegie Mellon University03.06.2018 – 06.07.2018
Maximilian DoréLMU München 
Peter DybjerChalmers University of Technology29.05.2018 – 15.06.2018
Jacopo EmmeneggerStockholms Universitet11.05.2018 – 08.06.2018
Jonas FreyCarnegie Mellon University03.06.2018 – 06.07.2018
Nicola GambinoUniversity of Leeds03.06.2018 – 09.06.2018
Philipp HaselwarterUniversity of Ljubljana03.06.2018 – 17.06.2018
Hugo HerbelinUniversity Paris Diderot02.05.2018 – 10.08.2018
Kuen-Bang (Favonia) HouInstitute for Advanced Study03.06.2018 – 09.06.2018
Simon HuberUniversity of Gothenburg03.06.2018 – 06.07.2018
John Martin Elliott HylandUniversity of Cambridge03.06.2018 – 16.06.2018
Raheleh Jalali KeshavarzCzech Academy of Sciences02.05.2018 – 30.07.2018
Gerhard JägerUniversität Bern08.06.2018 – 07.07.2018
Tatsuji KawaiJapan Advanced Institute of Science and Technology03.06.2018 – 24.08.2018
Peter KoepkeUniversität Bonn02.05.2018 – 24.08.2018
Nicolai KrausUniversity of Nottingham03.06.2018 – 09.06.2018
Dan LicataWesleyan University02.06.2018 – 08.06.2018
Henri LombardiUniversité Bourgogne Franche-Comté03.06.2018 – 09.06.2018
Robert LubarskyFlorida Atlantic University22.05.2018 – 14.06.2018
Peter LumsdaineStockholm University 
Maria Emilia MaiettiUniversity of Padova03.05.2018 – 15.06.2018
Klaus MainzerTechnische Universität München03.06.2018 – 05.06.2018
Anders MörtbergCarnegie Mellon University04.06.2018 – 06.07.2018
Paul-André MellièsCNRS03.06.2018 – 19.08.2018
David NatinggaUniversity of Leeds02.05.2018 – 24.08.2018
Stefan NeuwirthUniversité de Franche-Comté 
Satoru NikiJapan Advanced Institute of Science and Technology02.05.2018 – 24.08.2018
Isabel Maria OitavemCMA & DM, FCT, Universidade Nova de Lisboa02.05.2018 – 11.08.2018
Ian OrtonUniversity of Cambridge03.06.2018 – 09.06.2018
Erik PalmgrenStockholm University02.06.2018 – 11.08.2018
Fabio PasqualiUniversity of Padova 
Anja PetkovicUniversity of Ljubljana27.05.2018 – 10.06.2018
Iosif PetrakisLudwig-Maximilians-Universität München03.06.2018 – 08.06.2018
Sebastian PosurUniversität Siegen 
Michael RathjenUniversity of Leeds02.05.2018 – 15.08.2018
Giuseppe RosoliniUniversità degli Studi di Genova09.05.2018 – 22.08.2018
Christian SattlerChalmers University of Technology03.06.2018 – 09.06.2018
Peter SchusterUniversità degli Studi di Verona02.05.2018 – 11.08.2018
Helmut SchwichtenbergLudwig-Maximilians-Universität München02.05.2018 – 24.08.2018
Wilfried SiegCarnegie Mellon University01.06.2018 – 31.07.2018
Bas SpittersAarhus University27.05.2018 – 14.06.2018
Dieter SpreenUniversität Siegen09.05.2018 – 20.07.2018
Thomas StreicherTU Darmstadt03.06.2018 – 08.06.2018
Tsutomu TakayamaKyoto University02.05.2018 – 24.08.2018
Jakob von RaumerUniversity of Nottingham 
Andreas WeiermannGhent University03.06.2018 – 20.07.2018
Felix WellenCarnegie Mellon University02.06.2018 – 21.06.2018
Daniel WesselUniversità degli Studi di Verona02.05.2018 – 15.06.2018
Franziskus WiesnetUniversità degli Studi di Verona01.06.2018 – 24.08.2018
Chuangjie XuLudwig-Maximilians-Universität München28.05.2018 – 07.07.2018
Ihsen YenguiUniversità degli Studi di Verona02.05.2018 – 24.08.2018
Fabian Zickgraf