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 (bennovdberg at gmail.com).
Please note that this newsitem has been archived, and may contain outdated information or links.