Automated mathematical theory exploration is 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.
In this workshop, we want to encourage dissemination of knowledge as well as interaction between researchers. To facilitate this, the programme will start with talks and be followed by demo and tutorial sessions in smaller groups. Participants will experiment with and use the various systems, pose challenge problems, and develop a clear understanding of the available technologies and concepts.
| Submissions: | May 5, 2010 |
| Notification: | June 2, 2010 |
| Event: | July 14, 2010-July 15, 2010 |