Participants of the Workshop "Proof, Computation, Complexity"

Name Affiliation Period of stay
Amirhossein Akbar TabatabaiCzech Academy of Sciences02.05.2018 – 30.07.2018
Josef BergerLudwig-Maximilians-Universität München16.07.2018 – 24.08.2018
Ulrich BergerSwansea University24.06.2018 – 24.08.2018
Douglas S. BridgesUniversity of Canterbury02.05.2018 – 22.08.2018
David CernaJohannes Kepler University 
Jacopo EmmeneggerStockholms Universitet09.07.2018 – 20.07.2018
Makoto FujiwaraWaseda University02.07.2018 – 10.08.2018
Hugo HerbelinUniversity Paris Diderot02.05.2018 – 14.08.2018
Hajime IshiharaJapan Advanced Institute of Science and Technology10.06.2018 – 11.08.2018
Raheleh Jalali KeshavarzCzech Academy of Sciences02.05.2018 – 30.07.2018
Reinhard KahleCMA & DM, FCT, Universidade Nova de Lisboa11.07.2018 – 22.07.2018
Tatsuji KawaiJapan Advanced Institute of Science and Technology03.06.2018 – 24.08.2018
Peter KoellnerHarvard University04.07.2018 – 28.07.2018
Peter KoepkeUniversität Bonn02.05.2018 – 10.08.2018
Lars KristiansenUniversity of Oslo 
Oliver KullmannSwansea University 
Robert LubarskyFlorida Atlantic University12.07.2018 – 04.08.2018
Ralph MatthesIRIT - Université Paul Sabatier15.07.2018 – 21.07.2018
Paul-André MellièsCNRS03.06.2018 – 19.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
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
Iosif PetrakisLudwig-Maximilians-Universität München19.07.2018 – 20.08.2018
Michael RathjenUniversity of Leeds02.05.2018 – 15.08.2018
Giuseppe RosoliniUniversit degli Studi di Genova09.05.2018 – 22.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
Wilfried SiegCarnegie Mellon University01.06.2018 – 31.07.2018
Dieter SpreenUniversität Siegen09.05.2018 – 24.08.2018
Tsutomu TakayamaKyoto University02.05.2018 – 24.08.2018
Andreas WeiermannGhent University03.06.2018 – 20.07.2018
Franziskus WiesnetUniversità degli Studi di Verona01.06.2018 – 24.08.2018
Ihsen YenguiUniversità degli Studi di Verona02.05.2018 – 24.08.2018