The accepted CASC'2005 papers will be published in the Springer-Verlag series Lecture Notes in
Computer Science, LNCS, http://www.springeronline.com/lncs
and available at the conference.
Paper submission will be handled in Munich, http://wwwmayr.in.tum.de/CASC2005/
LNCS 3718 is now available online.
You can find information about it at
LNCS 3718
or access the online version at
on-line version
For more information please send e-mail to
casc2005@in.tum.de
