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.

Web page



Wolfram Kahl (