Warsztaty nt. matematycznych witryn typu wiki, Nijmegen, Holandia

Dnia 27 sierpnia 2011 r. w Nijmegen, Holandia, odbędą się warsztaty nt. matematycznych witryn typu wiki.

Matematyka staje się dyscypliną coraz bardziej opartą na współpracy. Internet ułatwił rozproszone opracowywanie, przeglądanie i doskonalenie dużych dowodów, teorii, bibliotek i repozytoriów wiedzy. To prowadzi do rozwoju wszelkiego rodzaju wspólnie opracowywanych matematycznych zasobów dydaktycznych, w tym wszechstronnych, wspólnych prac nad dowodami, a także dużych wspólnie rozbudowywanych bibliotek formalnych.

Rośnie zainteresowanie takimi dziedzinami jak interaktywne wspomaganie komputerowe, reprezentacja semantyczna i łączenie z innymi zestawami danych na temat sieci semantycznej, co prowadzi do dalszych innowacji.

Warsztaty zgromadzą programistów i głównych użytkowników matematycznych witryn typu wiki oraz opartych na współpracy i społecznościowych narzędzi matematycznych. Zaplanowano następujące tematy:
- witryny typu wiki i blogi dotyczące nieformalnej, semantycznej, półformalnej i formalnej wiedzy matematycznej;
- ogólne techniki i narzędzia internetowej matematyki opartej na współpracy;
- narzędzia do wspólnego przygotowywania, prezentowania, publikowania i wchodzenia w interakcje z internetową matematyką;
- automatyzacja i aspekty interakcji komputer-człowiek na matematycznych stronach typu wiki;
- doświadczenia praktyczne, aspekty używalności, studia wykonalności;
- ocena istniejących narzędzi i doświadczeń;
- wymagania, scenariusze i cele użytkowników.Więcej informacji: http://www.cs.ru.nl/mwitp/(odnośnik otworzy się w nowym oknie)