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
e-mail: romat@lasek.waw.pl
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.
Last modified: June 23, 2020 by Roman Matuszewski
(romat@lasek.waw.pl).