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/2012/newsitem/4389/14-
 March-2012-CWI-PNA6-seminar-Sonja-Smets
DTSTAMP:20120312T000000
SUMMARY:CWI PNA6 seminar, Sonja Smets
ATTENDEE;ROLE=Speaker:Sonja Smets
DTSTART;TZID=Europe/Amsterdam:20120314T160000
DTEND;TZID=Europe/Amsterdam:20120314T170000
LOCATION:CWI, Science Park 123, room L017
DESCRIPTION:This talk is based on joint work with 
 A. Baltag on the use of concepts and techniques fr
 om Dynamic Epistemic Logic (DEL) to model and reas
 on about quantum behavior. First I will concentrat
 e on an improvement of the older results (due to P
 iron, Soler, Mayet and others) on the 'Hilbert-com
 plete' axiomatizations of algebraic quantum logic 
 and present a dynamic-logical setting, in which ph
 ysical actions (and not only static physical prope
 rties) are logically represented. Secondly I will 
 focus on compound systems and analyse both classic
 al and quantum correlations. Our formalism for thi
 s is based on an extension of epistemic logic with
  operators for 'group knowledge'. And as models I 
 introduce correlation models, as a generalization 
 of the 'interpreted systems' semantics (commonly u
 sed in Computer Science as a model for information
  flow in distributed systems). I use this second s
 etting to investigate the relationship between the
  information carried by each of the parts of a com
 plex system and the information carried by the who
 le system. Our dynamic logical setting explains th
 e non-local informational dynamics of quantum syst
 ems that are triggered by quantum observations (me
 asurements) and un-observed evolutions (quantum ga
 tes), and the epistemic logical setting yields an 
 informational-logical characterization of the noti
 on of 'quantum entanglement'.
X-ALT-DESC;FMTTYPE=text/html:\n        <p>This tal
 k is based on joint work with A. Baltag on the use
  of concepts \n        and techniques from Dynamic
  Epistemic Logic (DEL) to model and reason \n     
    about quantum behavior.  First I will concentra
 te on an improvement of \n        the older result
 s (due to Piron, Soler, Mayet and others) on the \
 n        'Hilbert-complete' axiomatizations of alg
 ebraic quantum logic and \n        present a dynam
 ic-logical setting, in which physical actions (and
  not \n        only static physical properties) ar
 e logically represented.  Secondly I \n        wil
 l focus on compound systems and analyse both class
 ical and quantum \n        correlations. Our forma
 lism for this is based on an extension of \n      
   epistemic logic with operators for 'group knowle
 dge'. And as models I \n        introduce correlat
 ion models, as a generalization of the 'interprete
 d \n        systems' semantics (commonly used in C
 omputer Science as a model for \n        informati
 on flow in distributed systems). I use this second
  setting to \n        investigate the relationship
  between the information carried by each of \n    
     the parts of a complex system and the informat
 ion carried by the whole \n        system. Our dyn
 amic logical setting explains the non-local inform
 ational\n         dynamics of quantum systems that
  are triggered by quantum observations \n        (
 measurements) and un-observed evolutions (quantum 
 gates), and the \n        epistemic logical settin
 g yields an informational-logical \n        charac
 terization of the notion of 'quantum entanglement'
 .</p>\n    
URL:/NewsandEvents/Archives/2012/newsitem/4389/14-
 March-2012-CWI-PNA6-seminar-Sonja-Smets
END:VEVENT
END:VCALENDAR