Impressum

www.eprover.orgwww.eprover.dewww.eprover.eu
Responsible for the web pages accessible under the above listed domains is
Dr. Stephan Schulz
Auf der Altenburg 7
70376 Stuttgart
Germany
schulz@eprover.org
I have no control over the contents of external pages maintained by other people or organizations, even if these can be reached by hyperlinks from my pages.

GDPR

The web sites do not use cookies or other tracking technologies, and do process user-provided data beyond that necessary for provision of the service (IP address or domain name, and similar data). Connections are logged by the web server in technical logs. These are not examined except in the case of technical difficulties, and are automatically purged on a regular schedule. We do not maintain any personal data beyond these automated processes. Requests can be addressed to Stephan Schulz (see above).
Die Webseiten unter den oben genannten Domänen werden verantwortet von
Dr. Stephan Schulz
Auf der Altenburg 7
70376 Stuttgart
Germany
schulz@eprover.org
Ich habe keine Kontrolle über die Inhalte von externen Seiten, die nicht von mir betreut werden. Dies gilt auch, wenn diese über Hyperlinks von meinen Webseiten aus erreicht werden können.

DSGVO

Die Webseiten verwenden weder Cookies not andere Technologien zur Nutzerverfolgung. Sie verarbeiten keine Nutzerdaten, die nicht für die technische Ausführung des Dienstes notwendig sind (z.B. IP- oder Internet-Adresse). Verbindungen werden standardmäßig vom Web-Server geloggt, aber nur zur Fehleranalyse ausgewertet. Alle Einträge werden regelmäßig ud automatisch gelöscht. Wir verabeiten keine persönlichen Daten außerhalb dieses automatisierten Prozesse. Anfragen können an Stephan Schulz gestellt werden (siehe oben).