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.