Logic List Mailing Archive

Conference "75 Years of Predicate Logic"; deadline extended to June 15, 2003

Please note that the deadline for submissions to FOL75

75 years of Predicate Logic, Berlin, September 18 -21, 2003

has been extended to April 30. The new notification date is June 15.  For
information please visit:  
http://www.fol75.philog.ruc.dk/fol75welcome.html

The invited speakers of FOL75 are:

Hajnal Andreka (Hungary) 
George Englebretsen (Canada) 
William Ewald (USA) 
Jeroen Groenendijk (The Netherlands) 
Petr Hajek (Czech Republic) 
Jaakko Hintikka (USA) 
Wilfrid Hodges (UK) 
Istvan Nemeti (Hungary) 
Alan Robinson (USA) 
Dana Scott (USA) 
Martin Stokhof (The Netherlands) 
Valentin Shehtman (Russia) 

CALL FOR PAPERS 

Contributions to FOL75 are invited in the form of papers according to the
following areas related to First-order logic, FOL: FOL and the History of
Logic; Extensions of and Alternatives to FOL; Cognition and Knowledge
Representation; The Unity of Logic and FOL as the lingua franca of the
Formal Sciences; FOL and Ontology, FOL and Natural Language Semantics

Anonymous submissions in terms of extended abstracts of up to 10 pages
(sent preferably in postscript format by e-mail to Prof. Uwe Scheffler,
fol75@philosophie.hu-berlin.de, with the subject line "Submission FOL75"
accompanied by a covering letter with name and address of author(s)) must
be received by April 30, 2003. The abstracts must be written in English
and give enough detail to allow the program committee to assess the merits
of the work. The abstracts should start with a brief statement of the
issues, a summary of the main results, and a statement of their
significance and relevance to the conference. References and comparisons
with related work is also expected. Results must be unpublished and not
submitted for publication elsewhere, including the proceedings of other
symposia, workshops or conferences. One author of each accepted paper will
be expected to attend the conference in order to present it.

Authors will be notified of acceptance by June 15, 2003, and final
versions (in LaTeX2e format) will be due by November 30, 2003.  Authors of
accepted papers will be asked to send a short abstract of two pages for
the conference booklet. The full invited and accepted contributed papers
will appear in a proceedings published by Logos Verlag in Berlin.