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.

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 .

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