sxlxc/ALC27
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

z

Browse Source
This commit is contained in:
Yu Cong
2026-03-09 20:59:54 +08:00
parent 2b0fbd69b4
commit d4f4945e85
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
about.md
View File

@@ -3,7 +3,7 @@ title: About ALC
--- ---
The 17th Asian Logic Conference will be held on October 18 - 22, 2027, in Chengdu, Sichuan, China. The 17th Asian Logic Conference will be held on October 18 - 22, 2027, in Chengdu, Sichuan, China.
Organized by the [Algorithms and Logic Group](https://tcsuestc.com/) of University of Electronic Science and Technology of China. The conference is organized by the Algorithms and Logic Lab of the school of Computer Science and Engineering, The University of Electronic Science and Technology of China.
<!-- the meeting will take place at St. Regis Tianjin. --> <!-- the meeting will take place at St. Regis Tianjin. -->
<!-- It will be the fifth Asian Logic Conference since its status changed from an ASL (the Association for Symbolic Logic) - sponsored meeting to an official ASL meeting by ASL Council action in May 2016. --> <!-- It will be the fifth Asian Logic Conference since its status changed from an ASL (the Association for Symbolic Logic) - sponsored meeting to an official ASL meeting by ASL Council action in May 2016. -->