Legal Disclosure

Fachbereich Mathematik und Informatik der Universität Münster
Institut für Informatik
Arbeitsgruppe Softwareentwicklung und Verifikation
Einsteinstraße 62, 48149 Münster, Germany
Telefon: +49 (251) 83-38401
Fax: +49 251 83-33755
E-Mail: ifi.sekretariat@uni-muenster.de

The University of Münster is a public-sector statutory body and institution of the Federal State of North Rhine-Westphalia (NRW), Germany. It is represented by its Rector, Professor Johannes Wessels.

Responsible supervisory authority:

Ministerium für Kultur und Wissenschaft des Landes Nordrhein-Westfalen
Völklinger Straße 49
40221 Düsseldorf
Germany

VAT identification number: DE 126118759

Responsible in accordance with §18 paragraph 2 of the Media State Treaty (Medienstaatsvertrag / MStV):

Prof. Dr. Markus Müller-Olm
Telefon: +49 251 83-33765
Fax: +49 251 83-33755
E-Mail: markus.mueller-olm@uni-muenster.de
Einsteinstraße 62
48149 Münster
Germany

This legal notice applies to the information provided on the website managed of the Software Development and Verification Group of the University of Münster, accessible via the URL https://www.uni-muenster.de/Informatik.AGMueller-Olm/ and designated by "© AG Müller-Olm, University of Münster". The editorial responsibility for all the other pages on this Internet server rests with the offices or persons who have set up and published the respective pages.

Disclaimer

The information provided on this website has been compiled by the authors of these Web pages with the utmost care. Nonetheless, the authors or the University cannot assume liability for the topicality, accuracy, completeness or quality of the information in question. The University of Münster, the authors of these Web pages and the persons responsible for this website cannot be held liable for material or non-material damage caused by incorrect or incomplete information, provided that the deficiencies in question are not deliberate or due to gross negligence.

The above also applies to information provided on websites to which the Internet user is referred by means of a hyperlink. Although the contents of these websites are entirely beyond the sphere of responsibility of the University of Münster, the sites did not contain any illegal material when the link was set up. Since it is impossible to exert any kind of influence on the form or content of the linked websites, the University of Münster, the authors of these Web pages and the persons responsible for this website cannot accept liability for damage caused by incorrect or incomplete information provided on the websites to which the Internet user is referred by means of a link.

All legal disputes which may arise in connection with this website are subject to German law.