19th Asian Logic Conference (ALC)
October 18 - 22, 2027
Chengdu, China
chengdu | Image:FISU,
CC BY
3.0
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:
Model theory:
Logic in computer science:
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)