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.

"">2nd Int. FME Conference on Teaching Formal Methods (TFM09)

Written by Joao Ferreira.