2.7 KiB
2.7 KiB
title, showtoc
| title | showtoc |
|---|---|
| 19th Asian Logic Conference (ALC) | true |
October 18 - 22, 2027
Chengdu, China
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 (Sun 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:
- Fenrong Liu – session chair, (Tsinghua University)
- Hitoshi Omori (Tohoku University, Japan)
- Heinrich Wansing (Ruhr University Bochum, Germany; Tohoku University, Japan)
Model theory:
- Rizos Sklinos – session chair, (CAS, Beijing, China)
- Jinhe Ye (Nanjing University, China)
- Artem Chernikov (University of Maryland, USA)
- Dugald Macpherson (Leeds University, UK)
- Sergey Goncharov (Novosibirsk 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 Gou (admin secretary)