Participants of the Workshop "Proofs and Computation"

Name Affiliation Period of stay
Bahareh AfshariUniversity of Gothenburg17.06.2018 – 06.07.2018
Amirhossein Akbar TabatabaiCzech Academy of Sciences02.05.2018 – 30.07.2018
Harry AltmanUniversity of Michigan01.07.2018 – 07.07.2018
Sergei ArtemovCUNY Graduate Center01.07.2018 – 07.07.2018
Steve AwodeyCarnegie Mellon University29.05.2018 – 15.07.2018
Matthias BaazVienna University of Technology01.07.2018 – 07.07.2018
Arnold BeckmannSwansea University01.07.2018 – 07.07.2018
David BelangerUniversity of Ghent03.07.2018 – 07.07.2018
Benno van den BergInstitute for Logic, Language and Computation (ILLC)01.07.2018 – 07.07.2018
Ulrich BergerSwansea University24.06.2018 – 24.08.2018
Nuria BredeUniversität Potsdam25.06.2018 – 06.07.2018
Douglas S. BridgesUniversity of Canterbury02.05.2018 – 22.08.2018
Wilfried BuchholzLudwig-Maximilians-Universität München01.07.2018 – 07.07.2018
Samuel BussUniversity of California, San Diego01.07.2018 – 06.07.2018
Hannes DienerUniversity of Canterbury02.06.2018 – 06.07.2018
Anton FreundTU Darmstadt01.07.2018 – 06.07.2018
Jonas FreyCarnegie Mellon University03.06.2018 – 06.07.2018
Makoto FujiwaraWaseda University02.07.2018 – 10.08.2018
Lew GordeewUniversität Tübingen01.07.2018 – 07.07.2018
Hugo HerbelinUniversity Paris Diderot02.05.2018 – 14.08.2018
Simon HuberUniversity of Gothenburg03.06.2018 – 06.07.2018
Rosalie IemhoffUtrecht University01.07.2018 – 06.07.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
Gerhard JägerUniversität Bern08.06.2018 – 07.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
Ulrich KohlenbachTechnische Universität Darmstadt02.07.2018 – 06.07.2018
Lars KristiansenUniversity of Oslo01.07.2018 – 07.07.2018
Graham LeighUniversity of Gothenburg17.06.2018 – 06.07.2018
Henri LombardiUniversité Bourgogne Franche-Comté01.07.2018 – 07.07.2018
Anders MörtbergCarnegie Mellon University04.06.2018 – 06.07.2018
Paul-André MellièsCNRS03.06.2018 – 19.08.2018
Dávid Natingga TóthUniversity of Leeds02.05.2018 – 24.08.2018
Sara NegriUniversity of Helsinki10.06.2018 – 08.07.2018
Takako NemotoJapan Advanced Institute of Science and Technology10.06.2018 – 24.08.2018
Stefan NeuwirthUniversité de Franche-Comté 
Satoru NikiJapan Advanced Institute of Science and Technology02.05.2018 – 24.08.2018
Elena Nogina  
Isabel Maria OitavemCMA & DM, FCT, Universidade Nova de Lisboa02.05.2018 – 11.08.2018
Paulo OlivaQueen Mary University of London01.07.2018 – 06.07.2018
Eugenio OrlandelliUniversity of Bologna02.07.2018 – 06.07.2018
Fedor PakhomovSteklov Mathematical Institute01.07.2018 – 07.07.2018
Erik PalmgrenStockholm University02.06.2018 – 11.08.2018
Iosif PetrakisLudwig-Maximilians-Universität München01.07.2018 – 06.07.2018
Wolfram PohlersWWU Münster01.07.2018 – 07.07.2018
Thomas PowellTU Darmstadt02.07.2018 – 06.07.2018
Michael RathjenUniversity of Leeds02.05.2018 – 15.08.2018
Giuseppe RosoliniUniversità degli Studi di Genova09.05.2018 – 22.08.2018
Sam SandersCenter for Advanced Studies, LMU Munich01.07.2018 – 07.07.2018
Kentaro SatoUniversität Bern01.07.2018 – 07.07.2018
Peter SchusterUniversità degli Studi di Verona02.05.2018 – 11.08.2018
Helmut SchwichtenbergLudwig-Maximilians-Universität München02.05.2018 – 24.08.2018
Anton SetzerSwansea University01.07.2018 – 14.07.2018
Paul ShaferUniversity of Leeds01.07.2018 – 07.07.2018
Wilfried SiegCarnegie Mellon University01.06.2018 – 31.07.2018
Andrei SiposTechnische Universität Darmstadt01.07.2018 – 07.07.2018
Dieter SpreenUniversität Siegen09.05.2018 – 24.08.2018
Silvia SteilaUniversität Bern01.07.2018 – 06.07.2018
Tsutomu TakayamaKyoto University02.05.2018 – 24.08.2018
Floris van DoornWorcester Polytechnic Institute03.06.2018 – 06.07.2018
Albert VisserUtrecht University01.07.2018 – 07.07.2018
Jan Fhr. von PlatoUniversity of Helsinki10.06.2018 – 08.07.2018
Andreas WeiermannGhent University03.06.2018 – 20.07.2018
Franziskus WiesnetUniversità degli Studi di Verona01.06.2018 – 24.08.2018
Gunnar WilkenOkinawa Institute of Science and Technology01.07.2018 – 07.07.2018
Chuangjie XuLudwig-Maximilians-Universität München28.05.2018 – 07.07.2018
Ihsen YenguiUniversità degli Studi di Verona02.05.2018 – 24.08.2018