Difference between revisions of "Termination-Portal.org:About"

From Termination-Portal.org
Jump to navigationJump to search
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
= Impressum =
 
= Impressum =
 
Die Ansprechperson für Termination-Portal.org ist:
 
Die Ansprechperson für Termination-Portal.org ist:
   Peter Schneider-Kamp
+
   Jürgen Giesl
 
   Lehr- und Forschungsgebiet Informatik 2
 
   Lehr- und Forschungsgebiet Informatik 2
   RWTH Aachen
+
   RWTH Aachen University
   52056 Aachen
+
   52074 Aachen
   +49 241 80 21211
+
   +49 241 80 21230
   [mailto:psk@informatik.rwth-aachen.de psk@informatik.rwth-aachen.de]
+
   [mailto:giesl@informatik.rwth-aachen.de giesl@informatik.rwth-aachen.de]
  
 
= Präambel =
 
= Präambel =

Latest revision as of 10:22, 14 October 2018

Impressum

Die Ansprechperson für Termination-Portal.org ist:

 Jürgen Giesl
 Lehr- und Forschungsgebiet Informatik 2
 RWTH Aachen University
 52074 Aachen
 +49 241 80 21230
 giesl@informatik.rwth-aachen.de

Präambel

Termination-Portal.org ist eine Webseite von und für Forscher aus dem Bereich der Terminierungsanalyse. Die Idee ist, dass die Seitenbetreiber sich im Regelfall nur um die technischen Voraussetzungen kümmern, während die Inhalte von den Benutzern, d.h. den Forschern, beigesteuert werden. Dadurch soll eine ständig aktualisierte Wissenbasis rund um den Forschungsbereich entstehen.

Nutzungsbedingungen

Die Benutzer sind verpflichtet, alle Inhalte, die sie zu dieser Website beisteuern, nach bestem Wissen zu erstellen. Jeder Benutzer ist für die von ihm erstellten Beiträge selbst in vollem Umfang verantwortlich. Insbesondere muss er beim Einstellen von Inhalten das Urheberrecht berücksichtigen. Auch Links auf externe Webseiten sind vor dem Einstellen nach bestem Wissen und Gewissen auf Freiheit von Rechtsverstößen zu prüfen.

Haftung für Inhalte

Die Inhalte dieser Webseite werden von den Benutzern mit großer Sorgfalt erstellt. Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte kann jedoch keine Gewähr übernommen werden.

Die von den Benutzern eingestellten Inhalte können nicht regelmäßig auf mögliche Rechtsverstöße überwacht werden. Sollten den Seitenbetreibern jedoch Rechtsverstöße bekannt sein bzw. zur Kenntnis gebracht werden, werden die fraglichen Inhalte umgehend entfernt oder gesperrt.

Haftung für Links

Auf den Inhalt von verlinkten externen Webseiten besteht kein Einfluss. Deshalb kann auch keine Verantwortung für deren Inhalte übernommen werden. Sollten den Seitenbetreibern jedoch Rechtsverstöße im Inhalt der externen Seiten bekannt sein bzw. zur Kenntnis gebracht werden, werden die fraglichen Links umgehend entfernt.

Datenschutz

Auf dieser Webseite werden personenbezogene Daten stets auf freiwilliger Basis und im Regelfall durch den Benutzer selbst erhoben. Der Nutzung jeglicher veröffentlichter personenbezogener Daten sowie die Nutzung der im Impressum veröffentlichten Kontaktdaten zu Werbezwecken wird hiermit ausdrücklich widersprochen.