| EPSRC Reference: |
EP/D079926/1 |
| Title: |
PhD Training Programme at RelMiCS/AKA 2006 |
| Principal Investigator: |
Schmidt, Dr RA |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Manchester, The |
| Scheme: |
Standard Research |
| Starts: |
29 August 2006 |
Ends: |
27 February 2007 |
Value (£): |
4,752
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The proposal requests funding for a PhD training programme at the 9th International Conference on Relational Methods in Computer Science (RelMiCS-9) and the 4th International Workshop on Applications of Kleene Algebra (AKA'06). The RelMiCS Conference is the main forum for the relational calculus as a conceptual and methodological tool. The AKA Workshop is a forum on topics related to Kleene algebras. As in previous years, the two events are co-organised. The next joint RelMiCS/AKA will be organised at the School of Computer Science of the University of Manchester from 29 August to 2 September 2006 in Manchester.For the first time, a PhD training programme will be co-organised with the conference. The goal of the PhD programme is to introduce doctoral students and young researchers to the methods, foundations and applications of the research area. It also offers possibilities for young researchers to present their own work, to get in contact with their peers, to explore new avenues of thinking, to learn collectively and to exchange ideas in a very active and stimulating manner. In particular, doctoral students will have the opportunity to follow a programme of tutorials in related areas on the mathematical foundations of relational methods and Kleene algebra, and applications in the area of program refinement. There will be a student session in which participants can introduce and discuss their PhD projects and present their results. Outstanding student papers will be considered for presentation at the main conference and publication in the LNCS proceedings.The PhD programme includes attendance at the main conference and co-located workshops. The PhD programme will therefore also provide an excellent opportunity for young researchers to get an overview of current research, attend talks of seasoned presenters and get in contact with the experts in the field. In the UK a particularly strong community in the areas of interest exists and a fruitful exchange with related communities can be expected. Besides the general topics that are evident from the name, the main conference will be strongly focused on formal methods for software engineering, program logics and links with other neighbouring disciplines.
|
|
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.man.ac.uk |