Fundacja na rzecz Informatyki, Logiki i Matematyki

Przeglądarka Internet Explorer, której używasz, uniemożliwia skorzystanie z większości funkcji portalu ngo.pl. Aby mieć dostęp do wszystkich funkcji portalu ngo.pl, zmień przeglądarkę na inną (np. Chrome, Firefox, Safari, Opera, Edge).

Webinar: ABC obowiązków organizacji pozarządowych Zdobądź praktyczną wiedzę. Dowiedz się, jak uniknąć błędów. Zapisz się >

Prośba o wpłatę darowizny na Twój portal ngo.pl prowadzony przez Stowarzyszenie Klon/Jawor.

Spis organizacji

Fundacja na rzecz Informatyki, Logiki i Matematyki

Kontakt

E-mail

Pokaż

http://fm.mizar.org/fundacja

Adres rejestrowy

Ulica

Lasek Brzozowy 15 lok. 9

Kod pocztowy

02-792

Miejscowość

Warszawa

Województwo

mazowieckie

Powiat

Warszawa

Dzielnica

Ursynów

Dane rejestrowe

Forma prawna

Fundacja

KRS

0000105680

Zobacz dane organizacji w KRS

REGON

01152718000000

NIP

5270023640

Rok powstania

1991

Organizacja pożytku publicznego

Nie

Redakcja ngo.pl nie odpowiada za treść profili organizacji

English? We’ve got you covered!

Skip to the content in English

Celem Fundacji jest wspieranie nauki i przyczynianie się do rozwoju potencjału naukowego, w szczególności dyscyplin Informatyki, Logiki i Matematyki, i stwarzanie warunków organizacyjnych, finansowych i technicznych na rzecz ich zastosowań.

About

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.