DaLí 2017 Timetable

Day One - 23/09/17

  • 9:00 - 9:10 Opening
  • 9:10 - 10:00 Vaughan Pratt. Dynamic Logic: A personal perspective
  • 10:00 - 10:20 Luiz Carlos Pereira. Constructive fragments of Classical Modal Logic and the Ecumenical Perspective
  • 10:20 - 11:00 Coffee Break
  • 11:00 - 11:30 Helle Hvid Hansen, Clemens Kupke, Johannes Marti and Yde Venema. Parity Games and Automata for Game Logic
  • 11:30 - 12:00 Luís Barbosa. Layered logics, coalgebraically
  • 12:00 - 14:00 Lunch
  • 14:00 - 14:30 José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes and Dusko Pavlovic. Logics for Actor Networks: a case study in constrained hybridization
  • 14:30 - 14:50 Diana Costa and Édi Duarte. Checkers Game in Deontic logic
  • 14:50 - 15:10 Daniel Figueiredo and Manuel A. Martins. Bisimulations for reactive frames
  • 15:10 - 16:00 Coffee Break
  • 16:00 - 16:30 Raul Fervari and Fernando R. Velázquez-Quesada. Dynamic Epistemic Logics of Introspection
  • 16:30 -17:00 Yuri David Santos. A Dynamic Informational-Epistemic Logic
  • 17:00 - 17:30 Marlo Souza, Alvaro Moreira and Renata Vieira. Dynamic Preference Logic as a logic of Belief Change

    Day Two - 24/09/17

  • 9:00 - 9:10 Announcements
  • 9:10 - 10:00 (IS) Alexandru Baltag. LOGIC GOES VIRAL: dynamic modalities for social networks
  • 10:00 - 10:30 Carlos Areces, Raul Fervari, Guillaume Hoffmann and Mauricio Martel. Undecidability of Relation-Changing Modal Logics
  • 10:30 - 11:00 Coffee Break
  • 11:00 - 11:30 Sonja Smets and Fernando R. Velázquez-Quesada. The Creation and Change of Social Networks: a logical study based on group size
  • 11:30 - 11:50 Konstantinos Gkikas and Alexandru Baltag. Stable beliefs and conditional probability spaces
  • 11:50 - 12:10 Fabricio Chalub, Alexandre Rademaker, Edward Hermann Haeusler and Christiano Braga. Fixing the proof of completeness of ALC Sequent Calculus
  • 12:10 - 14:00 Lunch
  • 14:00 - 14:30 Alexandru Baltag, Nina Gierasimczuk, Ana Lucia Vargas, Aybuke Özgün and Sonja Smets. A Dynamic Logic for Learning Theory
  • 14:30 - 14:50 Carlos Tavares. Towards a quantum-probabilistic dynamic logic
  • 14:50 - 15:10 Leandro Gomes. Contract-based design for software verification
  • 15:10 - 15:30 Diego Fernandes. Expressiveness comparisons of modal logics
  • 15:30 - 16:00 Coffee Break
  • 16:00 - 16:50 (IS) Hermann Haeusler. Propositional Dynamic Logic with Petri net programs: A discussion and a logical system
  • 16:50 - 17:30 Closing