From orlowska@itl.waw.pl Thu Jan 6 10:42:20 2000 Date: Wed, 05 Jan 2000 15:38:15 +0100 From: Ewa Orlowska To: PTLiFN Subject: sprawozdanie z dzialalnosci PTLiFN 1997-1999 SPRAWOZDANIE Z DZIALANOSCI POLSKIEGO TOWARZYSTWA LOGIKI I FILOZOFII NAUKI Sprawozdanie niniejsze obejmuje lata 1997-1999, to jest okres wladz drugiej kadencji. Zarzad skladal sie z nastepujacych osob: Ewa Orlowska - Prezes, Max Urchs - wiceprezes, Kazimierz Swirydowicz - sekretarz, Jacek Malinowski - skarbnik. Wojciech Buszkowski - byly Prezes Dzialanosc Towarzystwa koncentrowala sie glownie na organizowaniu sesji, sympozjow i innych imprez naukowych -- zarowno samodzielnie, jak i we wspolpracy z innymi instytucjami. Warto podkreslic, ze imprezy takie organizowal czy wspolorganizowal nie tylko Zarzad, ale takze poszczegolni czlonkowie czy grupy czlonkow Towarzystwa. ================================================================== W 1997 roku zorganizowane zostaly nastepujace imprezy. KONFERENCJE, SESJE SESJA NAUKOWA POLSKIEGO TOWARZYSTWA LOGIKI I FILOZOFII NAUKI 14 listopada 1997, Osrodek Konferencyjny Instytutu Lacznosci, Warszawa-Miedzeszyn Referentami byli: Wendy MacCaull, Department of Mathematics, St. Francis Xavier University, Antigonish, Kanada Wojciech Buszkowski, Instytut Matematyki, Uniwersytet Adama Mickiewicza, Poznan Grzegorz Malinowski, Zaklad Logiki, Uniwersytet Lodzki Andrzej Szalas, Instytut Informatyki, Uniwersytet Warszawski John Cantwell, Department of Philosophy, Uppsala University, Szwecja ------------------------------------------------------------------ SYMPOZJUM BIALOSTOCKIE Wzajemne oddzialywanie informatyki i logiki. Sympozjum w stulecie urodzin Posta 13-15 grudnia 1997, Bialystok Referaty wyglosili: Roman Murawski, Grzegorz Malinowski, Witold Marciszewski, Piotr Wojtylak, Marcin Mostowski, Andrzej Trybulec, Ewa Orlowska, Jaroslaw Stepaniuk, Zenon Sadowski, Czeslaw Bylinski, Wiktor Danko i Jolanta Koszlew, Jolanta Koszlew, Slavian Radev, ----------------------------------------------------------------- KONFERENCJA ZASTOSOWANIA LOGIKI W FILOZOFII I PODSTAWACH MATEMATYKI, II 24-27 kwietnia 1997, Karpacz Odbyly sie trzy cykle referatow o charakterze szkoleniowym: Mieczyslaw Omyla, Jerzy Perzanowski, Tomasz Skura, oraz wygloszonych zostalo kilkanascie referatow konferencyjnych. ----------------------------------------------------------------- SEMINARIUM 12 czerwca 1997 odbylo sie semnarium wspolne z Polskim Towarzystwem Matematycznym. Referat wyglosil John Addison, Dept. of Mathematics, University of California at Berkeley, USA. Tytul: 'Selfdual quantifiers: A unifying theme in mathematics and logic'. ----------------------------------------------------------------- WARSZTATY LOGICZNO-FILOZOFICZNE Tradycyjnie juz odbyly sie organizowane przez srodowisko torunskie warsztaty III Polskie Warsztaty Logiczno-Filozoficzne, 2-6 wrzesnia 1997, Gorzno Udzial wzielo ponad 40 osob. ------------------------------------------------------------------ WYKLADY 12 czerwca 1997 prof. Mark Brown (Syracuse University, USA) wyglosil w Poznaniu (Wydzial Matematyki i Informatyki) wyklad 'Modal Logic as Experimental Philosophy'. Wyklad odbyl sie pod auspicjami PTLiFN. ------------------------------------------------------------------ Srodowisko torunskie prowadzi pod auspicjami Towarzystwa konwersatorium: Logika, jej podstawy i zastosowania W roku 1997 wyglosili wyklady: Jerzy Perzanowski, Hiroakira Ono, Andrzej Indrzejczak, Kathe Trettin, Mark Brown, Jan Srzednicki, =================================================================== INNE INFORMACJE W 1997 roku donosilismy: Od 1997 elektroniczny biuletyn Mathesis Universalis ukazuje sie pod auspicjami PTLiFN http://www.calculemus.org/MathUniversalis/index.html Wydawany wspólnie z Katedrą Logiki, Informatyki i Filozofii Nauki Uniwersytetu w Białymstoku. Do prof. Wesley Salmona, prezydenta International Union of History and Philosophy of Science skierowane zostalo wystapienie o przyjecie Towarzystwa w poczet czlonkow Unii. Czekamy na odpowiedz (patrz na koniec sprawozdania z roku 1999). Do Multiple-Valued Logic Technical Committee of the IEEE Computer Society skierowana zostala propozycja zorganizowania w Polsce, w Lodzi, w 2001 roku 31st International Symposium on Multiple-Valued Logic (patrz tamze). Profesorowi Lotfi Zadeh Towarzytwo przeslalo gratulacje z okazji nadania mu honorowego doktoratu przez Politechnike Slaska. Profesorowi Boguslawowi Wolniewiczowi Towarzystwo przeslalo gratulacje i zyczenia z okazji siedemdziesiatej rocznicy urodzin. Do rektora State University of Campinas Towarzystwo wystosowalo list, udzielajacy poparcia tamtejszemu zespolowi logiki UNICAMP Logic Group (szef Walter Carnielli), ktoremu grozila likwidacja. Przybylo nam w 1997 roku okolo 70 nowych czlonkow. ================================================================== ROK 1998 ================================================================== II NIEMIECKO-POLSKIE WARSZTTATY Z LOGIKI I FILOZOFII LOGICZNEJ 30 marca - 2 kwietnia 1998, Zagan Organizatorem byl Instytut Filozofii Wyzszej Szkoly Pedagogicznej w Zielonej Gorze; wspolorganizatorem ze strony niemieckiej byl Instytut Logiki i Teorii Nauki Uniwersytetu Lipskiego. W sklad komitetu organizacyjnego wchodzili: Siegfied Gottwald (Lipsk), Robert Leszko (Zielona Gora), Max Urchs (Torun/Konstancja), Heinrich Wansing (Lipsk) i Andrzej Wisniewski (Zielona Gora). "Warsztaty" odbywaly sie pod auspicjami Polskiego Towarzystwa Logiki i Filozofii Nauki oraz Gesellschaft fuer Analytische Philosophie. Zaproszonymi wykladowcami, byli: Wilfrid Hodges (London), Jerzy Perzanowski (Torun), Wolfgang Rautenberg (Berlin) oraz Jan Wolenski (Krakow). Referaty wyglosili: Wojciech Buszkowski (Poznan), Anna Gomolinska (Bialystok), Siegfried Gottwald (Leipzig), Adam Grobler (Zielona Gora), Andrzej Indrzejczak (Lodz), Thomas Mormann (Munchen), Marek Nasieniewski (Torun), Fabrice Pataut (Paris), Uwe Petermann (Leipzig), Marek Rosiak (Lodz), Burkhard Schaefer (Edinburgh), Yaroslaw Shramko (Berlin), Dirk Ullrich (Berlin), Mariusz Urbanski (Zielona Gora) Max Urchs (Torun/Konstanz), Heinrich Wansing (Leipzig), Andrzej Wisniewski (Zielona Gora), Frank Wolter (Leipzig), Wojciech Zelaniec (Zielona Gora), -------------------------------------------------------------- SESJA NAUKOWA POLSKIEGO TOWARZYSTWA LOGIKI I FILOZOFII NAUKI 8 kwietnia 1998, Osrodek Konferencyjny Instytutu Lacznosci, Warszawa-Miedzeszyn Tematyka sesji zwiazana byla z europejskim projektem COST nr 15 pt. 'Many-Valued Logics for Computer Science Applications', w ktorym Polska jest jednym z partnerow. Udzial wzieli: Viorica Sofronie-Stokkermans (Max-Planck Institute for Computer Science University of Saar) Beata Konikowska (Instytut Podstaw Informatyki PAN) Karel Stokkermans (Institute for Computer Science University of Salzburg) Reiner Haehnle (Institute for Logic, Complexity and Deduction Systems University of Karlsruhe) Michal Krynicki (Wydzial Matematyki, Uniwersytet Warszawski) i Marcin Mostowski (Wydzial Filozofii, Uniwersytet Warszawski) -referat wspolny. ------------------------------------------------------------- KONFERENCJA ZASTOSOWANIA LOGIKI W FILOZOFII I PODSTAWACH MATEMATYKI, III Karpacz, 6 -- 10 maja 1998 Organizatorami konferencji, odbywajacej sie pod auspicjami Polskiego Towarzystwa Logiki i Filozofii Nauk, byly Katedra Logiki i Metodologii Nauk Uniwersytetu Wroclawskiego, Instytut Matematyki Uniwersytetu Opolskiego i Instytut Matematyki Uniwersytetu Slaskiego, a osobami organizujacymi byli: Janusz Czelakowski Piotr Wojtylak Jan Zygmunt Udzial wzieli: Katarzyna Slomczynska, Janusz Czelakowski, Jerzy Pogonowski, Anna Gomolinska, Adam Kolany Tomasz Jordan, Zofia Kostrzycka, Jan Zygmunt, Jacek Hawranek, Andrzej Wronski, Pawel Idziak, Marek Magdziak, Tomasz Polacik, Tomasz Furmanowski, Grzegorz Malinowski, Piotr Wojtylak, Wojciech Dzik. ----------------------------------------------------------- STANISLAW JASKOWSKI MEMORIAL SYMPOSIUM "Parainconsistent Logic, Logical Philosophy, Mathematics & Informatics" Konferencja odbyla sie w Toruniu w dniach 15 - 18 lipca, 1998 Konferencje otwarlo wreczenie medalu Uniwersytetu Mikolaja Kopernika. Medal otrzymal klasyk logik parakonsystentnych Professor Newton C. A. da Costa (reprezentowala go prof. Itala M. Loffredo D'Ottaviano) Odczytano poslanie: Newton C. A. Da Costa: Paraconsistent Logic Referaty plenarne wyglosili: D. Mundici, D. Batens, I. Loffredo D'Ottaviano, H. Ono, A. Wronski, M. Urchs, W. Suchon, L. Farinas del Cerro, K. Segerberg, R. Meyer - C. Mortensen, J. Perzanowski, Refreraty w sekcjach przedstawili: V. Navrotsky, G. Malinowski, J.- Y. Beziau (referat wspolny), D. Alves M. Bremerrted, A. Pietryga, J. Tedziagolska, E. Shulga, A. Buchsbaum - T. Pequeno (referat wspolny) Yu. Ivlev, A. Karpenko, K. De Clercq, G. Vanackere J. Meheus, R. Jennings - D. Serenac 9referat wspolny), K Swirydowicz, A. Avron, T. Skura, F. Paoli, T. Kowalski, V. Odintsov, K. Palasinska. S. Lindström - W. Rabinowicz (referat wspolny), Y. Shramko A. Gomolinska, R. Sliwinski, T. Klaus S. Akama, B. Morawska, D. Faust E. Zarnecka-Bialy, B. Kusnierz, Y. Fujita, L. De Moraes - J. M. Abe (referat wspolny) V. Vasyukov, S. Tomoki - T. Waragai (referat wspolny) C. Oller, V. Popov, M. G. Barreto, N. F. Ebecken, A. A. Clemente W. Carnielli, S. de Amo, K. Nakamatsu L. Pujatti - J. M. Abe (referat wspolny), U. Petermann Sesje zakonczyl wyklad prof. J. Perzanowskiego. Dodac nalezy, ze jedna z sesji (i garden party) odbyla sie w obserwatorium astronomicznym (i radioastronomicznym) w Piwnicach pod Toruniem. Konferencja ta byla w 1998 roku niewatpliwie najwieksza impreza, ktora sie odbyla pod auspicjami naszego Towarzystwa. -------------------------------------------------------------------- Pod auspicjami Polskiego Towarzystwa Logiki i Filozofii Nauki Katedra Logiki, Informatyki i Filozofii Nauki Uniwersytetu w Bialymstoku zorganizowala II Warsztaty Logiki, Informatyki i Filozofii Nauki MASZYNA TURINGA I MECHANIZACJA ROZUMOWAN w polwiecze raportu Alana M. Turinga "Intelligent Machinery" - 1948 Zakopane, 27.X - 1.XI, 1998 PROGRAM WARSZTATOW obejmowal dwie serie wykladowo-konwersatoryjne. Roman Murawski, Instytut Matematyki UAM "Funkcje rekurencyjne a maszyna Turinga". Marek Zaionc, Instytut Informatyki UJ "Maszyna Turinga i teza Churcha". --------------------------------------------------------------------------- SESJA NAUKOWA POLSKIEGO TOWARZYSTWA LOGIKI I FILOZOFII NAUKI POSWIECONA PAMIECI PROF. JERZEGO LOSIA 4 grudnia 1998, Osrodek Konferencyjny Instytutu Lacznosci, Warszawa-Miedzeszyn Referaty wyglosili: Zdzislaw Pawlak oraz Piotr Dembinski (Institute of Computer Science of the Polish Academy of Sciences), Ryszard Wojcicki (Institute of Philosophy and Sociology of the Polish Academy of Sciences), Grazyna Mirkowska (Technical University of Bialystok) Andrzej Wieczorek (Institute of Computer Science of the Polish Academy of Sciences), Heinrich Wansing (University of Leipzig, Institute of Logic and Philosophy of Science), Anita Wasilewska (State University of New York) (Praca wspolna z Laurent Vigneron, Universite Nancy 2 & LORIA, Nancy, France) Val Goranko (Department of Mathematics, Rand Afrikaans University Johannesburg, South Africa) Antoni Mazurkiewicz (Institute of Computer Science of the Polish Academy of Sciences). ================================================================ ROK 1999 ==================================================================== Pod auspicjami PTLiFN odbyly sie w roku 1999 nastepujace imprezy SESJA POLSKIEGO TOWARZYSTWA LOGIKI I FILOZOFII NAUKI 15 lutego 1999, Warszawa, Centrum Matematyczne im S. Banacha. Udzial wzieli: Krister Segerberg, Department of Philosophy, University of Uppsala, Rysiek Sliwinski, Department of Philosophy, University of Uppsala, Beata Konikowska, Institute of Computer Science of the Polish Academy of Sciences, Warsaw (praca wspolna z Marcinem Bialasikiem) Witold Lukaszewicz, Institute of Informatics, University of Warsaw (praca wspolna z Patrickiem Doherty i Ewa Madalinska-Bugaj) Anna Radzikowska, Institute of Mathematics, Technical University of Warsaw, =================================================================== KONFERENCJA ZASTOSOWANIA LOGIKI W FILOZOFII I PODSTAWACH MATEMATYKI, IV 21 -- 25 kwietnia 1999, Karpacz Organizatorami konferencji byly Katedra Logiki i Metodologii Nauk Uniwersytetu Wroclawskiego, Instytut Matematyki Uniwersytetu Opolskiego i Instytut Matematyki Uniwersytetu Slaskiego. Konferencja przeprowadzona byla pod auspicjami Polskiego Towarzystwa Logiki i Filozofii Nauki. Glownym jej wydarzeniem byla specjalna sesja poswiecona tworczosci naukowej TADEUSZA PRUCNALA (1939-1998) W konferencji udzial wzieli: Roman Murawski, Cezary Gorzka, Adam Kolany, Arkadiusz Drukier, Zdzislaw Kosztolowicz, Marek Tokarz, Ryszard Wojcicki, Jerzy Perzanowski. Jerzy Kotas, Wolfgang Rautenberg, Wlodzimierz Wasiukow Urszula Wybraniec Skardowska, Edward Bryniarski, Marek Chuchro (referat laczny) Krystyna Mruczek, Malgorzata Dobrowolska, Mariusz Urbanski, Marcin Selinger, Boleslaw Mikolajewicz, Jacek Malinowski. ---------------------------------------------------------------------- Osobna czescia konferencji byla sesja ku czci T. Prucnala. W Sesji Prucnalowskiej udzial wzieli Grzegorz Bryll, Wojciech Dzik, Andrzej Wronski Kazimiera Dyrda, Wojciech Buszkowski, Lucyna Zurawska, Janusz Czelakowski i Jacek Hawranek. ======================================================================= SESJA POLSKIEGO TOWARZYSTWA LOGIKI I FILOZOFII NAUKI W RMAMCH KOMGRESU LMPS sierpien 1999, Krakow Udzial wzieli: Witold Marciszewski, Zofia Adamowicz (referat wspolny z P. Zbierskim) Anna Gomolinska, Wojciech Buszkowski, Michal Krynicki, Damian Niwinski (referat wspolny z Andre Arnoldem) Grzegorz Malinowski, Jan Wolenski ==================================================================== III Warsztaty Logiki, Informatyki i Filozofii Nauki organizowane przez Polskie Towarzystwo Logiki i Filozofii Nauki oraz Katedre Logiki, Informatyki i Filozofii Nauki Uniwersytetu w Bialymstoku HILBERT I ZAGADNIENIE ROZSTRZYGALNOSCI Czesc Pierwsza, 26-30.IX '99, Zakopane Wyklady wyglosili: R.Murawski, W.Marciszewski, A Grzegorczyk, A. Zalewska, A. Trybulec, A.Kolany i in. Głownym wykładowcą był prof. Andrzej Grzegorczyk. Czesc Druga jest planowana na rok 2000, w stulecie ogloszenia Problemow Hilberta. =================================================================== SESJA POLSKIEGO TOWARZYSTWA LOGIKI I FILOZOFII NAUKI DEDYKOWANA PAMIECI PROFESORA ANDRZEJA MOSTOWSKIEGO I PROFESOR HELENY RASIOWEJ 26 listopada 1999, Osrodek Konferencyjny Instytutu Lacznosci, Warszawa-Miedzeszyn. Referaty wyglosili: Wilfrid Hodges, Imperial College, London Andrzej Salwicki, Technical University of Bialystok Leszek Pacholski Institute of Computer Science, University of Wroclaw Henryk Kotlarski, Mathematical Institute of the Polish Academy of Sciences, Warsaw Zofia Adamowicz, Mathematical Institute of the Polish Academy of Sciences i Pawel Zbierski, Department of Mathematics of the University of Warsaw Francesc Esteva, University of Barcelona Etienne Kerre, University of Gent, Wojciech Guzicki, Department of Mathematics, University of Warsaw ====================================================================== Jedna z najwazniejszych wiadomosci (cytujemy w oryginale list, wyslany poczta elektroniczna przez Ewe Orlowska do czlonkow naszego Towarzystwa): Kolezanki i Koledzy, Podczas posiedzenia General Assembly of the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science, ktore mialo miejsce w Krakowie 23 sierpnia 1999 (podczas Kongresu LMPS) nasze Towarzystwo zostalo przyjete na czlonka Division of Logic, Methodology and Philosophy of Science. Na tym samym posiedzeniu wybrany zostal nowy Zarzad i Rada (Council) IUHPS/DLMPS: Michael Rabin, prezydent Graham Priest, pierwszy wiceprezydent Deborah Mayo, drugi wiceprezydent Dag Westerstahl, sekretarz Ulf Schmerl, skarbnik Wesley Salmon, poprzedni prezydent Asesorzy: Soshichi Uchii (Japonia), Xavier Caicedo (Kolumbia), Laszlo Szabo (Wegry), Roberto Cignoli (Argentyna), Ewa Orlowska (Polska), Alexander Razborov (Rosja), Peter Lipton (Wielka Brytania). 12 Kongres LMPS odbedzie sie w Oviedo, Hiszpania, w 2003 roku. =================================================================== Informujemy, ze zostala zrealizowana inicjatywa PTLiFN, by Towarzystwo nasze mialo swoja strone w Internecie. Adres strony: http//www.calculemus.org/pol-log/index.html Strone przygotowal i redaguje prof. W. Marciszewski, przy wsparciu Fundacji na rzecz Informatyki, Logiki i Matematyki. ====================================================================== IEEE Technical Committee of Multiple Valued Logic zaakceptowal inicjatywe PTLiFN zorganizowania 31'th International Symposium on Multiple Valued Logic w 2001 w Polsce. Sympozjum odbedzie sie w Warszawie w koncu maja. Glownym organizatorem bedzie Instytut Podstaw Informatyki PAN. ======================================================================= -- Ewa Orlowska Institute of Telecommunications ul. Szachowa 1 04-894 Warsaw, Poland