Odczyt prof. Jarvinena

Dr Jouni Jarvinen z Uniwersytetu w Turku (Finlandia) wygłosi odczyt pt.

LATTICES of ROUGH SETS.

Wykład odbędzie się we środę 17 grudnia 2003 o godzinie 12 w sali 753 Instytutu Łączności w Warszawie.

Adres Instytutu: ul. Szachowa 1, Warszawa-Miedzeszyn. Dojazd do Instytutu Łączności autobusem 521 z przystanku przy Grójeckiej koło Banacha, lub z przystanków w Alejach Jerozolimskich (koło hotelu Mariott naprzeciw dworca Warszawa Centralna lub koło hotelu Forum) do przystanku Szachowa, który jest na wysokości stacji Warszawa-Miedzeszyn. Na rogu Szachowej i Patriotów, którą jedzie autobus, jest tablica informacyjna Instytutu. Czas jazdy autobusem około 40-50 min. Można także do Instytutu dojechać pociągiem podmiejskim z dworca Warszawa Sródmieście w kierunku wschodnim do stacji Warszawa-Miedzeszyn. Gospodarzem spotkania jest prof. Ewa Orłowska.

Wszystkich zainteresowanych serdecznie zapraszamy.

Konferencja w stulecie urodzin von Neumanna

Konferencja w stulecie urodzin von Neumanna

VI Warsztaty Logiki, Informatyki i Filozofii Nauki
Zakopane, 30 listopad – 5 grudzień 2003.

Konferencja jest poświęcona wynikom von Neumanna w logice, informatyce i metodologii nauk społecznych

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.