Call for Papers

               Beyond First Order

     Workshop on Extensions of First Order Logic

       Zakopane, Poland, September 23 – 28 1996

Topics:

The workshop aims at stimulating research activities on extensions
of first order logic, especially those concerned with finite and
pseudofinite models. Typical, but not exclusive, topics of interest are

- Classification and decidability in higher order logic
– Generalized quantifiers on finite and pseudofinite structures
– Problems of complexity and definability

Submissions

The scientific programme will include presentations of the accepted
papers and discussion sessions. Authors are invited to send three
copies of their manuscripts to Beyond96 at Warsaw University, at the
address mentioned below. Papers must be written and presented in English.

Programme Committee

Z. Adamowicz (Warsaw), J. W. Degen (Erlangen, chair), J. Flum (Freiburg),
L. Hella (Helsinki), H. Herre (Leipzig), M. Krynicki (Warsaw),
K. Leeb (Erlangen), M. Mostowski (Warsaw), P. Zbierski (Warsaw)

Organizing Committee

Z. Adamowicz (Warsaw), M. Krynicki (Warsaw), K. Misiuna
M. Mostowski (Warsaw, chair), P. Zbierski (Warsaw)

Information/Correspondence:

by email : beyon…@plearn.bitnet
surface mail : Beyond96, Krystyna Misiuna

               Uniwersytet Warszawski
               Instytut Filozofii
               Krakowskie Przedmiescie 3
               00-047 Warszawa
               Poland

Important Dates:

Deadline for submissions: April 15, 1996
Notification of acception/rejection: Juli 1, 1996
Workshop: September 23 – 28 , 1996