DaLí 2022 Timetable
London Time, GMT+1
Day One - 31/07/22
10:00 - 10:15 Opening
10:15 - 11:15 Invited talk: Fernando Velázquez Quesada. (Arbitrary) partial communication
11:15 - 11:30 Coffee Break
11:30 - 12:00 J. Lindqvist, F. Velázquez-Quesada and T. Ågotnes. Cautious distributed belief
12:00 - 12:30 A. Ramírez Abarca and J. Broersen. A Stit Logic of Intentionality
12:30 - 13:00 V. Dolgorukov and M. Gladyshev. Dynamic Epistemic Logic for Budget-Constrained Agents
13:00 - 14:00 Lunch
14:00 - 15:00 Invited talk: Elaine Pimentel (joint talk with with Tiziano Dalmonte). Proof theory, countermodels and optimal complexity for modal logics
15:00 - 15:15 Coffee Break
15:15 - 15:45 B. Bedregal, R. Santiago, M. Martins and A. Madeira. Relating Kleene algebras with pseudo uninorms
15:45 - 16:15 C. Areces, R. Fervari, A. Saravia and F. Velázquez-Quesada. First Steps in Updating Knowing How
16:15 - 17:15 Social Gathering
Day Two - 01/08/22
10:00 - 11:00 Invited talk: Nina Gierasimczuk. Learning and Dynamic Modal Logic
11:00 - 11:15 Coffee Break
11:15 - 11:45 P. Balbiani. Parametrized modal logic: the unidimensional case
11:45 - 12:15 R. Galimullin and T. Ågotnes. Action Models for Coalition Logic
12:15 - 12:45 T. Kawano. Quantum Logic for Observation of Physical Quantities
12:45 - 14:00 Lunch
14:00 - 15:00 Invited talk: Marta Bílková. Belnapian logics for uncertainty
15:00 - 15:15 Coffee Break
15:15 - 15:35 M. Tashiro, E. Pacuit and I. Canavotto. Public Announcement Logic with Misinterpretations
15:35 - 15:55 H. Wu, H. van Ditmarsch and J. Chen. A Labelled Sequent Calculus for Public Announcement Logic
15:55 - 16:15 E. Ternovska. Dynamic Logic for Descriptive Complexity
16:15 - 16:30 Closing
A booklet with all accepted full papers can be found here.
A booklet with all accepted short papers can be found here.