RelMiS: Relational Methods in Software
This event will provide:
- a tutorial introduction to relational methods for computer scientists
and software developers, and
- a workshop to discuss new results and future work.
The tutorial will present an overview of
relational methods as currently applied in software development and
research, stressing accessible yet rigorous formalisations at high levels
of abstraction. Those who attend the tutorial will be prepared
to profit from the more advanced discussions at the workshop.
Attendees will gain an understanding of relational methods and
their application to software, participate in discussions of
recent research, and meet researchers who are active in this field.
Web page
http://ist.unibw-muenchen.de/RelMiS/
Organizers
Contact
Wolfram Kahl (relmis@ist.unibw-muenchen.de)