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.

22 January 2020, Algebra|Coalgebra Seminar, Henning Basold

Speaker: Henning Basold (Universiteit Leiden)
Title: Guarded Recursion for Coinductive and Higher-Order Stochastic Systems
Date: Wednesday 22 January 2020
Time: 14:30-15:30
Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
For more information, see https://events.illc.uva.nl/alg-coalg or contact Jan Rooduijn at .

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