BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Computer Laboratory Automated Reasoning Group Lunc
 hes
SUMMARY:General Binding in Nominal Isabelle 2 - Christian 
 Urban (TUM)
DTSTART;TZID=Europe/London:20100608T130000
DTEND;TZID=Europe/London:20100608T140000
UID:TALK24363AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/24363
DESCRIPTION:We have extended the nominal datatype package so t
 hat it can deal with terms which bind multiple var
 iables at once. Our specifications of such terms i
 s inspired by the ones used in the Ott-tool. In th
 is talk I will present the new definition of alpha
 -equivalence behind the extension and show how to 
 establish automatically a reasoning infrastructure
  for the more general terms.
LOCATION:Computer Laboratory\, William Gates Building\, Roo
 m SS03
CONTACT:Thomas Tuerk
END:VEVENT
END:VCALENDAR