Joint registration with the CAV'05 conference is possible but is not required. Refer to the CAV'05 web site for registration instructions and deadlines.
Each participant will receive preliminary workshop proceedings. Post-workshop LNCS proceedings will be send a couple of month after the event to participants.