ALC 2025

18th Asian Logic Conference (ALC)








September 8 - 12, 2025
Kyoto Sangyo University, Kyoto, Japan

Program
Full Program with Titles of Talks (this is the most complete version)

Full Program

Main Program (plenary talks only)

Special Sessions Program

Contributed Talks Program

From Monday (Sep. 8) to Thursday (Sep. 11), all talks will take place in the Tenchikan: ROOM 1 is T205, ROOM 2 is T202, and ROOM 3 is T203. The plenary lectures are in ROOM 1 (T205). For the other talks, see the respective program. Furthermore, T201 is available for coffee breaks.

On Friday (Sep. 12), talks will be in the Shinrikan and in Building #12. The plenary lecture will take place in room 12502 of Building #12, and all the other talks are in Shinrikan: ROOM 1 is SR402, ROOM 2 is SR401, and ROOM 3 is SR403. See the respective program. Furthermore, SR404 is available for coffee breaks.

Abstracts
Abstracts