News and Events: Conferences

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.

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