BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Free to a good home: an advertisement for the &quot\;new&quot\; HO
 L4 theories of probability\, integration\, and information.  / A Heap of P
 roblems - Aaron R. Coble / Thomas Tuerk (University of Cambridge)
DTSTART:20090505T120000Z
DTEND:20090505T130000Z
UID:TALK17986@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:This ARG Lunch consists of two short talks by Aaron Coble and 
 Thomas Tuerk.\n\n\nAaron Coble will talk about\n\nFree to a good home: an 
 advertisement for the "new" HOL4 theories of probability\, integration\, a
 nd information.\n\nThis short talk is aimed at the community of HOL users.
  It will provide an overview of several newly formalised theories that are
  now available in the HOL4 system. These include a more general theory of 
 measure and probability\, a theory of Lebesgue integration\, and  \nShanno
 n's theory of information. Possible future uses and applications of these 
 theories will be presented.\n\n\nThomas Tuerk will talk about\n\nA Heap of
  Problems\n\nA Heap of Problems (http://wiki.heap-of-problems.org) is a co
 llection of benchmark examples. They are collected in order to compare dif
 ferent shape analysis / separation logic tools. The talk will present the 
 webpage and selected examples.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR