We are happy to announce CAP Days 2018, August 28 - August 31, at University of Siegen.
For details please visit the homepage of the meeting:
Registration is possible at https://homalg-project.github.io/capdays-2018/
CAP (Categories, Algorithms, Programming) is a software project for constructive category theory written in GAP. It facilitates both the realization of specific instances of categories and the implementation of generic categorical algorithms.
The workshop aims at mathematicians who want to learn about the CAP project, categorical programming, and structurizing implementations in a categorical way. The workshop is suitable for both GAP newcomers and veteran GAP programmers.
The workshop is split in three parts:
Talks Tutorial Coding Sprint
Sebastian Gutsche & Sebastian Posur