Lorentz Center - Formal theories of communication from 22 Feb 2010 through 26 Feb 2010
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Formal theories of communication
    from 22 Feb 2010 through 26 Feb 2010

 

Monday 22 February 2010

 

09:30 – 10.00      Welcome and Coffee

10:00 – 10:15      Mieke Schutte: Introduction to the Lorentz Center

10:15 – 10:30      R. Ramanujam: Introduction to the Workshop

10:30 – 11:30      Keynote Lecture 1 Samson Abramsky: From Lawvere to Brandenburger-Keisler: multi-agent forms of diagonalization and self-reference

11:30 – 12:00      Coffee

12:00 – 12:30      1-minute introductions by participants

12:30 – 14:00      Lunch

14:00 – 14:30      Simon Kramer: Towards an Intuitionistic Foundation of Interactive Computation

14:30 – 15:00      Jan van Eijck: How to verify an epistemic protocol with dynamic epistemic logic

15:00 – 15:30      N. Raja: Formal Logic as a Methodology for Communicating Mathematics

15:30 – 16:00      Coffee

16:00 – 17:00      Keynote Lecture 2 Johan van Benthem: Communication in Logic

17:00                   Wine and Cheese party

 

 

Tuesday 23 February 2010

 

09:30 – 10:30      Keynote Lecture 3 Cristina Bicchieri: The Medium or the Message? Communication Relevance and Richness in Trust Games

10:30 – 11:00      Sunil Simon: The role of communication in games of imperfect information

11:00 – 11:30      Coffee

11:30 – 12:00      Alexandru Baltag: Doxastic Attitudes and Group Communication

12:00 – 12:30      Sonja Smets: Merging beliefs by sincere persuasive communication

12:30 – 14:00      Lunch

14:00 – 15:30      Group discussions

15:30 – 16:00      Coffee

16:00 – 17:00      Keynote Lecture 4 Rohit Parikh: Communication in logic and society

 

 

Wednesday 24 February 2010

 

09:15 – 10:30      Keynote Lecture 5 Herbert Clark: Mixing descriptions and depictions

10:30 – 11:00      Natasha Alechina: The perils of talking too much

11:00 – 11:30      Coffee

11:30 – 12:00      Thomas Εgotnes: Group Announcement Logic

12:00 – 12:30      Hans van Ditmarsch: Public announcement games

12:30 – 14:00      Lunch

14:00 – 14:30      Arie Verhagen: Representation of communication in language and its consequences

14:30 – 15:00      Sophie Pinchinat: A theory of interfaces

15:00 – 15:30      Coffee

15:30 – 16:30      Panel discussion Communication: challenges for multi-agent systems

16:30                   Departure for boat trip and workshop dinner

 

 

Thursday 25 February 2010

 

09:30 – 10:30      Keynote Lecture 6 Peter Gδrdenfors: Semantics as a meeting of minds

10:30 – 11:00      Giacomo Sillari: Rule-following, Meaning and Coordination

11:00 – 11:30      Coffee

11:30 – 12:00      Bart Verheij: The Toulmin Argument Model in Artificial Intelligence. Or: How Semi-Formal, Defeasible Argumentation Schemes Creep into Logic

12:00 – 12:30      Davide Grossi: Argumentation Theory and Modal Logic

12:30 – 14:00      Lunch

14:00 – 15:30      Informal discussions in groups

15:30 – 16:00      Coffee

16:00 – 17:00      Project presentations

 

 

Friday 26 February 2010

 

09:30 – 10:30      Keynote Lecture 7 Jeroen Groenendijk: Radical inquisitive semantics

10:30 – 11:00      Kamal Lodaya: Communication in Petri nets

11:00 – 11:30      Coffee

11:30 – 12:00      Ben Rodenhδuser: Modelling Intentions and Agency in Dynamic Epistemic Logic

12:00 – 12:30      Yanjing Wang: PDL for procedural changes

12:30 – 14:00      Lunch

14:00 – 14:30      Eric Pacuit: A dynamic logic of knowledge and access

14:30 – 15:00      TBA

15:00 – 15:30      Summary and Closing remarks by Rineke Verbrugge / Ramanujam

15:30                   Conclusion with coffee

 

 

 

 

 



   [Back]