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.