Sympozjum inauguruje planowane na kolejne lata Białostockie Warsztaty Logiki, Informatyki i Filozofii Nauki, poświęcone zagadnieniom leżącym na przecięciu tych trzech nauk, jak rozstrzygalność, sposoby i granice algorytmizacji procedur naukowych, w szczególności dowodzenia twierdzeń, itp. Na tym przecięciu znajduje się twórczość Emila Posta (1897-1954); innym przykładem są badania J. Herbranda (1908-1931) nad teorią dowodu, stosowane w automatycznym dowodzeniu twierdzeń (modele Herbranda etc).

Warsztaty mają wspierać ten rodzaj współpracy, jaki zachodzi w Uniwersytecie w Białymstoku między Katedrą Logiki, Informatyki i Filozofii Nauki oraz Instytutem Matematyki (system Mizar etc), a obejmuje także Instytut Informatyki Politechniki Białostockiej. Jednostki te realizują wspólnie grant "Badania nad sztuczną i naturalną inteligencją za pomocą automatyzacji rozumowań" wnosząc - każda według swego profilu - kompetencje logiczne, informatyczne, matematyczne i filozoficzne. Te same jednostki są organizatorami obecnego Sympozjum.

* Sympozjum zaczyna się w gmachu przy ul. Liniarskiego 4 (drugi przystanek od dworca autobusem nr 10), 13 grudnia o 12.15 odczytem prof. Romana Murawskiego (Instytut Matematyki UAM) Wkład Posta w rozwój logiki matematycznej, kończy się odczytem prof.\ Ewy Orłowskiej O polskich badaniach w problematyce Posta.

Dogodne połączenie: z Dworca Centralnego w Warszawie o 9.12 (przyjazd 11.30). Dla przybyłych wcześniej, czas w godz.\ 10-12 będzie wykorzystany na pokaz funkcjonowania systemu Mizar. Zakończenie - 14-go, godz. 18.00 (pociąg do Warszawy - 19.10). Możliwa jest rezerwacja noclegów na 12/13, 13/14 i 14/15 w hotelu uczelni (15 zł. za dobę).

Zgłoszenia ze wskazaniem terminów rezerwacji hotelu prosimy nadsyłać - najpóźniej do 20.XI.97 - e-mailem na adres kol. Romana Matuszewskiego:
romat@plearn.edu.pl
lub pocztą na to samo nazwisko i adres podany u góry. Następne komunikaty (program etc.) będą podawane od 5.XI na stronie:
http://www.pip.com.pl/LogBank/Meetings/Post97/

---

Komitet Programowo-Organizacyjny: Wiktor Dańko (PB), Witold Marciszewski (KLiFN UwB), Roman Matuszewski (KLiFN UwB), Krzysztof Prażmowski (IM UwB), Kazimierz Trzęsicki (PB i KLiFN UwB).