Regulamin strony, RODO:
- Regulamin określa zasady korzystania ze strony internetowej
fm.mizar.org/foundation/ (dalej: strona), czyli usługi świadczonej
drogą elektroniczną przez administratora portalu - Fundację na rzecz Informatyki, Logiki i Matematyki
[Foundation for Computer Science, Logic and Formalized Mathematics] (dalej: Fundacja),
mieszczącą się przy ul. Lasek Brzozowy 15/9, 02-792 Warszawa, wpisaną do rejestru stowarzyszeń, innych organizacji
społecznych i zawodowych, fundacji oraz samodzielnych publicznych zakładów opieki zdrowotnej i do rejestru przedsiębiorców
prowadzonych przez Sąd Rejonowy dla m.st. Warszawy, Wydział XII Gospodarczy Krajowego Rejestru Sądowego,
nr KRS: 0000105680, NIP: 527-00-23-640.
- Administratorem danych na tym portalu jest Fundacja
(formalized.mathematics@mizar.org).
- Dane są utrzymywane tylko w celach informacyjno-naukowych, nie są udostępniane.
- Dane są przetwarzane przez Fundację.
- Do korzystania ze strony niezbędne jest posiadanie urządzeń pozwalających na korzystanie z zasobów
Internetu oraz przeglądarki zasobów internetowych umożliwiającej wyświetlanie stron www.
- Użytkownik zobowiązany jest do przestrzegania regulaminu strony.
- Omawiana strona nie dopuszcza zamieszczania komentarzy zewnętrznych.
- Fundacja dokłada wszelkich starań w celu zapewnienia prawidłowego działania strony, jednak informuje,
że w wypadku awarii, bez względu na jej przyczynę, istnieje możliwość utraty zgromadzonych
danych lub zakłócenia przesyłania danych na stronę.
- Regulamin obowiązuje od momentu opublikowania. Fundacja zastrzega sobie prawo do wprowadzania zmian w
regulaminie. Zmiany stają się obowiązujące w momencie ich opublikowania na stronie.
- Zakłócenia w funkcjonowaniu strony mogą być zgłaszane za pośrednictwem poczty elektronicznej
(formalized.mathematics@mizar.org).
Zgłoszenia będą rozpatrywane na bieżąco przez Fundację w terminie nie dłuższym niż 14 dni.
- Fundacja zastrzega sobie możliwość pozostawienia zgłoszenia bez odpowiedzi, jeśli dotyczy ona
dysfunkcji wynikających z nieznajomości lub nieprzestrzegania regulaminu.
- Uwagi i pytania dotyczące strony mogą być zgłaszane za pośrednictwem poczty elektronicznej
(formalized.mathematics@mizar.org).