PhD Training Programme at RelMiCS/AKA 2006

该提案要求资助第九届计算机科学关系方法国际会议（RelMiCS-9）和第四届Kleene代数应用国际研讨会（AKA'06）的博士培训计划。RelMiCS会议是关系演算作为一种概念和方法工具的主要论坛。AKA研讨会是一个讨论与Kleene代数相关主题的论坛。与往年一样，这两个活动是联合举办的。下一次联合RelMiCS/AKA将于2006年8月29日至9月2日在曼彻斯特大学计算机科学学院举办。会议将首次联合举办博士培训项目。博士课程的目标是向博士生和年轻研究人员介绍研究领域的方法、基础和应用。它还为年轻的研究人员提供了展示自己的工作、与同行接触、探索新的思维途径、集体学习和以非常积极和刺激的方式交流思想的机会。特别是，博士生将有机会在相关领域学习关系方法和Kleene代数的数学基础，以及在程序优化领域的应用。将有一个学生会议，参与者可以介绍和讨论他们的博士项目，并展示他们的成果。优秀的学生论文将被考虑在主要会议上发表，并在LNCS论文集中发表。博士课程包括出席主要会议和同地研讨会。因此，博士课程也将为年轻的研究人员提供一个极好的机会，让他们了解当前的研究概况，参加经验丰富的演讲者的演讲，并与该领域的专家取得联系。在英国，在感兴趣的领域存在着一个特别强大的社区，可以期待与相关社区进行富有成效的交流。除了从名称中可以明显看出的一般主题外，主要会议将强烈关注软件工程的形式化方法、程序逻辑和与其他邻近学科的联系。

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.