Call for Papers

Mathematics, Logic and Computation

A Satellite workshop of ICALP03

4-5 July 2003

Eindhoven, the Netherlands

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: 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

Submissions as well as the final version of accepted papers must be sent by email to Professor Fairouz Kamareddine, email: