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 B.vandenBerg3 at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.