Free to a good home: an advertisement for the "new" HOL4 theories of probability, integration, and information. / A Heap of Problems

Add to your list(s) Download to your calendar using vCal

• Aaron R. Coble / Thomas Tuerk (University of Cambridge)
• Tuesday 05 May 2009, 13:00-14:00
• Computer Laboratory, William Gates Building, Room SS03.

If you have a question about this talk, please contact Thomas Tuerk.

This ARG Lunch consists of two short talks by Aaron Coble and Thomas Tuerk.

Aaron Coble will talk about

Free to a good home: an advertisement for the “new” HOL4 theories of probability, integration, and information.

This 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 Shannon’s theory of information. Possible future uses and applications of these theories will be presented.

Thomas Tuerk will talk about

A Heap of Problems

A Heap of Problems (http://wiki.heap-of-problems.org) is a collection of benchmark examples. They are collected in order to compare different shape analysis / separation logic tools. The talk will present the webpage and selected examples.

This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory Automated Reasoning Group Lunches
• Computer Laboratory, William Gates Building, Room SS03
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.