BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//confref//labs//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:confref: Joint Workshop on Automated Reasoning for Security P
 rotocol Analysis and Issues in the Theory of Security
END:VCALENDAR