Logic List Mailing Archive
Trends in Logic III (Warsaw, Poland, September 2005)
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,
(http://www.studialogica.org), Fundamenta Informaticae (http://fi.mimuw.edu.pl/)
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 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): title to be announced;
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.