topics

Generally: categories, logic, universal algebra, relational and graph theoretic foundations for computer science and mathematics. Topics around this will also be considered: contact the organisers if you are unsure.