Date/Time
Date(s) - 23/05/2013 - 24/05/2013
All Day
Location
Tiree Rural Centre
The CIAO workshop is intended to provide a snapshot of research into automating mathematical reasoning, especially in the areas of proof planning, rippling, verification and related areas. The CIAO-2013 workshop is inviting participation from groups involved in closely related research.
More details at CIAO Workshop Web Site or register at CIAO Workshop Registration