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