This Friday 19th at 13:00 we will have our first extended Dynamic Logic Working Sessions. Four of us will present their current research interests, with the aim to make them common knowledge and to encourage possible collaborations between us.
- 13:00 – Belief revision (Jonathan and Cedric).
- 14:30 – Coffee break + discussions.
- 15:00 – Logics of justification/proofs (Matthew and Fernando).
- 16:30 – Coffee break + discussions.
The meeting will take place in room 1.14 of the P building (Euclides).