RelMiS: Relational Methods in Software
This event will provide:
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.
- a tutorial introduction to relational methods for computer scientists
and software developers, and
- a workshop to discuss new results and future work.
Wolfram Kahl (email@example.com)