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)

Contact