FOM: FOL75 - CONFERENCE ANNOUNCEMENT
Vincent Fella Hendricks
vincent at ruc.dk
Tue Sep 3 04:46:29 EDT 2002
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 at 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
------------------------------------------------------------
More information about the FOM
mailing list