The nominated entrant of each registered system must formally register for CASC using the CADE/IJCAR conference registration system. The registration fee includes the proceedings, an elegant CASC T-shirt, and a great trophy (if you're a winner :-)! If you cannot come to CASC, we'll post you your T-shirt. Associates are encouraged to also formally register for CASC.