Programming languages in string diagrams

Title
Programming languages in string diagrams

Lecturer
Paul-Andre Mellies

Organiser and registration
Rasmus Møgelberg

Course homepage
http://www.itu.dk/research/pls/wiki/index.php/Programming_languages_in_string_diagrams

Dates of the course
April 4-15

Time
Mondays 13-16, Wednesdays 9-12, Thursdays 9-12.

Course description
This course aims to show how string diagrams can be used as a unifying framework for various areas of computer science. In particular we will treat applications to concurrency, game semantics and computational effects.

Prerequisites
Knowledge of basic category theory

Exam
Evaluation based on active participation

Credits
3 ETCS