Dear all,

Next week we will have two events:

1) Tuesday 12 September: *JRC Celebration Event*

On 12 September 2023, the joint research center for Logic at both Tsinghua University and the University of Amsterdam (UvA) will organize a small workshop to celebrate the completion of three new joint PhD theses. The work reported on in these new PhD thesis projects is perfectly aligned with the main mission of the JRC centre to further broaden the interdisciplinary view of logic. We will take the opportunity in the afternoon of 12 September to celebrate these new achievements and warmly invite all interested researchers and students to attend the event. The celebration event will take place at the ILLC, University of Amsterdam, Science Park on Tuesday, the 12th of September 2023, in hybrid format. See http://tsinghualogic.net/JRC/joint-phd-celebration

2) Thursday 14 September: *LIRa session with Avijeet Ghosh*

Speaker: Avijeet Ghosh

Date and Time: Thursday, September 14th 2023, 16:30-18:00

Venue: ILLC seminar room F1.15 in Science Park 107 and online

Title: Complexity Study of Reasoning about Knowledge and Public Observations

Abstract. This talk explores the model checking and satisfiability problems in logical systems for reasoning about knowledge and observations of intelligent agents and their interactions. We examine the foundations laid by Kripke and Hintikka, which paved the way towards the development of their dynamic counterparts, e.g., Public announcement logic, and its extensions like Dynamic epistemic logic and Public observation logic. Complexity studies for these logics stem from similar studies in temporal logics initiated by Halpern and Vardi, among others.

More specifically, we focus on Public observation logic and analyze its model checking and satisfiability problems. By investigating these problems, we uncover insights into effective and efficient reasoning about knowledge in multi-agent scenarios. Moreover, we explore how these insights can be applied in solving standard problems in relevant domains like planning.

This will be a hybrid session. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723)

Hope to see you there!

The LIRa team