Henk Barendregt (main PI), Mai Gehrke, Herman Geuvers, and Jan Rutten received a grant from the Free Competition of The Netherlands Organisation for Scientific Research (NWO) intended for the hiring of a postdoc on the interdisciplinary project Categorical and Algebraic Models of Computation (CALMOC). Giulio Manzonetto will hold the postdoctorial position. More information …