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

Foundation has scientific activities:
• participation in publication of the journal Formalized Mathematics with collaboration of deGruyter Sciendo (introduction to several Abstract Data Bases - more as 30),
• owner of the polish version Alfred Tarski book Introduction to Logic and to the Methodology of Deductive Sciences Oxford University Press 1994,
• participation in annual conferences on "The Philosophy of Computer Science": 2017, 2018, 2019, Poland,
• participation in organization of the Third International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM 2004), Bialowieza, Poland,
• participation in organization annual workshops of the Logic, Informatics and Philosophy of Science, Zakopane, Poland,
• owner of the internet domain calculemus.org used to different academic activities.

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: January 20, 2020 by Roman Matuszewski (formalized.mathematics@mizar.org).