FOM: Foundations of the Formal Sciences (FotFS) III

[Stephen G Simpson]

 From: Foundations of the Formal Sciences <fotfs at math.uni-bonn.de>
 Subject: [CfP] REMINDER: Foundations of the Formal Sciences (FotFS) III
 Date: Sat, 2 Jun 2001 01:37:31 +0200 (CEST)


   --- REMINDER : Announcement and Call for Papers ---

   [The usual apologies for multiple copies apply. Please distribute this
    e-mail to all interested people, in particular those satisfying the
    "young researcher" criterion (e.g., your recent PhD graduates). If they
    are also European citizens (see below for a list of countries), we
    might be able to partially pay their travel expenses.]

    -----=====( - - - FotFS III - - - - )=====-----
	 | The deadline for submission of    |
	 | abstracts and applications for    |
	 | reimbursement of travel expenses  |
	 | is in two weeks.                  |
    -----=====( - - - FotFS III - - - - )=====-----

		   PhD EuroConference
	   FOUNDATIONS OF THE FORMAL SCIENCES III

		       FotFS III

	 Complexity in Mathematics and Computer Science


		    Universitaet Wien
	       Institut fuer Formale Logik

	   http://www.math.uni-bonn.de/people/fotfs/III/


	       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
 decades.

 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
 parts.

 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
      (http://www.mat.univie.ac.at/~oemg/Tagungen/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
 techniques.

 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 at 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

  http://www.math.uni-bonn.de/people/fotfs/III/howto.html

 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

			fotfs at math.uni-bonn.de


 All the very best,

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