From f498eed137f654643b20fa71dc4559b08cd1d289 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Fri, 26 Dec 2025 16:59:30 +0800 Subject: [PATCH] fix typo --- index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)