WelcomeThe CIAO workshop 2010 will be held at the Research Institute for Symbolic Computation (RISC) in Hagenberg near Linz, Austria. We will start with lunch on Tuesday August 3 and end with lunch on Thursday August 5. The meeting is intended to provide a snapshot of research in automating mathematical reasoning, especially in the areas of proof planning, rippling, verification, theory exploration, formalization of mathematical theories and related areas. Given the widening interested in these areas, the CIAO-2010 workshop is inviting participation from groups involved in closely related research.
Participation and TalksIf you plan to attend the CIAO-2010 Workshop, please register for the workshop. If you want to give a talk, send an email to Wolfgang as soon as possible but not later than July 15, 2010, including the title of the talk and a short abstract.