Logic List Mailing Archive

FOL75 - CONFERENCE ANNOUNCEMENT (fwd)

CONFERENCE ANNOUNCEMENT

FOL75 - Celebrating 75 Years of First Order Logic
September 19-21, 2003, Berlin (DE)
PHILOG in association with Department of Philosophy, Humboldt University

75 years ago Hilbert and Ackerman published their "Grundz?ge der 
Theoretischen Logik" announcing the start of modern mathematical logic. 
PHILOG in association with Humboldt University celebrate 75 years of first
 
order logic by hosting the conference entitled FOL75.

http://www.fol75.philog.ruc.dk

The conference is scheduled to take place at Humboldt University in Berlin,
 
September 19-21, 2003.

Invited Speakers

Hajnal Andreka (Hungary)
George Englebretsen (Canada)
William Ewald (USA)
Jeroen Groenendijk (The Netherlands)
Petr Hajek (Czech Republic)
Jaakko Hintikka (USA)
Wilfrid Hodges (Great Britain)
Istv?n N?meti (Hungary)
Alan Robinson (USA)
Dana Scott (USA)
Valentin Shehtman (Russia)

CORE OF ORGANIZATION
Vincent F. Hendricks (DK)
Fabian Neuhaus (DE)
Stig Andur Pedersen (DK
Uwe Scheffler (DE)
Heinrich Wansing (DE), Chair of Program Committee

PROGRAM COMMITTEE
The Core of Organization and
Johan van Benthem (NL)
Michael Dunn (USA)
Heinz-Dieter Ebbinghaus (DE)
Dov M. Gabbay (GB)
Gabriel Sandu (FI)


CALL FOR PAPERS
Contributions to FOL75 are invited in the form of papers according to the
 
following areas related to 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, 
SchefflerU@philosophie.hu-berlin.de, with the subject line `Submission 
FOL75' accompanied by a covering letter with name and address of author(s))
 
must be em received by March 31, 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 May 31, 2003, and final versions 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.

See additionally

http://www.fol75.philog.ruc.dk/fol75cpapers.html

for more information on submitted papers

------------------------------------------------------------
Vincent F. Hendricks, PHD
Associate Professor of Epistemology, Logic and Methodology
Director of PHILOG
Department of Philosophy and Science Studies
Roskilde University
P.O. Box 260, 4000 Roskilde
Denmark
Phone: (+45) 4674 2343
Fax: (+45) 4674 3012
Cell: (+45) 2857 9437

Pages:
    * http://www.ruc.dk/~vincent
    * http://www.mot.ruc.dk
    * http://www.philog.ruc.dk
    * http://www.mathnet.ruc.dk
    * http://www.phis.ruc.dk
------------------------------------------------------------