FOM: [CfP] Colloquium Logicum 2002

[Tagung LC2002]

   -----  ANNOUNCEMENT AND CALL FOR PAPERS  -----

             COLLOQUIUM LOGICUM 2002
         (Biannual Meeting of the DVMLG)
          (Satellite Meeting of LC 2002)

               August 9-11, 2002
               Muenster (Germany)

  http://wwwmath.uni-muenster.de/LC2002/CL2002.html

Scientific Committee:  Justus Diller (Muenster), Peter Koepke (Bonn),
Benedikt Loewe (Bonn), Wolfram Pohlers (Muenster, Chair), Christian Thiel
(Erlangen), Wolfgang Thomas (Aachen), Andreas Weiermann (Muenster)

The Scientific Committee invites contributed papers for presentation at
the CL 2002 from the classical four areas of Mathematical Logic (Model
Theory, Proof Theory, Recursion Theory, Set Theory), from Logic in
Computer Science, from Philosophical Logic, from Logic in Theoretical
Linguistics, and from all other areas of logic both foundational and
applied.

If you want to present a talk, please submit the following data to us
(lc2002ms at math.uni-muenster.de) with the subject line

          TALK AT COLLOQUIUM LOGICUM 2002:

 (1) Your name and affiliation
 (2) An abstract of less than 300 words in plain text with simple LaTeX
     commands
 (3) (optional) the information whether we may schedule your talk at
     Logic Colloquium 2002 in the case of scheduling problems

The deadline for submission of abstracts is

                May 1st, 2002.

(For Eastern European researchers, we offer the possibility of a travel
grant. Please check our website for more information.)