New Frontiers in Proofs and Computation (Online)
Arriving Sunday, September 12 and departing Friday September 17, 2021
Confirmed Participants
| Name | Affiliation |
|---|---|
| Aguilera, Juan | TU Vienna |
| Baaz, Matthias | Vienna University of Technology |
| Barmpalias, George | Chinese Academy of Sciences |
| Beklemishev, Lev | Steklov Mathematical Institute of Russian Academy of Sciences |
| Belanger, David | National University of Singapore |
| Cao, Qinxiang | Shanghai Jiao Tong University |
| Chen, Shaoshi | Chinese Academy of Sciences |
| Chen, Yijia | Shanghai Jiaotong University |
| Cheng, Yong | Wuhan University |
| Chong, Chi Tat | National University of Singapore |
| Coquand, Thierry | Chalmers University Gothenberg |
| Fang, Nan | Chinese Academy of Sciences |
| Fernández-Duque, David | Ghent University |
| Ferreira, Fernando | University of Lisbon |
| Floyd, Juliet | Boston University |
| Freund, Anton | TU Darmstadt |
| Friedman, Harvey | Ohio State University |
| Frittaion, Emanuele | TU Darmstadt |
| Fujiwara, Makoto | Meiji University |
| Gjetaj, Oriola | Ghent university |
| Iemhoff, Rosalie | Utrecht University |
| Kang, Xiaojun | Jilin University |
| Kennedy, Juliette * | Helsinki |
| Kohlenbach, Ulrich | Technische Universitaet Darmstadt |
| Li, Wei | Chinese Academy of Sciences |
| Li, Wei | National University of Singapore |
| Liang, Fei | Shandong University (China) |
| Liang, Xiaolong | Sun Yat-Sen University |
| Lin, Zhe | Xiamen University (China) |
| Link, Montgomery | Suffolk University |
| Liu, Fenrong | Tsinghua University |
| Liu, Lu | Central South University |
| Lopez Acedo, Genaro | Universidad de Sevilla |
| Luo, Zhaohui | Royal Holloway, University of London |
| McKenzie, Zachiri | Zhejiang University |
| Nemoto, Takako | Hiroshima Institute of Technology |
| Nicolae, Adriana | Babes-Bolyai university |
| Pakhomov, Fedor | Ghent University |
| Peng, Yu | Xiamen University |
| Pinto, Pedro | Technische Universität Darmstadt |
| Pischke, Nicholas | TU Darmstadt |
| Powell, Thomas | University of Bath |
| Rathjen, Michael | University of Leeds |
| Sanders, Sam | TU Darmstadt |
| Schwichtenberg, Helmut | LMU Munich (Germany) |
| Sipos, Andrei | University of Bucharest and Institute of Mathematics of the Romanian Academy |
| Soysal, Zeynep | University of Rochester |
| Wang, Wei | Sun Yat-sen University |
| Weiermann, Andreas | Ghent University |
| Wilken, Gunnar | Okinawa Institute of Science and Technology Graduate University |
| Xu, Chuangjie | LMU Munich |
| Xu, Hong-Kun | Hangzhou Dianzi University |
| Yang, Yue | National University of Singapore |
| Yokoyama, Keita | JAIST |
| Yu, Junhua | Tsinghua University |
| Zhan, Bohua | Institute of Software, Chinese Academy of Sciences |
| Zhang, Wenhui | Institute of Software, Chinese Academy of Sciences |
* This participant has indicated that they might be coming.
