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.