Trends in Logic III
International Conference in memoriam A. Mostowski, H. Rasiowa and C. Rauszer
Warsaw, September 23, Ruciane-Nida September 24-25, 2005
Honorary Chairs: Andrzej Ehrenfeucht (Boulder, Colorado), Andrzej Grzegorczyk (Warszawa), Jan Mycielski (Boulder, Colorado), Czeslaw Ryll-Nardzewski (Wroclaw)
Second Announcement
The conference will be held under the auspices of Studia Logica, Fundamenta Informaticae and Polish Association for Logic and Philosophy of Science.
The organizers: Institute of Philosophy and Sociology of the Polish Academy of Sciences (coordination), Institute of Mathematics and Institute of Informatics of Warsaw University, Polish Association for Logic and Philosophy of Science, University of Computer Science and Economics in Olsztyn and University of Information Technology and Management in Rzeszow. Supported by: Faculty of Mathematics of Cardinal Wyszynski University in Warsaw, Polish-Japanese Institute of Information Technology in Warsaw, A. Blikle sp. z o.o.
Invited speakers: Krzysztof APT (Amsterdam and Singapore): Rule-based programming and constraints; Sergei N. ARTEMOV (New York): Explicit knowledge representation in logic and computer science; Wojciech BUSZKOWSKI (Poznan): Boolean logic with types; Walter A. CARNIELLI (Campinas): Modulated quantifiers and their significance; Jon Michael DUNN (Bloomington): Bialynicki-Birula and Rasiowa's Representation of Quasi-Boolean Algebras (De Morgan Lattices) Revisited, with Consideration of Equivalences and Generalizations; Viktor K. FINN (Moscow): Logical Means for Intelligent Systems of JSM-type (in collaboration with O.M. Anshakov and D.W. Vinogradov); Melvin FITTING (New York): FOIL Revisited; Josep Maria FONT (Barcelona): An algebraic approach to non-classical logics; Siegfried GOTTWALD (Leipzig): Axiomatizing Fuzzy Set Theory - A Critical Survey; Andrzej GRZEGORCZYK (Warszawa): Undecidable theories weaker than arithmetic; Petr HAJEK (Praha): Mathematical fuzzy logic - what can one learn from Mostowski and Rasiowa; Ramon JANSANA (Barcelona): Selfextensional Logics with Conjunction; Johann MAKOWSKY (Haifa): 50 years of Generalized Quantifiers; Larisa MAKSIMOWA (Novosibirsk): Interpolation and definability in non-classical logics; Robert K. MEYER (Canberra): Classical Relevantism; Jan MYCIELSKI (Boulder): A physical interpretation of logic and foundations of mathematics; Istvan NEMETI (Budapest): New, unifying perspectives in logic, algebraic logic, and their applications, ideas deriving from Rasiowa, Tarski and the Polish school (in collaboration with Hajnal Andreka); Hiroakira ONO (Nomi): Embeddings - an algebraic view of completeness, cut elimination and finite model property; Grzegorz ROZENBERG (Leiden): Natural Computing and Computing in Nature; Krister SEGERBERG (Uppsala): AGM and KGM: two paradigms in the logic of belief change; Wilfried SIEG (Pittsburgh): Andrzej Mostowski's contributions to the foundations of computability; Dimiter VAKARELOV (Sofia): Non-classical negation in the works of Helena Rasiowa and their impact on the general theory of negation; Misha ZAKHARYASCHEV (Leeds): On logics for metric and topology; Jan ZYGMUNT (Wroclaw): Mostowski's contribution to Tarski's methodology of deductive systems.
Participation: All who plan to participate in the conference are kindly requested to fill the participation form available at the home page www.mimuw.edu.pl/~mrr of the conference at their earliest convenience. The number of places in the conference center is limited!
Call for papers: Contributions motivated by the research of A. Mostowski, H. Rasiowa and C. Rauszer or dedicated to them are invited in the following areas: mathematical logic, foundation of mathematics, mathematical and logical foundations of computer science. Deadline: Please send an extended abstract not exceeding 6 pages (by e-mail in the printable format .pdf) to Viktor Marek marek@cs.uky.edu not later than June 15, 2005. The authors will be notified of acceptance by July 15, 2005. Final versions of contributions are due by August 20, 2005.
Conference fee: (covers transportation by means of the conference bus from Warsaw to Ruciane-Nida on and back, accommodation and meals during the conference, and conference materials): Euro 300 (PLN 1200). The fee for an accompanying person (does not covers conference materials) and for members of the Polish Association for Logic and Philosophy of Science is Euro 150 (PLN 600). Scholars who are not able to get sufficient support from their home sources are encouraged to apply for reduced conference fee by writing to the organizers.
Arrival and departure: The conference bus will leave Warsaw for Ruciane-Nida on September 23 at about 4pm and leave Ruciane-Nida for Warsaw on September 26 at about 9 am. The buses need about 3.5 hr to reach the destination. The participants who plan to travel by car or a public bus (no convenient train from Warsaw is available) are advised to consult the organizers. If you need a hotel either before or after conference, see www.hotele.pl.
How to pay: By transfer to the bank account of IFiS PAN number IBAN: PL 45 1060 0076 0000 4010 5000 1029 SWIFT CODE BPHKPLPK. Do not pay before your participation is confirmed by the organizers.
Whom to contact: Contact please organizational matters. Program chairs: Viktor Marek marek@cs.uky.edu, Andrzej Skowron skowron@mimuw.edu.pl, Ryszard Wojcicki rw@hot.pl Organization: Ms Jola Monikowska-Zygierewicz jolamz@interia.pl
last modfied 11.05.2005; designer and webmaster: Krzysztof Pszczola
