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