Konferencja MFCS
Komunikat
Instytut Informatyki Uniwersytetu Warszawskiego przy współudziale Polskiego Towarzystwa Informatycznego organizuje międzynarodowe sympozjum “Mathematical Foundation of Computer Science”, w skrócie MFCS. Sympozjum to odbędzie się w miejscowości Rytro pod Krakowem w dniach od 28 sierpnia do 1 września 11989 r.
Konferencje MFCS były organizowane przemiennie w Polsce i Czechosłowacji w latach 1972–1981, a od kilku lat tylko w Czechosłowacji. Międzynarodowe środowisko informatyczne, a także i polskie, uważa, że nadeszła właściwa chwila na odnowienie tradycji i wznowienie spotkań MFCS (co dwa lata) w Polsce.
Konferencje MFCS należą, obok amerykańskich STOC i FOCS oraz zachodnioeuropejskiej ICALP, do najbardziej liczących się w świecie konferencji w tej dziedzinie. Stwarzają możliwości szerokiego kontaktu specjalistów i stanowią forum dla prezentacji najnowszych rezultatów w głównych kierunkach informatyki. Gromadząc w równym stopniu informatyków z krajów socjalistycznych i kapitalistycznych, konferencje te umożliwiają polskim informatykom kontakt ze specjalistami z całego świata. Materiały z konferencji MFCS’89 będą wydane, jak zwykle, przez wydawnictwo Springera w serii “Lecture Notes in Computer Science”.
Tematyka konferencji MFCS obejmuje przede wszystkim następujące działy informatyki: weryfikację i specyfikację oprogramowania, logiki programów, bazy danych, złożoność obliczeniową i współbieżność. Przewiduje się przyjęcie ok. 30 prac spośród wszystkich nadesłanych na ręce Komitetu Programowego do dnia 15 stycznia 1989 r. Ponadto zaproszono kilku wybitnych specjalistów do wygłoszenia wykładów podczas sesji plenarnych.
Organizatorzy przewidują, że konferencji będą towarzyszyły następujące imprezy:
(1) ekspozycja wydawnictw informatycznych prezentowana przez wydawnictwa zachodnie i krajowe.
(2) pokazy wyróżniających się systemów i programów.
Serdecznie zapraszamy członków PTI do nadsyłania prac i uczestnictwa w konferencji MFCS’89. Nasz adres:
Instytut Informatyki Uniwersytetu Warszawskiego
Pałac Kultury i Nauki, 8p. 00-901 Warszawa
Komitet Organizacyjny
Krzysztof Diks, Michał Grabowski, Antoni Kreczmar,
Grażyna Mirkowska i Andrzej Szałas