Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

12 November 2013, ACG Colloquium, Robbert Krebbers

Speaker: Robbert Krebbers (Radboud Universiteit Nijmegen)
Title: Moessner's Theorem: an Exercise in Coinductive Reasoning in Coq
Date: Tuesday 12 November 2013
Time: 14:15
Location: Room L.120, CWI, Science Park 123, Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.