Theory exploration means the development of mathematical axioms, definitions, conjectures,
theorems, examples and inference procedures as needed to cover the essential concepts
and analysis tasks of mathematical and other application domains. The automation and
mechanisation of these capabilities are much sought after in areas such as software
verification, the analysis of computer systems, formalised mathematics and indeed
mathematical research.
The aim of the workshop is to bring together researchers with interests in any aspects
of this area, including domain-specific formalisations, tool and theory development,
and general-purpose frameworks for the structuring of theories and their maintenance.

Research and tool papers must be unpublished and not submitted for publication
elsewhere. Extended abstracts are intended to discuss ideas and work in progress.
All papers will be reviewed by the programme committee.

Submissions must be in PDF using the LaTeX EasyChair-format
http://www.easychair.org/easychair.zip. One
author of each accepted submission is expected to present the paper at
the conference. Associated systems demos are encouraged, where
appropriate.

ATE (International Workshop on Automated Theory Engineering)
focuses on the development and mechanisation of mathematical axioms, definitions,
theorems and inference procedures as needed to cover the essential concepts and analysis tasks
of an application domain. This is essential for the qualitative and quantitative modelling and
analysis of computing systems. The aim is to present users with lightweight domain specific
modelling languages, and to devolve the technical intricacies of analysis tasks as far as
possible to tools that provide heavyweight automation.
The workshop brings together tool and theory developers with industrial engineers to
exchange experiences and ideas that stimulate further tool developments and theory designs.
A main goal is the creation of a repository of case studies that allows developers to test
and improve their theories and tools.

Automatheo (Workshop on Automated Mathematical Theory Exploration)
aims to highlight the area of mathematical theory exploration, an exciting emerging
research topic for mathematicians, developers of formalised
mathematics, and those working on verified software. This topic
concerns the theory and practice of developing software systems that
support the automated development of mathematical theories, including
the invention of definitions, theorems, conjectures, problems,
examples and algorithms. The workshop aims to highlight the research
area and foster collaboration amongst those working in software
verification, formalised mathematics, and mathematical research, as
well as help provide a shared understanding of the theory and tools
for automated invention and discovery of mathematical theories.