diff --git a/index.md b/index.md index 110694f..1989d88 100644 --- a/index.md +++ b/index.md @@ -33,7 +33,7 @@ Bakh Khoussainov – Chair (UESTC, China) **Proof theory and philosophy of mathematics:** -- Febrong Liu – session chair, (Tsinghua University) +- Fenrong Liu – session chair, (Tsinghua University) - Hitoshi Omori (Tohoku University, Japan) - Heinrich Wanshing (Ruhr University Bochum, Germany; Tohoku University, Japan) @@ -41,7 +41,7 @@ Bakh Khoussainov – Chair (UESTC, China) - Rizos Sklinos – session chair, (CAS, Beijing, China) - Jinhe Ye (Nanjing University, China) -- Artem Chernikov (CMU, USA) +- Artem Chernikov (University of Maryland, USA) - Dugald Macpherson (Leeds University, UK) - Sergey Goncharov (Novisibirsk State University, Russia)