ILLC-LIRa December 2023

illc-lira@list.uva.nl

1 participants
3 discussions

LIRa session: Andreas Herzig (tomorrow, Thursday, 14 December 16:30, online-only)
by LIRa Seminar 13 Dec '23

13 Dec '23

Dear all, We will have our next LIRa session tomorrow, on Thursday, 14 December 16:30. 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) You can find the details of the talk below. Speaker: Andreas Herzig (LILaC, IRIT, Université Paul Sabatier, Toulouse) Date and Time: Thursday, December 14th 2023, 16:30-18:00 Venue: Online only (not hybrid) Title: Dynamic Logic of Propositional Assignments and its Properties Abstract. Dynamic Logic of Propositional Assignments (DL-PA) is a variant of PDL whose atomic programs are assignments of propositional variables. It provides an interesting framework for knowledge representation. Its mathematical properties differ from PDL: satisfiability and model checking are both PSPACE-complete. These results follow from the close relation of DL-PA with quantified boolean formulas, coming with expressivity and succinctness results. Hope to see you there! The LIRa team

1 0

LIRa session: Andreas Herzig (Thursday, 14 December 16:30, online-only)
by LIRa Seminar 08 Dec '23

08 Dec '23

Dear all, We will have our next LIRa session on Thursday, 14 December 16:30. This will be an online session. Please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Andreas Herzig (LILaC, IRIT, Université Paul Sabatier, Toulouse) Date and Time: Thursday, December 14th 2023, 16:30-18:00 Venue: Online only (not hybrid) Title: Dynamic Logic of Propositional Assignments and its Properties Abstract. Dynamic Logic of Propositional Assignments (DL-PA) is a variant of PDL whose atomic programs are assignments of propositional variables. It provides an interesting framework for knowledge representation. Its mathematical properties differ from PDL: satisfiability and model checking are both PSPACE-complete. These results follow from the close relation of DL-PA with quantified boolean formulas, coming with expressivity and succinctness results. Hope to see you there! The LIRa team

1 0

Annual VvL Seminar 2023 (Friday, 8 December 14:30-17:30, Utrecht)
by LIRa Seminar 04 Dec '23

04 Dec '23

Dear all, We would like to draw your attention to the ***Annual VvL Seminar 2023*** The second edition of the (in-person) Annual VvL Seminar will be organized by Utrecht University. The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis. The details of the event can be found below, as well as on the VvL website https://verenigingvoorlogica.nl/en/Activiteiten/VvL-Joint-Seminar/ *Main speaker*: Natasha Alechina *MSc Thesis Prize winners*: Rodrigo Almeida (supervisors: Nick Bezhanishvili and Tommaso Moraschini), Søren Brinck Knudstorp (supervisors: Johan van Benthem and Nick Bezhanishvili), Raoul Koudijs (supervisor: Balder ten Cate) *Date & time*: December 8, 2023, 14:30-17:30 *Location*: The Sweelinckzaal at Drift 21, room 0.05, Utrecht. For visitors from outside the UU, please go to the university library at Drift 27 and proceed through the lobby to the back exit to reach the other Drift buildings. *Local organizers*: Colin Caret & Johannes Korbmacher *PROGRAM* 14:30-14:40 Opening and Welcome Remarks 14:40-14:50 Brief Presentation on the work of the VvL 14:50-15:50 VvL lecture by Natasha Alechina 15:50-16:10 Coffee Break 16:10-16:20 Remarks by the VvL Master thesis awards committee 16:20-17:20 MSc Thesis Prize presentations (3x20mins) 17:20-17:30 Award Ceremony and Closing Remarks *REGISTRATION* There is no cost for attending the seminar, but to help with organization, please register your attendance using the online form linked below. An optional dinner will follow the event in the Westerdijkkamer of the Academiegebouw (42 euros per person). If you would like to join for dinner you may indicate this in the registration form. https://docs.google.com/forms/d/1_8knDUMzOASuNY8VYavLayDg8DZLKHoHzO7B0_3A1e… Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa December 2023