| EPSRC Reference: |
GR/T10381/01 |
| Title: |
Algebraic Methodology and Software Technology 2004 |
| Principal Investigator: |
Shankland, Professor CE |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing Science and Mathematics |
| Organisation: |
University of Stirling |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 June 2004 |
Ends: |
31 October 2004 |
Value (£): |
8,251
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
AMAST is a regular international conference in Algebraic Methodology and Software Technology, first held in 1989. Every eighteen months, the conference is held in a different location, and this is the first time the conference will be held in the UK.AMAST has attracted an international following among researchers and practitioners owing to its mix of Mathematical Foundations, Theoretical Computer Science and practical Software Development. Hosting AMAST in the UK will bring established international researchers to the UK (of which the four international invited speakers are key), providing excellent networking opportunities for all participants, possible leading to new collaborations. This will enhance our profile in the global research community. One of the main areas of the conference is Theoretical Computer Science, an area in which we are currently internationally leading. To maintain this position we need to continue to build on our strengths.AMAST provides an opportunity for a large section of the UK Theoretical Computer Science community to attend an international event relatively cheaply (since travel costs will be low). It is vital to the future health of this community that research students are particularly encouraged to attend. Key to this is providing a reduced registration fee for students.A further benefit to the host department is the opportunity to bring international researchers to Stirling for an extended visit to collaborate with members of the Applied Formal Methods group. The proposal is to support the costs of two of the invited speakers to visit for two weeks, including the week of AMAST.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.stir.ac.uk |