Universiteit van Amsterdam


Institute for Logic, Language and Computation

30 April - 4 May 2018, Applied Category Theory 2018 (ACT 2018), Leiden, the Netherlands

Date: 30 April - 4 May 2018
Location: Leiden, the Netherlands
Target audience: researchers and practitioners of applied category theory

The workshop is heavily slanted toward discussion and collaboration. We want to instigate a multi-disciplinary research program in which concepts, structures, and methods from one discipline can be reused in another. Tangibly and in the short-term, we will bring together people from different disciplines in order to write an expository survey paper that grounds the varied research in applied category theory and lays out the parameters of the research program.

A limited number of speakers will give overview talks intended to instigate discussion, including Samson Abramsky (Oxford), John Baez (UC Riverside), Kathryn Hess (EPFL), Mehrnoosh Sadrzadeh (Queen Mary) and David Spivak (MIT).

For more information, see http://www.appliedcategorytheory.org/workshops/ or contact Brendan Fong at , or Nina Otter at .