Call for Participation
The goal of this workshop is to bring researchers and practitioners together in a setting where they can discuss novel architectures, the design and implementation of programming languages, compilers, distributed systems and processing environments, as well as new developments in formal verification of and applications for such environments.
The topics of interest for this workshop range from fundamental theoretical problems to application oriented questions.
Participation: Participation is open to all who are interested in the topic of the workshop. We also encourage participants to give a 20-25 minutes talk. For more details see the talk registration deadline below.
- Talk registration deadline is November 1st, 2005. In order to register a talk please submit title and abstract by the deadline. Talks will be used to structure the discussion sessions of the workshop and represent a mechanism whereby participants can help to shape and focus the workshop. The talks will be accepted as they are received, so please send in your abstract early.
- Registration for participation will end a few days before the day of the workshop. More information on registration will be made available on the Registration page closer to the date of the workshop.
