Logic List Mailing Archive

FOL75 (September 2003)

FOL75
       First-Order Logic 75, September 19-21, 2003 

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

       In 1928 Hilbert and Ackerman published their famous Grundzuege der
Theoretischen Logik. In the impressively short book they were able to
cover the propositional calculus, the calculus of classes, the higher
order calculus of relations and most importantly present an axiomatic
system of the first order logic, which altogether may be viewed as the
very starting point of modern mathematical logic. Today, 75 years later,
FOL is a powerful tool and an indispensable companion in a variety of
fields ranging from philosophy over mathematics to computer science,
linguistics and psychology.

       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 10
pages (sent preferably in postscript format by e-mail to 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 received by March 31, 2003. he 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 (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.