This is the home page of
(in Polish: Fundacja na rzecz Informatyki, Logiki i Matematyki)
Foundation for Computer Science, Logic and Formalized Mathematics

Lasek Brzozowy street 15/9
02-792 Warsaw, Poland

Non-profit Organization

e-mail: formalized.mathematics@mizar.org

PL-Registers
Krajowy Rejestr Sądowy - nr KRS: 0000105680 (in Polish)
Główny Urząd Statystyczny - nr REGON: 011527180
Urząd Skarbowy - nr NIP: 5270023640
Statut Fundacji (in Polish).
Regulamin strony i RODO (in Polish).
Cele Fundacji (in Polish).

Bank account number: PL 03 1020 1156 0000 7902 0050 3342
BIC, SWIFT: BPKOPLPW
name of Bank: PKO Bank Polski s.a., Poland



We provide on-line payment by credit cards or by blik - TEMOPARARILY CLOSED (to open this PORT please send an email to: formalized.mathematics@mizar.org).
We can send also individual link (address) for the payment.

Last modified: June 12, 2024 by Roman Matuszewski (formalized.mathematics@mizar.org).