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.

28 June 2018, Colloquium on Mathematical Logic, Kazuhiko Sakaguchi

Speaker: Kazuhiko Sakaguchi (University of Tsukuba)
Title: Bootstrapping Fast Reflective Tactics for Reasoning Modulo AC with a Verified and Optimized Sorting Function in Coq
Date: Thursday 28 June 2018
Time: 13:00-14:00
Location: Room F2.19, Science Park 107, Amsterdam
For more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg at .

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