PROGRAM
Days: Monday, February 3rd Tuesday, February 4th Wednesday, February 5th
Monday, February 3rd
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 2: Keynote Talk
Chair:
Location: Platinum Jubilee Auditorium
| 09:30 | The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting |
10:30-11:00Coffee and Tea Break
11:00-12:00 Session 3: Modal Logic
Chair:
Location: Platinum Jubilee Auditorium
| 11:00 | Craig Interpolation for Awareness Logics (abstract) |
| 11:30 | Semantics of Basic Modal Language via a Rough Set Framework (abstract) |
12:05-13:05 Session 4: Modal Logic
Chair:
Location: Platinum Jubilee Auditorium
| 12:05 | Knowable as Knowing How to Inquire (abstract) |
| 12:35 | Monotone Modal Logic beyond Distributivity (abstract) |
13:05-14:30Lunch Break
14:30-15:30 Session 5: Automata Theory
Chair:
Location: Platinum Jubilee Auditorium
| 14:30 | Equivalence of Deterministic Weighted Real-time One-Counter Automata (abstract) |
| 15:00 | Asynchronous transition system games for two processes and their analysis (abstract) |
15:30-15:50Tea and Coffee Break
15:50-16:20 Session 6: Short Talks
Chair:
Location: Platinum Jubilee Auditorium
| 15:50 | Contraction free arithmetic (abstract) |
| 16:05 | Floyd & Putnam (and others) on Wittgenstein on Gödel’s First Incompleteness Theorem (abstract) |
17:30-19:00 Session 7: Distinguished Lecture
Chair:
Location: Platinum Jubilee Auditorium
| 17:30 | From Euclid and Eudoxus to Skolem, Godel, and Cohen: Constructions of Structures and Proofs of Uniqueness (abstract) |
Tuesday, February 4th
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 8: Keynote Talk
Chair:
Location: Platinum Jubilee Auditorium
| 09:30 | Propositional Dynamic Logic Formula Synthesis and some Applications |
10:30-11:00Coffee and Tea Break
11:00-12:00 Session 9: Temporal Logic
Chair:
Location: Platinum Jubilee Auditorium
| 11:00 | Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces (abstract) |
| 11:30 | A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models (abstract) |
12:05-13:05 Session 10: Logics for Variable Inclusion and Inexact Knowledge
Chair:
Location: Platinum Jubilee Auditorium
| 12:05 | Relational Companions of Logics (abstract) |
| 12:35 | Measurement-Theoretic Foundations of Logic of Inexact Knowledge (abstract) |
13:05-14:30Lunch Break
14:30-15:30 Session 11: Keynote Talk
Chair:
Location: Platinum Jubilee Auditorium
| 14:30 | On Extensions of Partial Isometries |
15:30-16:00Tea and Coffee Break
16:00-17:15 Session 12: Panel Discussion on Gödel's Incompleteness Theorems (GIT)
Chair:
Location: Platinum Jubilee Auditorium
17:45-19:00 Session 13: Awards Declaration + ALI Business Meeting
Location: Platinum Jubilee Auditorium
Wednesday, February 5th
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 14: Keynote Talk
Chair:
Location: Platinum Jubilee Auditorium
| 09:30 | NSOP1 as a dividing line |
10:30-11:00Coffee and Tea Break
11:00-11:15 Session 15: Short Talk
Chair:
Location: Platinum Jubilee Auditorium
| 11:00 | Coinductive Predicate Answer Set Programming (abstract) |
11:15-12:45 Session 16: Award Talks
Chair:
Location: Platinum Jubilee Auditorium
| 11:15 | Modal and intermediate logics of spiked Boolean algebras (abstract) |
| 11:45 | Bounded Henkin Quantifiers and the Exponential Time Hierarchy (abstract) |
| 12:15 | Recognizing Numbers (abstract) |
13:05-14:30Lunch Break
14:30-15:30 Session 18: Short Talks
Chair:
Location: Platinum Jubilee Auditorium
| 14:30 | On the Logic of Reasons For (abstract) |
| 14:45 | Do LLMs reason by following rules? (abstract) |
| 15:00 | Public Observation: A Decidable Fragment of Epistemic Planning (abstract) |
15:30-16:00Tea and Coffee Break
16:00-17:30 Session 19: Panel Discussion on Education and Careers in Logic (ECL)
Panelists
Moderators
- Abhishek De (University of Birmingham, UK)
- Pranshu Gaba (Tata Institute of Fundamental Research Mumbai, India)
Chair:
Location: Platinum Jubilee Auditorium