MOD23

Summer School Marktoberdorf 2023

Safety and Security through Formal Verification

01 Aug – 12 Aug 2023

Directors

Prof. Parosh Aziz Abdulla, Uppsala University, Sweden

Prof. Javier Esparza, TU Munich, Germany

Contact / Impressum

Prof. Javier Esparza
TUM School of Computation, Information and Technology
Department of Computer Science, I7
Boltzmannstr. 3
85748 Garching

Phone: +49 89 289-17234
Mail: asimod@sse.cit.tum.de (Fr. Piller)

Zuständige Aufsichtsbehörde: Bayerisches Ministerium für Bildung und Kultus, Wissenschaft und Kunst
Ust-IdNr.: DE 811193231

Haftung

Trotz sorgfältiger inhaltlicher Kontrolle übernehmen wir keine Haftung für Inhalte externer Links. Für den Inhalt der verlinkten Seiten sind ausschließlich die jeweiligen Betreiber verantwortlich.

Copyright

Inhalt und Gestaltung der Internet-Seiten sind urheberrechtlich geschützt. Eine Vervielfältigung oder anderweitige Verwendung der Seiten oder des Inhalts bedarf der vorherigen schriftlichen Zustimmung des Lehrstuhls i7 der TU München. Dies betrifft sowohl die Website als auch alle Dokumente, Programme oder ähnliche Dateien innerhalb dieser Website, die zum Download zur Verfügung gestellt werden.

Bei Fragen und Problemen mit der Webseite bitte an asimod@sse.cit.tum.de wenden.

Datenschutzerklärung

Der Besuch dieser Internetpräsenz wird protokolliert. Erfasst werden die aktuell von Ihrem Rechner verwendete IP-Adresse, Datum, Uhrzeit und die von Ihnen betrachteten Seiten. Ein Personenbezug ist im Allgemeinen nicht möglich. Eine mögliche Auswertung der Daten erfolgt nur in anonymisierter Form und für statistische Zwecke.

Datenverarbeitung durch Dritte

Diese Website baut auf der Plattform "Google Drive" auf, die von Google Inc. („Google“) betrieben wird. Insbesondere verwenden wir die Dienste "Google Sites", "Google Forms", "Google Sheets" und "Google Scripts". Es ist somit möglich, dass Google die von Ihnen zur Verfügung gestellten Daten auswertet. Wir sind für eine gegebenfalls stattfindende Datenauswertung nicht verantwortlich und können diese nicht beeinflussen. In diesem Fall findet somit die Datenschutzerklärung von Google Anwendung.


Imprint