PhD Training Programme at RelMiCS/AKA 2006
Lead Research Organisation:
University of Manchester
Department Name: Computer Science
Abstract
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.
Organisations
Publications
| Description | This project provided 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). |
| Exploitation Route | PhD training programmes such as this one are ieffective catalysts for turning PhD students into independent researchers. The programme brought together researchers from the theory and the application side in an early stage of their career. For the future, this might significantly contribute to a higher level of formal rigour in software engineering and to better deductive support for formal methods. |
| Sectors | Digital/Communication/Information Technologies (including Software) |
| URL | http://www.cs.man.ac.uk/~schmidt/relmics06/ |
| Description | The main beneficiaries of the training were the students participating. The tutorials provided a solid theoretical background and an exemplary application of relational methods to a formal software engineering task. The student session allowed them to present their work, gain valuable experience and establish contacts with peers. The conference helped them obtain an overview on their field and the students met leading international experts at the conference which gave them the opportunity to discuss their work and widen their horizon. As is usual for a conference like this, participants were given the opportunity to establish and strengthen useful contacts, exchange ideas, discuss joint publications, and in some cases even arrange research visits. |
| First Year Of Impact | 2007 |
| Sector | Digital/Communication/Information Technologies (including Software) |
| Impact Types | Societal,Economic |