Estonian-Finnish Logic Meeting

Rakvere, 13-15 November 2015

This is an informal meeting on proof theory, type theory, modal logic, and philosophical logic at large. We are organizing it as an event of the ERDF funded Coinduction project.

The meeting will take place at Villa Theresa in Rakvere Oak Grove, 100 kms from Tallinn. We plan to start Fri late afternoon and finish Sunday lunchtime. Transportation from / to Tallinn (city center / passenger port / airport) will be provided.

If you would like to attend (and maybe speak), please contact Tarmo Uustalu, tarmo(at)cs.ioc.ee.



ERDF
Tarmo Uustalu
Last update 30 October 2015