19 Apr 2018
Nijmegen, The Netherlands
Dear all, On the occasion of his PhD defense Henning Basold is organising a small workshop on Mixed Inductive-Coinductive Reasoning. It will take place on the 19 April in Nijmegen from 10:00-14:30. His defense will be at 16:30 on the same day. More information is available here: https://perso.ens-lyon.fr/henning.basold/thesis/workshop.html Best wishes, Benno -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam