I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Webmaster

If you notice any dangling links or want to inform us about missing or incorrect information, please contact our webmaster by sending an email to webmaster@model.in.tum.de



IMPRESSUM

Die nachstehenden Informationen enthalten einige rechtliche Hinweise und insbesondere die gesetzlich vorgesehene Anbieterkennzeichnung gemäß §6 MDStV.


ANBIETER

Prof. Dr. Javier Esparza

Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
D-85748 Garching bei München / Germany


VERTRETUNGSBERECHTIGTER (V.i.S.d.P.)

Prof. Dr. Javier Esparza


DATENSCHUTZERKLÄRUNG

Protokollierung

Wenn Sie diese oder andere Internetseiten aufrufen, übermitteln Sie über Ihren Internetbrowser Daten an unseren Webserver. Die folgenden Daten werden während einer laufenden Verbindung zur Kommunikation zwischen Ihrem Internetbrowser und dem Webserver temporär in einer Logdatei aufgezeichnet:
  • IP-Adresse des anfragenden Rechners
  • Datum und Uhrzeit des Zugriffs
  • Name, URL und übertragene Datenmenge der abgerufenen Datei
  • Zugriffsstatus (angeforderte Datei übertragen, nicht gefunden etc.)
  • Erkennungsdaten des verwendeten Browser- und Betriebssystems (sofern vom anfragenden Webbrowser übermittelt)
  • Webseite, von der aus der Zugriff erfolgte (sofern vom anfragenden Webbrowser ├╝bermittelt)
Die Verarbeitung der Daten in dieser Logdatei geschieht wie folgt:
  • Die Logeinträge werden gegebenenfalls ausgewertet, um Angriffe auf die Webserver erkennen und entsprechend reagieren zu können.
  • In Einzelfällen, d.h. bei gemeldeten Störungen, Fehlern und Sicherheitsvorfällen, erfolgt eine manuelle Analyse.
Die in den Logeinträgen enthaltenen IP-Adressen werden nicht mit anderen Datenbeständen zusammengeführt, so dass kein Rückschluss auf einzelne Personen möglich ist.

Cookies

Beim Besuch unserer Webseiten werden vom Browser sogenannte Session-Cookies auf Ihren Rechner gespeichert. Cookies sind kleine Textdateien die dazu dienen, unser Angebot nutzerfreundlicher und effektiver zu machen. Cookies richten auf Ihrem Rechner keinen Schaden an und enthalten auch keine Viren. Die Speicherung dieser Cookies kann durch die Einstellung im Browser ausgeschaltet werden. Bitte beachten Sie, dass nur lesende Benutzer der Webseiten keine Einbußen haben, wenn Sie die Speicherung der Cookies deaktivieren.

E-Mail-Sicherheit

Wenn Sie uns eine E-Mail schicken, so wird Ihre E-Mail-Adresse nur f├╝r die Korrespondenz mit Ihnenverwendet. Bitte beachten Sie, dass die Datenübertragung im Internet Sicherheitslücken aufweisen kann. Ein lückenloser Schutz der Daten vor dem Zugriff durch Dritte ist nicht möglich.

Auskunft und Berichtigung

Sie haben das Recht, auf Antrag unentgeltlich Auskunft zu erhalten über die personenbezogenen Daten, die über Sie gespeichert sind. Zusätzlich haben Sie das Recht auf Berichtigung unrichtiger Daten, Sperrung und Löschung.

RECHTLICHE HINWEISE

Der Anbieter ist ständig um die Richtigkeit und Aktualität der auf im Rahmen dieser Internetpräsenz bereitgestellten Information bemüht. Trotzdem können Fehler und Unklarheiten nicht vollständig ausgeschlossen werden. Der Anbieter übernimmt deshalb keine Gewähr für die Aktualität, Richtigkeit, Vollständigkeit oder Qualität der bereitgestellten Information. Für durch die Nutzung oder Nichtnutzung entstandene Schäden materieller oder immaterieller Art wird nicht gehaftet, sofern diese nicht auf nachweislich vorsätzliches oder grob fahrlässiges Verhalten des Anbieters zurückzuführen sind.
Der Anbieter behält sich vor, das Internetangebot, auch in Teilen, ohne besondere Ankündigung zu verändern, zu ergänzen, zu löschen oder zeitweise bzw. endgültig einzustellen.
Gemäß §6 Abs.1 MDStV ist der Anbieter für zur Nutzung bereitgehaltene "eigene Inhalte" nach den geltenden Gesetzen verantwortlich. Von diesen eigenen Inhalten sind fremde Inhalte, zu denen lediglich ein Zugang zur Nutzung vermittelt wird, insbesondere durch Verknüpfungen (sog. "Links") zu unterscheiden. Diese fremden Inhalte werden bei der erstmaligen Verknüpfung mit der nötigen Sorgfalt auf das Vorliegen zivil- oder strafrechtlich relevanter Sachverhalte überprüft. Für nachträglich vorgenommene Änderungen an fremden Inhalten ist der Anbieter nach §6 Abs.1 MDStV nicht verantwortlich.
Die Gestaltung der Internetpräsenz, die verwendeten Grafiken und Texte sowie sonstige Inhalte sind urheberrechtlich geschützt.