Universiteit van Amsterdam


Institute for Logic, Language and Computation

16 June 2017, Workshop: "Interweaving Modal Logic and Category Theory"

Date: Friday 16 June 2017
Time: 14:00-18:00
Location: Amsterdam, the Netherlands

The aim of the workshop is to bring together logicians, computer scientists, mathematicians and philosophers interested in the growing interplay between the fields of modal logic and category theory. The workshop will be hosted on the occasion of the defence of Giovanni Cinà's PhD defense.

Location and website will be announced soon.

For more information, contact Giovanni Cinà at .