We are grateful for receiving the following grants supporting our research:
2012
- BCTCS'12 provided a grant of £160 for Phillip James to attend BCTCS'12.
- WADT'12 provided a grant of €260 for Phillip James to present his research at WADT'12 .
- Marktoberdorf 2012 Summer School grant for Hoang Nga Nguyen.
2011
- SafeCap
- AVoCS'11 grant of £140 for Phillip James to attend AVoCS'11.
- Marktoberdorf 2011 Summer School grant of £920 for Phillip James to attend the International Summer School - Marktoberdorf 2011.
2010
- Grid-Tools sponsors the research project "Semantic Foundations of CSP" with £2300.
- AVoCS'10 grant of £115 for Phillip James to attend AVoCS'10.
- Invensys Rail grant of £450 for Phillip James to attend DSM-TP 2010.
- VSTTE'10 grant of £170 for Phillip James to attend VSTTE'10.
- WADT'10 provided a grant of €480 (about £400 at the time) for Liam O'Reilly to attend WADT'10.
- BCTCS'10 grant of £275 for Liam O'Reilly to attend BCTCS'10 (grant provided by EPSRC).
- BCTCS'10 grant of £275 for Phillip James to attend BCTCS'10 (grant provided by EPSRC).
2009
- 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 provided a Research Bursary valued at £4,800 for Phillip James to study a MRes.
- Swansea University provided a Tuition Fee Bursary valued at £3,390 for Phillip James to study a MRes.
2008
- AVoCS'08 provided a grant of £70 for Liam O'Reilly to attend AVoCS'08.
- AVoCS'08 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) provided a grant of £800 for Markus Roggenbach to teach at Humboldt University in 2008.
- NATO Security Through Science Committee provided a grant of €590 for Liam O'Reilly to attend the International Summer School - Marktoberdof 2008.
- CiE-2008 provided a grant of £315 for Temesghen Kahsai to present the paper Implementing Spi Calculus using Nominal Techniques in Athens.
- IFIP-WG 1.3 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 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, South Africa.
Previous
- NATO Security Through Science Committee provided a grant of € 640 for Temesghen Kahsai to attend the International Summer School - Marktoberdof 2007.
- TYPES working group 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) 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.