First EmBounded Workshop, Neu-Isenburg, 14.10.05

The first project workshop of the EmBounded project was held in Neu-Isenburg, near Frankfurt, on the 14th of October 2005. This was the first overall workshop involving all project partners, and we therefore focussed on coordination between the groups and planning the work in the individual workpackages. At this point we felt it would be too early to invite external researchers for technical presentations, but we plan for such guests in future meetings.

In the technical part of the meeting each group gave a presentation on the current state of the work. We examined several interesting new directions of research, such as using dependent types in the tasks on resource analysis, but overall focussed on the current core topics, grouped into several strands:

The workshop was attended by

The programme of the workshop with links to the slides is available here.

This page was last modified on Wednesday 19 July 2006 14:59:24. This site is maintained by Robert Rothenberg (r r at cs dot st - andrews dot ac dot uk).