SICSA CIAO 2013 Workshop

Date(s) - 23/05/2013 - 24/05/2013
All Day

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

This entry was posted in .