The algorithmic problem solving group conducts research into mathematical method, in particular the problem-solving skills involved in the formulation and solution of algorithmic problems.  Our goal is to articulate these skills primarily by way of concrete examples, but also by the development of appropriate mathematical theory.

List of Events

Events related with the Algorithmic Problem Solving group

A Field of Type Isomorphisms

Written by Wei Chen.

Frontiers in Education (FiE) 2009

Written by Joao Ferreira.

Workshop on Generic Programming 2009

Written by Joao Ferreira.

Formal Methods Europe 2008

Written by Joao Ferreira.

Mathematics of Program Construction 2008

Written by Joao Ferreira.