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.

17 March 2016, Colloquium on Mathematical Logic, Matteo Acclavio

Speaker: Matteo Acclavio
Title: A proof of coherence for symmetric monoidal categories using rewriting
Date: Thursday 17 March 2016
Time: 15:30-17:00
Location: Room F1.15, ILLC, Science Park 107, Amsterdam

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg ().

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