BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CHESS - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CHESS
X-ORIGINAL-URL:https://chess-eu.cs.ut.ee
X-WR-CALDESC:Events for CHESS
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Helsinki
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Helsinki:20240318T090000
DTEND;TZID=Europe/Helsinki:20240319T170000
DTSTAMP:20260420T161735
CREATED:20240207T211420Z
LAST-MODIFIED:20240207T211420Z
UID:5680-1710752400-1710867600@chess-eu.cs.ut.ee
SUMMARY:Workshop on Process Theory for Security Protocols and Cryptography
DESCRIPTION:Subject of the Workshop  \nMonoidal categories offer a powerful abstract framework for reasoning about processes. Computer security is a source of particularly complex processes\, often specified in an ad-hoc manner\, for example in security proofs concerning cryptographic proctocols. The purpose of this workshop is to explore the potential of categorical methods in modelling situations that arise in computer security and cryptography. \nConfirmed Participants \n\n\nMartti Karvonen (University College London)\nElena di Lavore (University of Pisa)\nTomáš Gonda (University of Innsbruck)\nMario Román (University of Oxford)\nFabio Zanasi (University College London)\nEigil Rischel (University of Strathclyde)\nChad Nester (Tallinn University of Technology)\nPaweł Sobociński (Tallinn Unviersity of Technology)\nNiels Voorneveld (Cybernetica AS)\nDenis Firsov (Tallinn University of Technology\, Matter Labs)\n\nTallinn\, Estonia. March 18-19\, 2024. Further details to be announced.
URL:https://chess-eu.cs.ut.ee/event/workshop-on-process-theory-for-security-protocols-and-cryptography/
LOCATION:Tartumaa
END:VEVENT
END:VCALENDAR