From b06666ac63ab337e4a40d8f366d920d9aa40e772 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Tue, 23 Dec 2025 14:54:54 +0800 Subject: [PATCH] add pc members & remove section numbers --- index.md | 51 ++++++++++++++++++++++++++++++++++++++++++++++++++ src/ChaoDoc.hs | 2 +- 2 files changed, 52 insertions(+), 1 deletion(-) diff --git a/index.md b/index.md index 374a21c..016368f 100644 --- a/index.md +++ b/index.md @@ -8,3 +8,54 @@ Chengdu, China ![chengdu | Image:[FISU](https://zh.wikipedia.org/zh-cn/%E6%88%90%E9%83%BD%E5%B8%82#/media/File:%E9%9B%AA%E5%B1%B1%E4%B8%8B%E7%9A%84%E6%88%90%E9%83%BD%E5%B8%82%E5%A4%A9%E9%99%85%E7%BA%BF_Chengdu_skyline_with_snow_capped_mountains.jpg), [CC BY 3.0](https://creativecommons.org/licenses/by/3.0)](images/chengdu.jpg) +# Important Dates + +... + +# PC Members + +Bakh Khoussainov – Chair (UESTC, China) + +**Computability theory:** + +- Yue Yang - session chair, (National University of Singapore) +- Alexander Melnikov (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) + +**Set theory:** + +- Su Gao - session chair, (Nankai University, China) +- Slawomir Solecki (Cornell University, USA) +- Jialiang He (Sichuan University, China) + +**Proof theory and philosophy of mathematics:** + +- Febrong Liu – session chair, (Tsinghua University) +- Hitoshi Omori (Tohoku University, Japan) +- Heinrich Wanshing (Ruhr University Bochum, Germany) + +**Model theory:** + +- Rizos Sklinos – session chair, (CAS, Beijing, China) +- Jinhe Ye (Nanjing University, China) +- Artem Chernikov (CMU, USA) +- Dugald Macpherson (Leeds University, UK) +- Sergey Goncharov (Novisibirsk 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) + +**Organizing committee** + +- Mingyu Xiao - chair (UESTC, China) +- Yu Cong (web design, PhD student) +- Zihui Liang (PhD student) +- Yifan Jia (PhD student) +- Xinyao Wang (PhD student) +- Ting Gao (admin secretary) diff --git a/src/ChaoDoc.hs b/src/ChaoDoc.hs index e80fed3..4b3724c 100644 --- a/src/ChaoDoc.hs +++ b/src/ChaoDoc.hs @@ -40,7 +40,7 @@ chaoDocWrite = { writerHTMLMathMethod = MathJax "", -- writerHtml5 = True, -- writerHighlightStyle = Just syntaxHighlightingStyle, - writerNumberSections = True, + -- writerNumberSections = True, writerTableOfContents = True, writerTOCDepth = 2 }