Logo PALLMYR

Program

Participation is free and open to everyone who is interested. No registration is required.
pdf version of the program - all abstracts in one file

(Tentative) program:

Monday December 4th 

(Roeterseiland Complex, UvA,

Room A-108

  • 10.30 - 11.15
    Keynote address: Krister Segerberg (Uppsala)
    11.15 - 11.30
    Questions and discussion
  • 11.30 - 11.45 Coffee break
  • 11.45 - 12.15 Brian Hill (IHPST)
    Towards a "sophisticated" model of belief dynamics (Abstract)
    12.15 - 12.40 Comments by Fenrong Liu (ILLC), questions and discussion
  • 12.40 - 14.00 Lunch Break
  • 14.00 - 14.30 Meghyn Bienvenu (IRIT)
    Revision of Description Logic ABoxes (Abstract)
    14.30 - 14.55 Comments by Patrick Girard (Stanford), questions and discussion
  • 14.55 - 15.25 Guillaume Aucher (IRIT)
    Private revision in a multi-agent setting (Abstract)
    15.25 - 15.50 Comments by Yanjing Wang (CWI, Amsterdam), questions and discussion
  • 15.50 - 16.05 Coffee break
  • 16.05 - 16.35 Mikaël Cozic (ENS Ulm) (Abstract)
    Imaging and sleeping beauty: A case for double-halfers
    16.35 - 17.00 Comments by Tijmen Daniels (UvA), questions and discussion
  • 17.00 - 17.30 Paul Égré (CNRS)
    Vagueness and Introspection (Extended Abstract)
    17.30 - 17.55 Comments by Jonathan Zvesper (ILLC), questions and discussion

Tuesday December 5th

(Roeterseiland Complex, UvA,

Room A-303

  • 13.15 - 14.00 Keynote address: Hans van Ditmarsch (Otago)
    Dynamic Epistemic Logic - old and new directions
    (Abstract, Slides)
    14.00 - 14.15
    Questions and discussion
  • 14.15 - 14.30 Coffee Break
  • 14.30 - 15.00 Cedric Paternotte (IHPST)
    Reasons and Beliefs Update in Cooperative Agency
    15.00 - 15.25 Comments by Joel Uckelman (ILLC), questions and discussion
  • 15.25 - 15.55 Ivan José Varzinczak (IRIT) (Abstract)
    Metatheory of actions: beyond consistency
    15.55 - 16.10 Comments by Rosja Mastop (Utrecht), questions and discussion
  • 16.10 - 16.25 Coffee break
  • 16.25 - 16.55 Tiago de Lima (IRIT)
    From Toronto to Amsterdam (Abstract)
    16.55 - 17.20 Comments by Barteld Kooi (RuG), questions and discussion
  • 17.20 - 17.50 Nicolas Troquard (IRIT)
    Knowing how to play: Uniform choices in Logics of Agency (Abstract)
    17.50 - 18.20 Comments by Eric Pacuit (Amsterdam), questions and discussion