sxlxc/ALC27
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix typo

Browse Source
This commit is contained in:
Yu Cong
2025-12-26 16:59:30 +08:00
parent 13608c1ef7
commit f498eed137
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
index.md
View File

@@ -33,7 +33,7 @@ Bakh Khoussainov – Chair (UESTC, China)
**Proof theory and philosophy of mathematics:** **Proof theory and philosophy of mathematics:**
- Febrong Liu – session chair, (Tsinghua University) - Fenrong Liu – session chair, (Tsinghua University)
- Hitoshi Omori (Tohoku University, Japan) - Hitoshi Omori (Tohoku University, Japan)
- Heinrich Wanshing (Ruhr University Bochum, Germany; 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) - Rizos Sklinos – session chair, (CAS, Beijing, China)
- Jinhe Ye (Nanjing University, China) - Jinhe Ye (Nanjing University, China)
- Artem Chernikov (CMU, USA) - Artem Chernikov (University of Maryland, USA)
- Dugald Macpherson (Leeds University, UK) - Dugald Macpherson (Leeds University, UK)
- Sergey Goncharov (Novisibirsk State University, Russia) - Sergey Goncharov (Novisibirsk State University, Russia)