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