Personal tools
You are here: Home Events Lab Lunch talk by Brian Campbell

Lab Lunch talk by Brian Campbell

Trip report: Certified Programs and Proofs 2012

What
When Jan 15, 2013
from 01:05 PM to 02:00 PM
Where MF2
Add event to calendar vCal
iCal
The Second International Conference on Certified Programs and Proofs was held in Kyoto in December, colocated with APLAS 2012 (the Asian Symposium on Programming Languages and Systems). I'll give an overview of the conference and talk about some of the common themes running through the contents, rather than give a dry listing of papers. A little obligatory tourism will also appear.
Document Actions