LARA

The Action will disseminate

  1. Rich Model Language definition
  2. insights from integrating different automated reasoning approaches
  3. insights into new specialized techniques
  4. tool descriptions
  5. entries in a new online reference
  6. essential technical results in the field of automated reasoning
  7. high-level overviews of the impact of research on the general public.