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).
Stowarzyszenia i fundacje! Macie pytania prawne, formalne, księgowe? Pomożemy je rozwiązać. Piszcie: info@ngo.pl i dzwońcie: 801 646 719 lub 22 828 91 21 (g. 9.00-13.00).

Fundacja na rzecz Informatyki, Logiki i Matematyki

Fundacja na rzecz Informatyki, Logiki i Matematyki
Kontakt
E-mail
Pokaż
Telefon
603 491 986
Telefon
22 745 74 78
Adres rejestrowy
Ulica
Krochmalna 3 lok. 917
Kod pocztowy
00-864
Miejscowość
Warszawa-Wola
Województwo
mazowieckie
Powiat
Warszawa
Dzielnica
Wola
Dane rejestrowe
Forma prawna
Fundacja
KRS
0000105680
REGON
01152718000000
NIP
527-00-23-640
Rok powstania
1991
Organizacja pożytku publicznego
Nie
Redakcja ngo.pl nie odpowiada za treść profili organizacji

Misja
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ń.

Prowadzone działania
Foundation has scientific activities:

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

Reklama

Obszary działań i ich odbiorcy

Obszary działań
Odbiorcy działań
Reklama
Redakcja ngo.pl nie odpowiada za treść profili organizacji
Numer konta organizacji:
Sugerowany tytuł przelewu:
Darowizna na cele statutowe
Darowiznę możesz odliczyć od podatku! Dowiedz się więcej