News and Events: Upcoming Events

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.