Proceedings

All workshop participants are invited to submit a paper for the proceedings, to be published in the LNCS series by Springer-Verlag (the CASSIS 2004 proceedings are avilable online as Volume 3362 of LNCS). Topics of interest include, but are not limited to: Speakers are welcome to submit papers that are not directly related to their talks, provided they address issues relevant to the above mentioned topics. Attendants that did not give a talk at the meeting are also welcome to submit a paper. All workshop participants will receive a copy of the proceedings.

Submission guidelines

Contributions will be formally reviewed, for originality, relevance, technical and presentational quality, and relevance to the domain. Submitted papers must not have been published or concurrently considered for publication elsewhere. Contributions should be no more than 20 pages and they should use the LNCS format format.

Please send your submissions in pdf format, accompanied by a plain-text ASCII abstract to cassis05@sophia.inria.fr before June 30, 2005.

Deadlines
June 30th Paper submission
September 15th Notification of acceptance
October 30th Final version

Editors

Gilles Barthe - INRIA Sophia Antipolis

Benjamin Gregoire - INRIA Sophia Antipolis

Marieke Huisman - INRIA Sophia Antipolis

Jean-Louis Lanet - INRIA DirDri