Trends in Logic III
International Conference in memoriam A. Mostowski, H. Rasiowa and C. Rauszer
Warsaw, September 23, Ruciane-Nida September 24-25, 2005
First Announcement
The conference will be held under the auspices of Studia Logica, Fundamenta Informaticae and Polish Association for Logic and Philosophy of Science.
Conference goals: To gather the former students and collaborators of Andrzej Mostowski, Helena Rasiowa and Cecylia Rauszer, to recall their scientific and methodological heritage, to review the impact of their results on the foundations of mathematics and computer science and to discuss future developments of logic and its applications.
Invited speakers (a few invited speakers have not yet confirmed ultimately their participation): 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): Residuation algebras and applications; Walter A. Carnielli (Campinas): title to be announced; Jon Michael Dunn (Bloomington): title to be announced; Roy Dyckhoff (St Andrews): title to be announced; Victor A. Finn (Moscow): title to be announced; Melvin Fitting (New York): title to be announced; Josep Maria Font (Barcelona): An algebraic approach to non-classical logics; Valentin Goranko (Johanesburg): title to be announced; Siegfried Gottwald (Leipzig): title to be announced; 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): title to be announced; Istvan Nemeti (Budapest): New, unifying perspectives in logic, algebraic logic, and their applications, ideas deriving from Rasiowa, Tarski and the Polish school; Hiroakira Ono (Tatsunokuchi): title to be announced; Grzegorz Rozenberg (Leiden): title to be announced; Andrzej Salwicki (Warsaw): title to be announced; Krister Segerberg (Uppsala): title to be announced, Marek J. Sergot (London): title to be announced; Wilfried Sieg (Pittsburgh): Andrzej Mostowski's contributions to the foundations of computability; Misha Zakharyaschev (Leeds): title to be announced; Jan Zygmunt (Wroclaw): title to be announced.
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 Wiktor 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 from Warsaw to Ruciane-Nida 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.
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.
Opening session, transportation and social events: The opening session of the conference is planned to begin at 2pm on September 23 in Warsaw. At about 4pm the participants will be transported by a conference bus from Warsaw to Ruciane-Nida (3.5 hour trip). The return busses from Ruciane-Nida to Warsaw and Warsaw airports will be available on September 26 - the first one at about 9am. There are two social events planned for 26th: a sightseeing tour and farewell party.
Whom to contact: Contact please Ms Jola Monikowska-Zygierewicz jolamz@interia.pl on all matters concerning the organizational matters. In particular, the organizers will be glad to assist those who wish either to come earlier or to leave Poland later, for instance by booking a non-expensive (about Euro 25) university hostel in Warsaw. The addresses of the Editors of Studia Logica and Fundamenta Informaticae, are respectively: stud@studialogica.org and fundam@mimuw.edu.pl.
You can also download the PDF file to print this First Announcement (in A4 or US letter format).
last modfied 19.03.2005; designer and webmaster: Krzysztof Pszczola
