64 lines
2.7 KiB
Markdown
64 lines
2.7 KiB
Markdown
---
|
||
title: 19th Asian Logic Conference (ALC)
|
||
showtoc: true
|
||
---
|
||
|
||
<h1 class="pagetitle">October 18 - 22, 2027 <br>
|
||
Chengdu, China</h1>
|
||
|
||
, [CC BY 3.0](https://creativecommons.org/licenses/by/3.0)](images/chengdu.jpg)
|
||
|
||
|
||
# Important Dates
|
||
|
||
...
|
||
|
||
# PC Members
|
||
|
||
[Bakh Khoussainov](https://bakh-tcs.github.io/) – Chair (UESTC, China)
|
||
|
||
**Computability theory:**
|
||
|
||
- [Yue Yang](https://discovery.nus.edu.sg/463-yue-yang) - session chair, (National University of Singapore)
|
||
- [Alexander Melnikov](https://homepages.ecs.vuw.ac.nz/~melnikal/) (University of Victoria Wellington, New Zealand)
|
||
- Nadim Kassymov (National University of Uzbekistan)
|
||
- Wei Wang (Sun Yat-Sen University, China)
|
||
- [Sergey Goncharov](http://www.math.nsc.ru/LBRT/logic/persons/gonchar/win.html) (Novosibirsk State University, Russia)
|
||
|
||
**Set theory:**
|
||
|
||
- [Su Gao](https://my.nankai.edu.cn/sms/gs_en/list.htm) - session chair, (Nankai University, China)
|
||
- [Slawomir Solecki](https://math.cornell.edu/slawomir-solecki) (Cornell University, USA)
|
||
- Jialiang He (Sichuan University, China)
|
||
|
||
**Proof theory and philosophy of mathematics:**
|
||
|
||
- [Fenrong Liu](https://www.fenrong.net/) – session chair, (Tsinghua University)
|
||
- [Hitoshi Omori](https://sites.google.com/site/hitoshiomori/home) (Tohoku University, Japan)
|
||
- [Heinrich Wansing](https://sites.google.com/view/heinrichwansing) (Ruhr University Bochum, Germany; Tohoku University, Japan)
|
||
|
||
**Model theory:**
|
||
|
||
- [Rizos Sklinos](https://sites.google.com/view/sklinoshome/) – session chair, (CAS, Beijing, China)
|
||
- [Jinhe Ye](https://sites.google.com/view/vincentye) (Nanjing University, China)
|
||
- [Artem Chernikov](https://chernikov.umd.edu/) (University of Maryland, USA)
|
||
- [Dugald Macpherson](https://eps.leeds.ac.uk/maths/staff/4056/professor-dugald-macpherson) (Leeds University, UK)
|
||
- [Sergey Goncharov](http://www.math.nsc.ru/LBRT/logic/persons/gonchar/win.html) (Novosibirsk State University, Russia)
|
||
|
||
|
||
**Logic in computer science:**
|
||
|
||
- [Yuxi Fu](https://basics.sjtu.edu.cn/~yuxi/) – session chair, (Shanghai Jiatong University, China)
|
||
- [Frank Stephan](https://www.comp.nus.edu.sg/~fstephan/) (National University of Singapore)
|
||
- [Markus Lohrey](https://www.eti.uni-siegen.de/ti/mitarbeiter/lohrey/) (Siegen University, Germany)
|
||
|
||
**Organizing committee**
|
||
|
||
- [Mingyu Xiao](https://sites.google.com/site/myxiao) - chair (UESTC, China)
|
||
- Yu Cong (web design, PhD student)
|
||
- [Zihui Liang](https://zihuiliang.github.io/) (PhD student)
|
||
- Yifan Jia (PhD student)
|
||
- Xinyao Wang (PhD student)
|
||
- Ting Gou (admin secretary)
|
||
|
||
# Contact |