Program for Tuesday, February 4th: Talk View

PROGRAM FOR TUESDAY, FEBRUARY 4TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

20:30

21:00

21:30

22:00

09:30-10:30

Propositional Dynamic Logic Formula Synthesis and some Applications

Sophie Pinchinat

11:00-11:30

Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces

Sandip Paul, Bornali Paul

11:30-12:00

A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models

Bama Srinivasan, Mohan Raj Vijayan

12:05-12:35

Relational Companions of Logics

Sankha S. Basu, Sayantan Roy

12:35-13:05

Measurement-Theoretic Foundations of Logic of Inexact Knowledge

Satoru Suzuki

14:30-15:30

On Extensions of Partial Isometries

Su Gao

16:00-17:15 Panel Discussion on Gödel's Incompleteness Theorems (GIT)

17:15-17:45 Visit to Geology Museum

17:45-19:00 Awards Declaration + ALI Business Meeting

19:30-22:00 Conference Dinner

10:30-11:00 Coffee and Tea Break

13:05-14:30 Lunch Break

15:30-16:00 Tea and Coffee Break