Day 1 Schedule - Friday, October 17, 2025
| Time |
Session/Activity |
Details & Speakers |
| 8:30 – 9:00 |
Registration |
Conference registration and materials pickup |
| 9:00 – 9:30 |
Opening Ceremony |
• Welcome Remarks
• Official Opening Speech
• Group Photo Session
|
| 9:30 – 10:30 |
Session 1: Invited Talk |
Tim French – "Rational Guessing and the Emergence of Reason"
|
| 10:30 – 11:00 |
Coffee Break |
Refreshments are served |
| 11:00 – 12:00 |
Session 2: Regular Talks |
Talk 1: Thomas Ågotnes and Fengkui Ju – "Next-time Coalition Logic"
Talk 2: Yanjun Li and Shuyuan Li – "Interval Temporal Logic HS with Path Quantifiers"
|
| 12:00 – 13:30 |
Lunch |
Buffet lunch provided |
| 13:30 – 14:30 |
Session 3: Invited Talk |
Zoé Christoff – "How Popular is This Opinion? From Majority Illusions to Threshold Models of Collective Actions"
|
| 14:30 – 15:00 |
Coffee Break |
Refreshments are served |
| 15:00 – 16:30 |
Session 4: Regular Talks |
Talk 1: Alexandru Baltag and Sonja Smets – "How to Avoid Unexpected Exams"
Talk 2: Aybüke Özgün, Sonja Smets and Teodor-Ştefan Zotescu – "Evidence-diffusion in Social Networks: A Topological Perspective"
Talk 3: Zheng Zhou, Christian Strasser and Kees van Berkel – "Hypothesis-Driven Disjunctive Reasoning in Logical Argumentation"
|
| 16:30 – 17:00 |
Coffee Break |
Refreshments are served |
| 17:00 – 18:00 |
Session 5: Short Talks |
Talk 1: Wei Wang and Jialiang Yan– “Intersecting Disjunction”
Talk 2: Yingtong Ye – "A Formal Semantics for Concepts in Practical Reasoning: Indispensability, Wills and Goals"
Talk 3: Brandon Laing and Giuseppe Greco – "How to Build Categorical Semantics of Proofs for the Basic Modal Lambek Logic"
|
| 18:00 – 19:00 |
Dinner |
Buffet dinner provided |
| 19:20 – 21:00 |
Best Student Paper Award Ceremony & Ethnic Music Concert |
• Award Ceremony for the Best Student Paper
• Followed by an authentic ethnic music concert showcasing Chinese traditional instruments
|
Day 2 Schedule - Saturday, October 18, 2025
| Time |
Session/Activity |
Details & Speakers |
| 9:00 – 10:00 |
Session 6: Invited Talk |
François Schwarzentruber “On Verifying Graph Neural Networks with Logic” |
| 10:00 – 10:30 |
Coffee Break |
Refreshments provided. |
| 10:30 – 12:00 |
Session 7: Regular Talks |
• Talk 1: Thomas Ågotnes, Rustam Galimullin, Ken Satoh and Satoshi Tojo – “Intentionally Anonymous Public Announcements”
• Talk 2: Rui Zhu – “A Finitary Axiomatization of Arbitrary Social Announcement Logic”
• Talk 3: Chenwei Shi and Wenfei Ouyang – “Functional Dependence in Uniform Dependence Model”
|
| 12:00 – 13:30 |
Lunch |
Buffet lunch provided |
| 13:30 – 14:30 |
Session 8: Invited Talk |
Marija Slavkovik
“Logic in Machine Morality”
|
| 14:30 – 15:00 |
Coffee Break |
Refreshments provided. |
| 15:00 – 16:00 |
Session 9: Short Talks |
•Talk 1: Kun Zhang and Zuojun Xiong – “Dynamic Epistemic Logic with Private Communication”
•Talk 2: Yixin Pan and Meiyun Guo – “Belief Revision and Probability Update Based on Public Announcement”
•Talk 3: Yiwen Ding, Krishna Balajirao Manoorkar, Ni Wayan Switrayni and Apostolos Tzimoulis – “Non‑distributive Hybrid Propositional Logic”
|
| 16:00 – 18:00 |
Campus Tour |
Guided tour of the campus and museum. |
| 18:00 – 19:00 |
Dinner |
Buffet dinner provided. |
| Evening |
Social & Cultural Event |
Grand Tang Ever‑Bright City Reception Experience a blend of modern social interaction with traditional Chinese cultural performances. |
Day 3 Schedule - Sunday, October 19, 2025
| Time |
Session/Activity |
Details & Speakers |
| 9:00 – 10:00 |
Session 10: Invited Talk |
Aybüke Özgün – “Rethinking Logics of Imagination”
|
| 10:00 – 10:30 |
Coffee Break |
Refreshments provided. |
| 10:30 – 12:00 |
Session 11: Regular Talks |
• Talk 1: Xun Wang – “Craig Interpolation Property in ∃□‑Bundled Fragment of First‑Order Modal Logic”
• Talk 2: Yiheng Wang and Yu Peng – “Finite Model Property in Normal Extensions of Euclidean Quasi‑Boolean Modal Logics”
• Talk 3: Xiaolong Liang, Yì Nicholas Wáng and Thomas Ågotnes – “The Modal Logic of n‑State Frames”
|
| 12:00 – 13:30 |
Lunch |
Buffet lunch provided |
| 13:30 – 14:30 |
Session 12: Invited Talk |
Hongjun Zhou
“On the Research Progress of Mathematical Fuzzy Logics”
|
| 14:30 – 15:00 |
Coffee Break |
Refreshments provided. |
| 15:00 – 16:30 |
Session 13: Regular Talks |
• Talk 1: Satoru Suzuki – “Measurement‑Theoretic Foundations of Logic of Qualitative Conditional Probability”
• Talk 2: Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis and Ruoding Wang – “Probabilistic Causal Kripke Models”
• Talk 3: Jingzhi Fang and Jiji Zhang – “Generalized Causal Models with Ontological Dependencies”
|
| 16:30 – 17:00 |
Coffee Break |
Refreshments provided. |
| 17:00 – 17:40 |
Session 14: Short Talks |
• Talk 1: Haodong Lyu and Yixin Zhang – “How to be Rationally Akratic”
• Talk 2: Tianyi Chu – “A Logic of Topic‑Fragmented Belief”
|
| 17:40 – 18:00 |
Closing Ceremony |
• Closing Remarks & Reflections by the Conference Co‑Chairs
• Thank you & Announcement of Post‑Conference Activities
|
| 18:30 – 20:30 |
Dinner Reception |
A convivial dinner reception to mark the official end of the conference. |
The complete LORI-2025 conference program can be downloaded from
here.
