home
program committee
call
important dates
paper submission page
invited speakers
accepted papers
proceedings & journal
coming to CMRSA-IV
maps
previous workshops:
- CMSRA-III
- CMSRA-II
- CMSRA-I
contacts

> > Extended deadline for uploading papers: May 29, 2005.

> > Submission Instructions: First, go to the Paper Submission Website and register your paper. Be sure to include name, contact information, title of the paper, and abstract. All papers must be registered before May 24th. The paper registration system will generate an email with a key to upload your paper and will include instructions for how to upload your paper. You must then upload your paper on or before May 29th. (See the important dates page for all deadlines.)

> > Review policy: All papers will be one-way blind reviewed; authors have the option of formatting their papers without identifying marks to facilitate double-blind reviewing.

> > Formatting: Papers should be written in English and formatted according to the LNCS style, which can be obtained here. Submitted papers may not exceed 14 pages including figures, references, etc. Note that the proceedings will be published locally, not by Springer; authors of accepted papers will have the opportunity to submit for review extended versions of their work for the Journal of Applied Logic special issue.

> > Source files: Authors should submit their papers in pdf or ps format. Note that we may need the LaTeX or Word source files of all accepted papers. If so, we strongly encourage authors to submit LaTeX source files.

> > We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere.