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/2008/newsitem/2503/22-
 26-September-2008-Logic-and-Information-Security
DTSTAMP:20080911T000000
SUMMARY:Logic and Information Security
DTSTART;VALUE=DATE:20080922
DTEND;VALUE=DATE:20080926
LOCATION:Lorentz Center, Leiden
DESCRIPTION:The interdisciplinary workshop 'Logic 
 and information security' focuses on the logical a
 nalysis of protocols for secure communication, inc
 luding additional communicative aspects susceptibl
 e to attack. Disciplines and subdisciplines involv
 ed are: modal logic, combinatorial mathematics, in
 formation science, computer science, cryptography,
  computer security, philosophy, cognitive science,
  linguistics. Areas of interest are combinatorial 
 mathematics for bit exchange, information-based an
 alysis with or without modal logic, zero-knowledge
  protocols and oblivious transfer (and in particul
 ar epistemic logical analyses of such phenomena), 
 and model checking protocols - both temporal epist
 emic and dynamic epistemic model checking as more 
 real-time protocol verification (often with first-
 order logics and systems based on term or equation
 al rewriting).    For more information, see http:/
 /www.lorentzcenter.nl/lc/web/2008/302/info.php3?ws
 id=302
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 The interdisciplinary workshop 'Logic and informat
 ion security' focuses on the logical analysis of p
 rotocols for secure communication, including addit
 ional communicative aspects susceptible to attack.
  Disciplines and subdisciplines involved are: moda
 l logic, combinatorial mathematics, information sc
 ience, computer science, cryptography, computer se
 curity, philosophy, cognitive science, linguistics
 . Areas of interest are combinatorial mathematics 
 for bit exchange, information-based analysis with 
 or without modal logic, zero-knowledge protocols a
 nd oblivious transfer (and in particular epistemic
  logical analyses of such phenomena), and model ch
 ecking protocols - both temporal epistemic and dyn
 amic epistemic model checking as more real-time pr
 otocol verification (often with first-order logics
  and systems based on term or equational rewriting
 ).\n      </p>\n    \n      <p>\n        For more 
 information, see\n        <a target="_blank" href=
 "http://www.lorentzcenter.nl/lc/web/2008/302/info.
 php3?wsid=302">http://www.lorentzcenter.nl/lc/web/
 2008/302/info.php3?wsid=302</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2008/newsitem/2503/22-
 26-September-2008-Logic-and-Information-Security
END:VEVENT
END:VCALENDAR