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 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

\n
\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.

\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