Logic List Mailing Archive

[CfP] Foundations of the Formal Sciences (FotFS) III


  [The usual apologies for multiple copies apply: we are sending the
   announcement both to personal e-mail addresses and to mailing lists.
   Please distribute this e-mail to all interested people, in particular
   those satisfying the "young researcher" criterion (e.g., your recent
   PhD students).]

                  PhD EuroConference

                      FotFS III

        Complexity in Mathematics and Computer Science

                   Universitaet Wien
              Institut fuer Formale Logik


              September, 21st to 24th, 2001

"Foundations of the Formal Sciences" (FotFS) is a series of
interdisciplinary conferences in mathematics, philosophy, computer science
and linguistics. The main goal is to reestablish the traditionally strong
links between these areas of research that have been lost in the past

The talks of the conferences will be addressed at a general audience,
but their objective is to teach techniques and methods from the
different parts of the Formal Sciences to researchers from other

FotFS III with the subtitle "Complexity in Mathematics and Computer
Science" will bring speakers together to give a holistic view of the
ramifications of the notion of complexity. The conference is a satellite
meeting of the 15th OeMG-Kongress and the DMV Jahrestagung 2001

The conference will be organized in six sections:

      (A) Descriptive Set Theory and Core Models 
      (B) Topology and Analysis 
      (C) Models of Computation 
      (D) Complexity Classes in Computer Science 
      (E) Algorithms 
      (F) Complexity in Algebra and Universal Algebra 

Each section will have two invited speakers (one hour talks) and three
contributed talks (30 minute talks). The list of invited speakers includes
Petra Berenbrink (Warwick), Joerg Brendle (Kobe), Riccardo Camerlo
(Torino), Lars Engebretsen (Cambridge MA), Martin Grohe (Edinburgh), Joel
David Hamkins (New York NY), Elvira Mayordomo Camara (Zaragoza), Szabolcs
Mikulas (London), Ralf-Dieter Schindler (Wien), Helmut Veith (Wien),
Jindra Zapletal (Gainesville FL)

All talks will be given to a general audience of mathematicians,
logicians, computer scientists, philosophers and linguists. Since we
intend to promote genuinely interdisciplinary joint work, we would like to
have talks that are neither general surveys nor specialized research
announcements, but presentations of problems and techniques.

The ideal talk at FotFS III would describe certain techniques at the level
of understanding of a knowledgeable but not necessarily specialized
researcher, apply the techniques to an illustrative example, and then move
on to list open problems that might possibly be tackled with these

FotFS III is a PhD EuroConference in the European Community program
"Improving Human Research Potential and the Socio-Economic Knowledge Base
- High-Level Scientific Conferences". Therefore the speakers have to
satisfy the "young researcher" criterion of the European Commission.

The European Community defines a young researcher as "a researcher up to
an age limit of 35 years at the time of a particular conference event.
Allowance will be made for compulsory military or civil service (actual
time spent in military or civil service) and childcare (maximum 2 years
per child for the actual time spent off work)."

If you are interested in giving a talk, please help us to check whether
you meet the criteria by providing the following data:

  (a) your name, affiliation and address,
  (b) your country of citizenship,
  (c) your country of permanent residence,
  (d) your date of birth,
  (e) dates of actual time spent in compulsory military or civil service
      as well as time spent off work for childcare,
  (f) the title of your talk,
  (g) the section your talk is supposed to belong to, and
  (h) an abstract of at most 15 lines

to fotfs@math.uni-bonn.de before JUNE 15th, 2001. (Please send all the
data in the text of the e-mail - don't use attachments.)

If you are a citizen of an EU country or of one of the Associated States
(Bulgaria, Cyprus, Czech Republic, Estonia, Hungary, Latvia, Lithuania,
Poland, Romania, Slovakia, Slovenia, Iceland, Liechtenstein, Norway,
Israel, and Switzerland), you can apply for a travel grant partially
reimbursing you for your travel and accommodation expenses and the
conference fee. If you want to apply for one of those travel grants, add
to the above submission the following data (again, don't use attachments):

  (i) an estimate of travel expenses,
  (j) a short CV with a list of publications,
  (k) a brief (about 10 to 25 lines) letter of recommendation by a 
      permanent faculty member of your institution.

You can also check the guidelines for submission and application at


and follow them step by step.

We intend to be able to decide on the acceptance of your talk and your
application for an EU Travel Grant until end of July 2001.

There will be a proceedings volume with refereed papers of the invited
speakers and the contributed talks.

We shall collect a conference fee of ATS 750 (= $ 50) covering material
and other expenses. If you have any questions, feel free to contact the
organizers via


All the very best,

Benedikt Loewe (Bonn)
Boris Piwinger (Vienna)
Thoralf Raesch (Potsdam)