New editor of Science of Computer Programming
Document Actions
Launch of Centre for Metacomputation
The Centre for Metacomputation was launched on May 4. It is a new EPSRC-funded initiative that complements the applied research on metaprogramming in the Programming Tools Group with research in foundations and verification.
Two research groups at Oxford, the Programming Tools Group and the Theory and Automated Verification Group have launched a joint initiative to put the field of metacomputation on a sound, unifying basis. The Centre for Metacomputation is funded by a platform grant from EPSRC.
The launch event consisted of a short introduction by Oege de Moor, plus five talks by the four principal investigators and Damien Sereni, the postdoc employed for the full duration of this 4-year project.