The Action will disseminate
- Rich Model Language definition
- insights from integrating different automated reasoning approaches
- insights into new specialized techniques
- tool descriptions
- entries in a new online reference
- essential technical results in the field of automated reasoning
- high-level overviews of the impact of research on the general public.