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

From Termination-Portal.org
Jump to navigationJump to search
 
(5 intermediate revisions by 3 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 =
 
Termination-Portal.org ist eine Webseite von und für Forscher aus dem Bereich der Terminierungsanalyse.
 
Termination-Portal.org ist eine Webseite von und für Forscher aus dem Bereich der Terminierungsanalyse.
Die Idee ist, dass alle Inhalte von den Benutzern, d.h. den Forschern, beigesteuert werden. Dadurch soll
+
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.  
 
eine ständig aktualisierte Wissenbasis rund um den Forschungsbereich entstehen.  
  
Line 20: Line 21:
  
 
= Haftung für Inhalte =
 
= Haftung für Inhalte =
Die Inhalte unserer Seiten werden von unseren Benutzern mit großer Sorgfalt erstellt.  
+
Die Inhalte dieser Webseite werden von den Benutzern mit großer Sorgfalt erstellt.  
Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte können wir jedoch keine Gewähr übernehmen.
+
Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte kann jedoch keine Gewähr übernommen werden.
  
Die von unseren Benutzern eingestellten Inhalte können wir nicht regelmässig auf mögliche Rechtsverstöße überwachen.
+
Die von den Benutzern eingestellten Inhalte können nicht regelmäßig auf mögliche Rechtsverstöße überwacht werden.
Sollten uns jedoch Rechtsverstöße bekannt sein bzw. zur Kenntnis gebracht werden, werden wir die fraglichen
+
Sollten den Seitenbetreibern jedoch Rechtsverstöße bekannt sein bzw. zur Kenntnis gebracht werden, werden die fraglichen
Inhalte umgehend entfernen oder sperren.
+
Inhalte umgehend entfernt oder gesperrt.
  
 
= Haftung für Links =
 
= Haftung für Links =
Auf den Inhalt von verlinkten externen Webseiten haben wir keinen Einfluss. Deshalb können wir auch
+
Auf den Inhalt von verlinkten externen Webseiten besteht kein Einfluss. Deshalb kann auch
keine Verantwortung für deren Inhalte übernehmen. Sollten uns jedoch Rechtsverstöße im Inhalt der
+
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 wir die fraglichen Links umgehend entfernen.
+
externen Seiten bekannt sein bzw. zur Kenntnis gebracht werden, werden die fraglichen Links umgehend entfernt.
  
 
= Datenschutz =
 
= Datenschutz =
Auf unserer Webseite werden personenbezogene Daten stets auf freiwilliger Basis erhoben - im Regelfall
+
Auf dieser Webseite werden personenbezogene Daten stets auf freiwilliger Basis und im Regelfall durch den Benutzer selbst erhoben.  
durch den Benutzer selbst.
+
Der Nutzung jeglicher veröffentlichter personenbezogener Daten sowie die Nutzung der im Impressum veröffentlichten Kontaktdaten
 
+
zu Werbezwecken wird hiermit ausdrücklich widersprochen.
Der Nutzung der im Impressum veröffentlichten Kontaktdaten
 
zu Werbezwecken wird hiermit widersprochen.
 

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.