ALC27/index.md

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 (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; Tohoku University, Japan)

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 Gou (admin secretary)

Contact