Please note that this newsitem has been archived, and may contain outdated information or links.
19 June 2018, Applied logic seminar, Hiroakira Ono
Speaker: Hiroakira Ono
Title: Semantical considerations on cut elimination and analytic cut property
Date: Tuesday 19 June 2018
Time: 13:00-15:30
Location: TBM-Instructiezaal B, building 31, TU Delft, Jaffalaan 5, 2628 BX, Delft
For more information, see
http://www.appliedlogictudelft.nl/applied-logic-seminar/
or contact Apostolos Tzimoulis at apostolos at tzimoulis.eu.
Please note that this newsitem has been archived, and may contain outdated information or links.