Mirrors: and


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