Program for Wednesday, February 5th: Talk View

PROGRAM FOR WEDNESDAY, FEBRUARY 5TH: TALK VIEW

Days:

previous 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

09:30-10:30

NSOP1 as a dividing line

Nicholas Ramsey

11:00-11:15

Coinductive Predicate Answer Set Programming

Gopal Gupta, Joaquín Arias, Elmer Salazar

11:15-11:45

Modal and intermediate logics of spiked Boolean algebras

Benedikt Loewe, Han Xiao

11:45-12:15

Bounded Henkin Quantifiers and the Exponential Time Hierarchy

Abhishek De

12:15-12:45

Recognizing Numbers

Pranshu Gaba, Arnab Sur

12:45-13:05 Poster Session

14:30-14:45

On the Logic of Reasons For

Dean McHugh

14:45-15:00

Do LLMs reason by following rules?

Karthik Prasanna Natarajan

15:00-15:15

Public Observation: A Decidable Fragment of Epistemic Planning

Avijeet Ghosh

16:00-17:30 Panel Discussion on Education and Careers in Logic (ECL)

17:30-17:45 Conclusion

10:30-11:00 Coffee and Tea Break

13:05-14:30 Lunch Break

15:30-16:00 Tea and Coffee Break