BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:First prototype of an Isabelle/HOL-to-LeoII interface - Nik Sultan
 a (University of Cambridge)
DTSTART:20101123T130000Z
DTEND:20101123T140000Z
UID:TALK26950@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:During this talk I'll describe the development of an extension
  of Isabelle/HOL which translates problems for input to LeoII. I'll briefl
 y outline the goals which this is hoped to achieve\, give an overview of t
 he first prototype and its shortcomings\, and detail some of the improveme
 nts for the next revision. These improvements are intended to assure the s
 ound encoding of Isabelle/HOL theories into Leo2's frugal system.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR