PhD Programme

This year, for the first time, the RelMiCS/AKA conference includes a PhD Training Programme that comprises two tutorials, a student session and attendance of the conference and co-located workshops.

If you are currently doing a PhD in the general area of the conference or are interested in learning more about relations or Kleene algebra, then we would like to invite you to apply for participation.

The tutorials will teach you the theoretical background and an exemplary application of relational methods to a formal software engineering task. The student session will allow you to present your ongoing work and to establish contacts with other students. The conference and workshops will provide you with an overview of work in your area of research and allow you to discuss it with leading international experts. Overall, the programme will provide a solid background on mathematical foundations in combination with interesting applications.

EPSRC LMS Man BLC

Last updated 23 Jan 2006.