Participants of the Workshop "Constructive Mathematics"

Name Affiliation Period of stay
Juan P AguileraTU Wien05.08.2018 – 11.08.2018
Andrej BauerUniversity of Ljubljana06.08.2018 – 10.08.2018
Josef BergerLudwig-Maximilians-Universität München16.07.2018 – 24.08.2018
Ulrich BergerSwansea University24.06.2018 – 24.08.2018
Mark BickfordCornell University05.08.2018 – 11.08.2018
Douglas S. BridgesUniversity of Canterbury02.05.2018 – 22.08.2018
Jan BydzovskyTU Wien 
Francesco CirauloUniversità degli Studi di Padova05.08.2018 – 10.08.2018
Seth Colbert-PollackFreie Universität Berlin / Kenyon College06.08.2018 – 10.08.2018
Pieter CollinsMaastricht University08.08.2018 – 10.08.2018
Laura CrosillaUniversity of Birmingham06.08.2018 – 11.08.2018
Giulio FellinUniversità degli Studi di Verona06.08.2018 – 10.08.2018
Anton FreundTU Darmstadt05.08.2018 – 10.08.2018
Makoto FujiwaraWaseda University02.07.2018 – 10.08.2018
Robin HaveaUniversity of the South Pacific05.08.2018 – 11.08.2018
Hugo HerbelinUniversity Paris Diderot02.05.2018 – 14.08.2018
Hajime IshiharaJapan Advanced Institute of Science and Technology10.06.2018 – 11.08.2018
Reinhard KahleCMA & DM, FCT, Universidade Nova de Lisboa29.07.2018 – 11.08.2018
Tatsuji KawaiJapan Advanced Institute of Science and Technology03.06.2018 – 24.08.2018
Nils KöppLudwig-Maximilians-Universität München01.08.2018 – 21.08.2018
Peter KoepkeUniversität Bonn02.05.2018 – 10.08.2018
Henri LombardiUniversité Bourgogne Franche-Comté05.08.2018 – 11.08.2018
Klaus MainzerTechnische Universität München05.08.2018 – 09.08.2018
Samuele MaschioUniversità di Padova 
Paul-André MellièsCNRS, Universite Paris Cite, INRIA03.06.2018 – 19.08.2018
Joan Rand MoschovakisOccidental College05.08.2018 – 11.08.2018
Dávid Natingga TóthUniversity of Leeds02.05.2018 – 24.08.2018
Takako NemotoJapan Advanced Institute of Science and Technology10.06.2018 – 24.08.2018
Stefan NeuwirthUniversité de Franche-Comté05.08.2018 – 12.08.2018
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
Erik PalmgrenStockholm University02.06.2018 – 11.08.2018
Dirk PattinsonThe Australian National University06.08.2018 – 24.08.2018
Iosif PetrakisLudwig-Maximilians-Universität München19.07.2018 – 20.08.2018
Olga PetrovskaSwansea University05.08.2018 – 24.08.2018
Michael RathjenUniversity of Leeds02.05.2018 – 15.08.2018
Robert RettingerFH Dortmund 
Giuseppe RosoliniUniversità degli Studi di Genova09.05.2018 – 22.08.2018
Nick Rundnick  
Giovanni SambinUniversity of Padova01.08.2018 – 15.08.2018
Masahiko SatoKyoto University30.07.2018 – 24.08.2018
Peter SchusterUniversità degli Studi di Verona02.05.2018 – 11.08.2018
Helmut SchwichtenbergLudwig-Maximilians-Universität München02.05.2018 – 24.08.2018
Monika SeisenbergerSwansea University25.07.2018 – 24.08.2018
Christoph-Simon SenjakUniversität Freiburg05.08.2018 – 18.08.2018
Dieter SpreenUniversität Siegen09.05.2018 – 24.08.2018
Stefan SteinsHumboldt-Universität Berlin 
Tsutomu TakayamaKyoto University02.05.2018 – 24.08.2018
Davide TrottaNational Research Council, ISTI-CNR05.08.2018 – 22.08.2018
Hideki TsuikiKyoto University01.08.2018 – 24.08.2018
Garyfallia Vafeiadou 05.08.2018 – 11.08.2018
Louis VuilleumierUniversity of Lausanne 
Daniel WesselUniversità degli Studi di Verona05.08.2018 – 11.08.2018
Franziskus WiesnetUniversità degli Studi di Verona01.06.2018 – 24.08.2018
Ihsen YenguiUniversità degli Studi di Verona02.05.2018 – 24.08.2018