Please note that this newsitem has been archived, and may contain outdated information or links.
19 April 2018, Workshop on mixed inductive-coinductive reasoning
Date: Thursday 19 April 2018
Time: 10:00-14:30
Location: Room LIN 1, Linaeus building, Heyendaalseweg 137, Nijmegen
The aim of this one-day workshop is to discuss how inductive-coinductive reasoning is used so far, what techniques exist and how we can advance on those techniques.
For more information, see
https://perso.ens-lyon.fr/henning.basold/thesis/workshop.html
or contact Henning Basold at henning.basold at ens-lyon.fr.
Please note that this newsitem has been archived, and may contain outdated information or links.