Logic List Mailing Archive

4th Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR-4). December 4-5, 2006, Amsterdam

PALMYR-4 : Logics for Belief Dynamics

December 4th-5th, 2006, Amsterdam, The Netherlands

Modern beliefs theories are able to shed light on dynamic processes
involving beliefs, such as belief update, revision and fusion, because
they use mathematical tools sophisticated enough to cope with such complex
phenomena. The next PALMYR will be part of a conjoined effort between
Amsterdam and Paris to bring young researchers to share their expertise
and interest in mathematical approaches to belief dynamics.

Organization: Olivier Roy (ILLC, Amsterdam) and Isidora Stojanovic (CNRS -
Institut Jean-Nicod)
  =09
Participation is free and open to everyone who is interested. No
registration is required.

More info: http://www.illc.uva.nl/PALMYR/PALMYR-4/index.html

Program:
       Monday December 4th
     *
       10.30 - 11.15
       Keynote address: Krister Segerberg (Uppsala)
       11.15 - 11.30 Questions and discussion
     *
    =0911.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)
       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
       13.15 - 14.00 Keynote address: Hans van Ditmarsch (Otago)
       Dynamic Epistemic Logic - old and new directions (Abstract)
       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
     *