add pc members & remove section numbers

This commit is contained in:
2025-12-23 14:54:54 +08:00
parent 508f603599
commit b06666ac63
2 changed files with 52 additions and 1 deletions

View File

@@ -8,3 +8,54 @@ Chengdu, China</h1>
![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)

View File

@@ -40,7 +40,7 @@ chaoDocWrite =
{ writerHTMLMathMethod = MathJax "",
-- writerHtml5 = True,
-- writerHighlightStyle = Just syntaxHighlightingStyle,
writerNumberSections = True,
-- writerNumberSections = True,
writerTableOfContents = True,
writerTOCDepth = 2
}