diff --git a/index.md b/index.md index 1989d88..9d201dc 100644 --- a/index.md +++ b/index.md @@ -15,48 +15,48 @@ Chengdu, China # PC Members -Bakh Khoussainov – Chair (UESTC, China) +[Bakh Khoussainov](https://bakh-tcs.github.io/) – Chair (UESTC, China) **Computability theory:** -- Yue Yang - session chair, (National University of Singapore) -- Alexander Melnikov (University of Victoria Wellington, New Zealand) +- [Yue Yang](https://discovery.nus.edu.sg/463-yue-yang) - session chair, (National University of Singapore) +- [Alexander Melnikov](https://homepages.ecs.vuw.ac.nz/~melnikal/) (University of Victoria Wellington, New Zealand) - Nadim Kassymov (National University of Uzbekistan) -- Wei Wang (San Yat Sen University, China) -- Sergey Goncharov (Novosibirsk State University, Russia) +- Wei Wang (Sun Yat-Sen University, China) +- [Sergey Goncharov](http://www.math.nsc.ru/LBRT/logic/persons/gonchar/win.html) (Novosibirsk State University, Russia) **Set theory:** -- Su Gao - session chair, (Nankai University, China) -- Slawomir Solecki (Cornell University, USA) +- [Su Gao](https://my.nankai.edu.cn/sms/gs_en/list.htm) - session chair, (Nankai University, China) +- [Slawomir Solecki](https://math.cornell.edu/slawomir-solecki) (Cornell University, USA) - Jialiang He (Sichuan University, China) **Proof theory and philosophy of mathematics:** -- Fenrong Liu – session chair, (Tsinghua University) -- Hitoshi Omori (Tohoku University, Japan) -- Heinrich Wanshing (Ruhr University Bochum, Germany; Tohoku University, Japan) +- [Fenrong Liu](https://www.fenrong.net/) – session chair, (Tsinghua University) +- [Hitoshi Omori](https://sites.google.com/site/hitoshiomori/home) (Tohoku University, Japan) +- [Heinrich Wansing](https://sites.google.com/view/heinrichwansing) (Ruhr University Bochum, Germany; Tohoku University, Japan) **Model theory:** -- Rizos Sklinos – session chair, (CAS, Beijing, China) -- Jinhe Ye (Nanjing University, China) -- Artem Chernikov (University of Maryland, USA) -- Dugald Macpherson (Leeds University, UK) -- Sergey Goncharov (Novisibirsk State University, Russia) +- [Rizos Sklinos](https://sites.google.com/view/sklinoshome/) – session chair, (CAS, Beijing, China) +- [Jinhe Ye](https://sites.google.com/view/vincentye) (Nanjing University, China) +- [Artem Chernikov](https://chernikov.umd.edu/) (University of Maryland, USA) +- [Dugald Macpherson](https://eps.leeds.ac.uk/maths/staff/4056/professor-dugald-macpherson) (Leeds University, UK) +- [Sergey Goncharov](http://www.math.nsc.ru/LBRT/logic/persons/gonchar/win.html) (Novosibirsk State University, Russia) **Logic in computer science:** -- Yuxi Fu – session chair, (Shanghai Jiatong University, China) -- Frank Stephan (National University of Singapore) -- Markus Lohrey (Siegen University, Germany) +- [Yuxi Fu](https://basics.sjtu.edu.cn/~yuxi/) – session chair, (Shanghai Jiatong University, China) +- [Frank Stephan](https://www.comp.nus.edu.sg/~fstephan/) (National University of Singapore) +- [Markus Lohrey](https://www.eti.uni-siegen.de/ti/mitarbeiter/lohrey/) (Siegen University, Germany) **Organizing committee** -- Mingyu Xiao - chair (UESTC, China) +- [Mingyu Xiao](https://sites.google.com/site/myxiao) - chair (UESTC, China) - Yu Cong (web design, PhD student) -- Zihui Liang (PhD student) +- [Zihui Liang](https://zihuiliang.github.io/) (PhD student) - Yifan Jia (PhD student) - Xinyao Wang (PhD student) - Ting Gou (admin secretary)