Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Sun 18 Sep 2016 09:15 - 09:25 at Conference Room 2 - Invited Talk

Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
Invited TalkScheme at Conference Room 2
09:15
10m
Day opening
Opening Remarks
Scheme
Alex Shinn Indeed.com
09:25
50m
Talk
A verified Lisp implementation for a verified theorem prover
Scheme
Magnus O. Myreen Chalmers University of Technology, Sweden