Gorąca prośba

Szanowni Państwo,

Grób Profesora Jerzego Słupeckiego jest w bardzo złym stanie i wymaga natychmiastowego remontu. Nie ma też na nim żadnej płyty nagrobnej. Profesor nie miał w Polsce żadnej rodziny. Sprawą renowacji, oraz płyty nagrobnej, zajęła się pani profesor Urszula Wybraniec-Skardowska. Potrzebne są jednak pieniądze. Dlatego zwracam sie do Państwa – członków Polskiego Towarzystwa Logiki i Filozofii Nauki z gorącą prośbą o wsparcie finansowe. Pieniądze wpłacać można na podane poniżej konto pani prof. Wybraniec-Skardowskiej (ktore łaskawie udostępniła) z dopiskiem „Na grób Profesora Słupeckiego”. Numer konta jest nastepujący:

Bank PKO S.A.
I O w Opolu
51 1240 1633 1111 0000 2616 8915

Żywię głęboką nadzieję, że członkowie Towarzystwa nie pozostaną obojętni i wspomogą opisane przedsięwzięcie. Tym bardziej, że w styczniu 2007 przypada 20-ta rocznica śmierci Profesora.

Roman Murawski

Prezes PTLiFN

 

umowa

nagrobek

Podziękowania

Walne Zgromadzenie Członków PTLiFN

Dnia 28 stycznia odbyło się Walne Zgromadzenie Członków PTLiFN.

Sprawozdanie  z działalności PTLiFN w latach 2003-2005.

Sprawozdanie finansowe za okres 2003-2005.

Zgromadzeni Wybrali nowe władze Towarzystwa. Prezesem Zarządu w nowej kadencji 2006-2008 został prof. Roman Murawski z Poznania.

Protokół z Walnego Zgromadzenia.

Walne Zgromadzenie Członków PTLiFN

Dnia 28 stycznia 2006 odbędzie się Walne Zgromadzenie Członków PTLiFN.

Miejce spotkania: Warszawa, Wydział Matematyki Informatyki i Mechaniki UW, ul. Banacha 2 sala 2180.

Program spotkania:

I Wyklady

  • 11:30 – 12:10 „O logice Algorytmicznej”, prof. dr hab. Andrzej Salwicki
  • 12:20 – 13:00 „Wyrażalność w skończonych arytmetykach” dr hab. Marcin Mostowski
  • Przerwa na krótki posiłek do 13:30.

II Wybory

  • 13:30- Sprawozdanie z działalności i sprawozdanie finansowe ustępującego Zarządu, G. Mirkowska, M.Kacprzak.
  • Stanowisko Komisji Rewizyjnej i Rady w sprawie absolutorium dla ustępującego Zarządu.
  • Wybory władz nowej kadencji 2006-2009 (wybory Prezesa, członków Zarządu, Komisji Rewizyjnej i Rady).
  • Wystąpienie nowego Prezesa PTLiFN.

Serdecznie zapraszam do udziału w spotkaniu.

Grażyna Mirkowska

Sesja PTLiFN

W sobotę, 10 grudnia 2005 odbędzie się spotkanie członków PTLiFN.

PROGRAM

11:15-12:15, dr Wiktor Bartol, O paradoksach dedukcji,
12:15-12:30 przerwa na kawę

Dyskusja na temat programów i problemów w nauczaniu logiki:
12:30-13:10, prof. Jerzy Pogonowski, Uniwersytecki kurs logiki – fantazje i możliwosci.
13:15-13:35, prof. Ewa Żarnecka, „E-LOGIKA” i „T-LOGIKA” a przyszłość logiki szkolnej.
13:35-14:00, dr Katarzyna Paprzycka, Czego można się nauczyć ucząc logiki on-line?
14:05-14:15 dr Marek Lechniak, Kilka uwag o nauczaniu Logiki
14:15-14:30 c.d. dyskusji
14:30-15:00 przerwa na posiłek w „Kubusiu”
15:00-15:10 Ogłoszenie wyników Konursu na najlepszą pracę z Logiki i jej zastosowań, wręczenie nagród
Krótkie wystąpienia nagrodzonych.
15:15-15:35 mgr Rafał Urbaniak, On Ontological Functors of Leśniewski’s Ontology
15:40-16:00 mgr Małgorzata Maciejewska, Kraty podwójne we wnioskowaniach aproksymacyjnych.

Spotkanie odbędzie się na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego, ul. Banacha 2 (wejście od ul. Pasteura) sala 5440.
Dojazd z Dworca Centralnego dowolnym tramwajem w kierunku Okęcia (ok 15 minut) do ulicy Banacha. Następnie pieszo, ok 7 minut.
mapka

Wszystkich zainteresowanych serdecznie zapraszamy!

Grażyna Mirkowska

Jubileusz prof. Marciszewskiego

JUBILEUSZ!

Profesor WITOLD MARCISZEWSKI obchodzi własnie jubileusz 75lecia.

Składamy mu wszyscy najserdeczniejsze życzenia zdrowia i dalszych sukcesów w pracy naukowej i dydaktycznej.

List gratulacyjny

Sesja PTLiFN

Polskie Towarzystwo Logiki i Filozofii Nauki organizuje wiosenne spotkanie członków i sympatyków Towarzystwa. Tematem spotkania będzie

Logika w Informatyce.

Spotkanie odbędzie się 21-go maja 2005 w Warszawie, ul. Koszykowa 86, w budynku Polsko-Japońskiej Wyższej Szkoły Technik Komputerowych (3p. Sala Senatu).

Program spotkania:

11:30 prof. L. Polkowski (PJWSTK), „Zbliżając się do drzewa wiadomości dobrego i złego: Ontologiczne aspekty matematyki i informatyki.”
12:20 prof. D. Niwinski (UW), ” O rozstrzyganiu teorii drzew”.
13:10 dr A. Trybulec (UwB), ” Co nowego w Mizarze?”.
W przerwach kawa, herbata i interesujące dyskusje.
Wszystkich zainteresowanych serdecznie zapraszamy do udziału w tym spotkaniu.

W imieniu Zarządu PTLiFN

Grażyna Mirkowska

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