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

Honorary Chairs: Andrzej Ehrenfeucht (Boulder, Colorado), Andrzej
Grzegorczyk (Warszawa), Jan Mycielski (Boulder, Colorado), Czeslaw
Ryll-Nardzewski (Wroclaw)
 
www.mimuw.edu.pl/~mrr

SECOND ANNOUNCEMENT (see also www.StudiaLogica.org/mrr.html)

The conference will be held under the auspices of Studia Logica,
www.studialogica.org, Fundamenta Informaticae, http://fi.mimuw.edu.pl/ 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 Economics and Computer Science in
Olsztyn and University of Information Technology and Management in
Rzeszw.Supported by: Faculty of Mathematics of Cardinal Wyszyns
ki
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