Log Bank

konferencja finansowana przez KBN

13 GRUDNIA, sobota

Przed oficjalnym rozpoczeciem odbedzie sie w godz. 10.00-11.50 w Instytucie Matematyki UwB, ul.Akademicka 2, pokaz Systemu Mizar - zautomatyzowanego systemu dokumentacji matematycznej, wyposazonego w program do kontroli poprawnosci dowodow.

Wydzial Humanistyczny UwB, ul.Liniarskiego 4, sala 47 (parter).

12.30-12.40
- Powitanie Uczestnikow przez prof. Jerzego Kopanię, Prorektora Uniwersytetu w Bialymstoku.
- Zagajenie prof. Ewy Orlowskiej w imieniu Polskiego Towarzystwa Logiki i Filozofii Nauki.

• Sesja I - prowadzi prof. Jerzy Kopania, Prorektor Uniwersytetu w Bialymstoku.

12.40-13.30
Roman Murawski - Wklad Posta w logike matematyczna.

13.30-14.15
Grzegorz Malinowski - Logiki wielowartosciowe Posta.

14.15-15.45: Przerwa obiadowa (mozliwosc obiadu na miejscu, stolowka Wydz. Humanistycznego, ul. Liniarskiego 4).

• Sesja II - prowadzi prof. Ewa Orlowska, Przewodniczaca Polskiego Tow. Logiki i Filozofii Nauki oraz, po przerwie, prof. Leslaw Szczerba, Rektor WSRP w Siedlcach.

15.45-16.30
Witold Marciszewski - Pol wieku projektu inteligentnej maszyny i mechanizacji rozumowan (plan Warsztatow 1998).

16.30-17.15
Piotr Wojtylak - Aksjomatyzowalnosc matryc logicznych.

17.15-17.30: Przerwa.

17.30-18.15
Marcin Mostowski - "Computational Semantics" dla kwantyfikatorow monadycznych.

18.15-19.00
Andrzej Trybulec - Permisywnosc, typy i pewnik wyboru.

20.00: Spotkanie towarzyskie w stolowce Wydz. Humanistycznego, ul. Liniarskiego 4.

---

14 GRUDNIA, niedziela,

Gmach Politechniki Bialostockiej przy ul.Wiejskiej 45A, Aula B (Rektorat).

10.10
- Otwarcie drugiego dnia obrad przez prof. Michala Boltryka, Prorektora Politechniki Bialostockiej.

• Sesja III - prowadzi prof. Wiktor Danko, Dyrektor Instytutu Informatyki PB.

10.15-11.00
Ewa Orlowska - Polskie badania w problematyce logik Posta.

11.00-11.30
Jaroslaw Stepaniuk - Przetwarzanie informacji metoda zbiorow przyblizonych.

11.30-11.45: Przerwa.

11.45-12.30
Zenon Sadowski - O rozwinieciu idei Posta w strukturalnej zlozonosci obliczeniowej.

12.30-13.00
Czeslaw Bylinski - Formalizacja teorii kategorii.

13.00-15.00: Przerwa obiadowa (mozliwosc obiadu w stolowce Wydz. Humanistycznego, ul. Liniarskiego 4).

---

Wydzial Humanistyczny UwB, ul.Liniarskiego 4.

• Sesja IV - prowadzi prof. Krzysztof Prazmowski, Dyrektor Instytutu Matematyki UwB.

15.00-15.30
Wiktor Danko, Jolanta Koszelew - Twierdzenie o odpowiedniosci Posta jako metoda dowodzenia nierozstrzygalnosci w logikach programow probabilistycznych.

15.30-16.00
Jolanta Koszelew - Algorytmy probabilistyczne a lancuchy Markowa.

16.00-16.30
Slavian Radev - Semantyka argumentacyjna w logikach Posta i Lukasiewicza.

16.30 Zamkniecie obrad - prof. Wiktor Danko.

---

Dogodne połączenie: z Dworca Centralnego w Warszawie o 9.12 (przyjazd 11.30). Autobusem nr 10 od dworca w Bialymstoku - dwa przystanki do miejsca obrad. Pociagi powrotne do Warszawy - 17.30, 19.10. Możliwa jest rezerwacja noclegów na 12/13, 13/14 i 14/15 w hotelu Uczelni (15 zł. za dobę). Zgloszenia na adres: Roman Matuszewski, romat@plearn.edu.pl

Dojazd z dworca PKP do Hotelu UwB przy ul.Swierkowej 20 C - autobus nr 10 , wysiasc na ul. Wiejskiej, przy Politechnice Bialostockiej.

Dojazd z Wydz. Humanistycznego do Hotelu UwB przy ul.Swierkowej 20 C - autobusy 3, 16, 10.

Hotel UwB przy ul.Swierkowej 20 C jest w bliskim sasiedztwie Politechniki Bialostockiej (100 m) .

Dojazd z Politechniki Bialostockiej do Wydz. Humanistycznego - autobusy 3, 16, 10.