![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Aaron R. Coble / Thomas Tuerk (University of Cambridge)
Tuesday 05 May 2009, 13:00-14:00
Free to a good home: an advertisement for the "new" HOL4 theories of probability, integration, and information. / A Heap of Problems
- đ¤ Speaker: Aaron R. Coble / Thomas Tuerk (University of Cambridge)
- đ Date & Time: Tuesday 05 May 2009, 13:00 - 14:00
- đ Venue: Computer Laboratory, William Gates Building, Room SS03
Abstract
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.
Series This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- 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
- Martin's interesting talks
- School of Technology
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.