Secondary objectives include:
- increasing the coherence, visibility, and competitiveness of automated reasoning research;
- assessing the potential for industry standards that certify the added value of computer systems developed using automated reasoning technology.