BEGIN:VCALENDAR
PRODID:-//University of California\, Berkeley//UCB Events Calendar//EN 
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
DTSTART:19701029T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:19700402T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20080422T231734Z
DTSTART;TZID=America/Los_Angeles:20080506T160000
DTEND;TZID=America/Los_Angeles:20080506T170000
TRANSP:OPAQUE
SUMMARY:Specification and analysis of electronic contracts
UID:8512-ucb-events-calendar@berkeley.edu
ORGANIZER;CN="Densmore\, Douglas":
LOCATION:540 A/B Cory Hall
DESCRIPTION:In this talk I will describe CL\, a language for writing (electronic) contracts. The language allows to write (conditional) obligations\, permissions and prohibitions\, and to represent the so-called contrary-to-duties and contrary-to-prohibitions.
URL:http://events.berkeley.edu/index.php/calendar/sn/pubaff.html?event_ID=8512&view=preview
SEQUENCE:0
CLASS:PUBLIC
CREATED:20080422T231734Z
LAST-MODIFIED:20080423T150359Z
X-MICROSOFT-CDO-BUSYSTATUS:BUSY
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-OWNERAPPTID:-1
END:VEVENT
END:VCALENDAR