Odczyt prof. Dunna

Prof. J.M.Dunn z Indiana University wygłosi odczyt pt.

„A Brief (Biased) History of the Concept of Information”

w Polsko-Japońskiej Wyższej Szkole Technik Komputerowych, Warszawa, ul. Koszykowa 86, 3-10-2003, godz. 12:30, sala senatu

Wszystkich zainteresowanych serdecznie zapraszamy.

Sesja PTLiFN

PTLiFN organizuje seminarium
Logika w Informatyce

24 maja 2003, Polsko-Japońska Szkoła Technik Komputerowych Warszawa, ul. Koszykowa 86

Program seminarium:

10:00-10:40, prof. Leszek Pacholski, Użyteczne rozstrzygalne fragmenty logiki pierwszego rzędu

10:45-11:25, dr hab. Marek Zaionc, Asymptotyczne własności logik zdaniowych, czyli jaką część wszystkich formuł stanowią formuły prawdziwe

11:30-12:10, dr hab. Marian Srebrny, Weryfikacja poprawności protokołów kryptograficznych

12:15-12:55, prof. Wojciech Buszkowski, Funkcje uczące oparte na unifikacji

przerwa na obiad

14:30-15:10, dr hab.Wojciech Penczek, Weryfikacja modelowa dla wielowartościowych logik temporalnych

15:15:16:25, dr hab. Andrzej Szepietowski. Języki z przeplotem

16:30-17:10, prof. Andrzej Salwicki, Logika w informatyce

Seminarium Zakładu Logiki Matematycznej

Seminarium Zakładu Logiki Matematycznej
Piątek, 21 marca, godz. 14:15 sala 5820, Banacha 2, MIMUW
Prof.dr hab. Andrzej Grzegorczyk
Obliczalność i nierozstrzyglaność logiki bez arytmetyzacji.

Wszystkich zainteresowanych zapraszamy.