Call for Papers
Mathematics, Logic and Computation
A Satellite workshop of ICALP03
4-5 July 2003
Eindhoven, the Netherlands
http://www.cedar-forest.org/forest/events/Bruijn03/
Submitting papers
In addition to the
list of invited lectures, we are soliciting talks based on papers on
all aspects of theory and practice related to the automation,
formalisation and computation of mathematics. Each accepted paper
will be allocated half an hour presentation and will appear in the
informal proceedings of the workshop. Extended versions of the
accepted papers at the workshop, will be fully refereed for
consideration in the special issue of an international journal.
Papers on the following non-inclusive list of topics are welcome:
-
lambda calculus, type theory, logic, rewriting
-
theorem proving, automated reasoning, proof checking, verification of proofs and programs
-
computer mathematics, automating mathematics, checking mathematics
Papers can be up to 15 pages and must describe original work that is
not submitted to another conference or journal. All papers must be in
latex and all submissions must be in postscript or pdf. Accepted
papers will be required in latex at the publishing stage.
Accepted papers will appear as an
ENTCS volume, ISBN 044451290X, Elsevier.
Apart from the electronic version on the web, we also plan
to have a printed hard copy version ready at the workshop.
Important dates
-
19 March: submission deadline of workshop papers.
-
24 April: notification of acceptance for the workshop papers.
-
29 May: revision of accepted paper for inclusion in informal workshop
proceedings. Page limit 20 pages. Guidelines for preparing the papers
for the proceedings can be found at the ENTCS Macro Home Page http://www.math.tulane.edu/~entcs.
Here some more information from the ENTCS editor, Michael Mislove, that may be useful.
-
4-5 July : workshop dates.
Submissions as well as the final version of accepted papers must be sent by email to Professor Fairouz Kamareddine,
email: