This is the home page of
Foundation for Informatics, Logic and Mathematics
Krochmalna street 3/917
00-864 Warsaw, Poland

e-mail: romat@mizar.org
fax: +48 85 745.74.78
NIP 527 - 00 - 23 - 640
Bank account number: 03 1020 1156 0000 7902 0050 3342
Administrative dates on NGO.PL.

Foundation has scientific activities:
• participation in publication of the journal Formalized Mathematics,
• participation in organization annual workshops of the Logic, Informatics and Philosophy of Science, Zakopane, Poland,
• participation in organization of the Third International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM 2004), Bialowieza, Poland,
• owner of the internet domain calculemus.org used to different academic activities.

We provide on-line payment by the credit cards.