Call For Papers:   
RelMiCS 8 volume edited by I.Duentsch, W.MacCaull and M.Winter.

We wish to invite all the participants of RelMiCS 8 to submit a paper for consideration
for publication in a special conference volume. We have agreement in principle from 
Springer, the publisher for the volumes for the previous 2 RelMiCS conferences to
publish the accepted papers as a volume in the Springer-Verlag Lecture Notes in
Computer Science Series.

The papers will be thoroughly refereed and should not exceed 12 pages in length
(usual LNCS format). All papers must be written in Latex. We will be using the llncs
style file and authors are asked to please not make adjustments to the llncs style in
their paper. Authors whose first language is not English should have their paper 
carefully read by someone whose first language is English before they submit their 
papers.

The deadline for submission is Friday June 3.

Notification of acceptance will be 3 months after the submission deadline; final papers
are due 3 weeks after the date of acceptance. We are hoping to have a quick 
turnaround with Springer to get the volumes out by the end of the year. Each 
submission must clearly indicate the contact author.

Please e-mail submissions to wmaccaul@stfx.ca