Grants

We are grateful for recieving the following grants supporting our research:

• BCTCS'09 grant of £350 for Liam O'Reilly to attend BCTCS'09 (grant provided by EPSRC).
• BCTCS'09 grant of £350 for Temesghen Kahsai to attend BCTCS'09 (grant provided by EPSRC).
• Invensys Rail has provided a Research Bursary valued at £4,800 for Phillip James to study a MRes.
• Swansea University has provided a Tuition Fee Bursary valued at £3,390 for Phillip James to study a MRes.
• AVoCS has provided a grant of £70 for Liam O'Reilly to attend AVoCS'08.
• AVoCS has provided a grant of £70 for Gift Samuel to attend AVoCS'08.
• The Erasmus teaching staff exchange between Humboldt University (Berlin) and Swansea University (Wales) has provided a grant of £800 for Markus Roggenbach to teach at Humboldt University in 2008.
• NATO Security Through Science Committee has provided a grant of EUR 590 for Liam O'Reilly to attend the International Summer School - Marktoberdof 2008.
• CiE-2008 has provided a grant of £315 for Temesghen Kahsai to present the paper Implementing Spi Calculus using Nominal Techniques in Athens.
• IFIP-WG 1.3 has provided a grant of £220 for Temesghen Kahsai to present the abstract Refinement notions in Csp-CASL at WADT-2008 in Pisa (Italy).
• BCTCS'08 grant of £340 for Liam O'Reilly to attend BCTCS'08 (grant provided by EPSRC).
• BCTCS'08 grant of £340 for Temesghen Kahsai to attend BCTCS'08 (grant provided by EPSRC).
• University of Wales Swansea has provided a Full Postgraduate Studentship valued at £47,500 for Liam O'Reilly to study a PhD.
• Royal Society has provided a grant of £3,366 for the research project South Africa-UK Science Networks at the University of Pretoria.
• NATO Security Through Science Committee has provided a grant of EUR 640 for Temesghen Kahsai to attend the International Summer School - Marktoberdof 2007.
• TYPES working group has provided a grant of £ 300 for Temesghen Kahsai to visit the Nominal Methods Research Group in Munich.
• The Erasmus teaching staff exchange between Humboldt University (Berlin) and Swansea University (Wales) has provided a grant of £800 for Markus Roggenbach to teach at Humboldt University in 2007.
• BCTCS'07 grant of £355 for Temesghen Kahsai to attend BCTCS'07 (grant provided by EPSRC).
• BCTCS'07 grant of £355 for Gift Samuel to attend BCTCS'07 (grant provided by EPSRC).
• BCTCS'07 grant of £355 for Liam O'Reilly to attend BCTCS'07 (grant provided by EPSRC).
• EPSRC project EP/D037212/1, is a grant for our project valued at £107,676.