BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2010/newsitem/3412/9-J
 une-2010-Dynamic-Logics-for-Multi-Agent-Informatio
 n-Flow-From-quantum-protocols-for-secure-communica
 tion-to-belief-revision-strategies-for-rational-pl
 ayers-Sonja-Smets
DTSTAMP:20100530T000000
SUMMARY:Dynamic Logics for Multi-Agent Information
  Flow:  From quantum protocols for secure communic
 ation to belief-revision strategies for rational p
 layers, Sonja Smets
ATTENDEE;ROLE=Speaker:Sonja Smets
DTSTART;TZID=Europe/Amsterdam:20100609T110000
DTEND;TZID=Europe/Amsterdam:20100609T000000
LOCATION:Room C0.110, Science Park 904, Amsterdam
DESCRIPTION:In this short talk, I will briefly pre
 sent the main highlights of my past and current re
 search. The thread that unifies most of my work is
  the use of logical formalisms inspired from Dynam
 ic Logic (a type of modal logics), to represent an
 d reason about information flow in multi-agent sys
 tems.    Time permitting, I will focus in more dep
 th on two of my research topics: (1) my work on dy
 namic logics for reasoning about Quantum Informati
 on Flow, and its applications to quantum protocols
  for Secure Communication; (2) my work on logical 
 models for interactive belief revision, and its ap
 plications to dynamic rationality and equilibrium 
 concepts in Game Theory.
X-ALT-DESC;FMTTYPE=text/html:\n        <p>In this 
 short talk, I will briefly present the main\n     
    highlights of my past and current research. The
  thread that\n        unifies most of my work is t
 he use of logical formalisms\n        inspired fro
 m Dynamic Logic (a type of modal logics), to\n    
     represent and reason about information flow in
  multi-agent\n        systems.\n        </p>\n    
     <p>\n        Time permitting, I will focus in 
 more depth on two of my\n        research topics: 
 (1) my work on dynamic logics for reasoning\n     
    about Quantum Information Flow, and its applica
 tions to\n        quantum protocols for Secure Com
 munication; (2) my work on\n        logical models
  for interactive belief revision, and its\n       
  applications to dynamic rationality and equilibri
 um concepts\n        in Game Theory.</p>\n    
URL:/NewsandEvents/Archives/2010/newsitem/3412/9-J
 une-2010-Dynamic-Logics-for-Multi-Agent-Informatio
 n-Flow-From-quantum-protocols-for-secure-communica
 tion-to-belief-revision-strategies-for-rational-pl
 ayers-Sonja-Smets
END:VEVENT
END:VCALENDAR