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

Krochmalna street 3/917
00-864 Warsaw, Poland

Non-profit Organization

e-mail: formalized.mathematics@mizar.org
fax: +48 85 745.74.78

PL-Registers
Krajowy Rejestr Sądowy - nr KRS: 0000105680
Główny Urząd Statystyczny - nr REGON: 011527180
Urząd Skarbowy - nr NIP: 527-00-23-640
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.
Last modified: July 31, 2018 by Roman Matuszewski (formalized.mathematics@mizar.org).