Email Gateway (Aug 19 2022 at 13:56): Email Gateway (Aug 19 2022 at 13:56):From: Moa Johansson <moa.johansson@chalmers.se>
This workshop on Automated Mathematical Theory exploration will be held in on the 18th of July 2014 as part of the Vienna Summer of Logic.
Scope
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. Thus the programme will involve an invited talk, contributions at different levels and possible system demos.
Topics
We invite proposals to give a talk and/or to provide a demo. Topics and demonstrations of interest include all aspects of mathematical theory exploration, especially the invention and discovery steps in the development of mathematical theories, and role of Machine Learning in guiding such processes. This includes, but is not limited to position statements, descriptions of important features, theories of theory exploration, and systems descriptions. We also welcome contributions on the application of theory exploration to other parts of mathematics, computer science and software engineering, as well as to other sciences such as physics and biology.
Submission
Submissions will be accepted based on light reviewing of extended abstracts by a review panel of researchers interested in the area. The extended abstracts will not be archival publications, but will be published online. Accepted submissions will also be disseminated in an informal proceedings which will be available during the workshop.
Please submit extended abstracts and demo proposals by easychair: https://www.easychair.org/login.cgi?conf=automatheo14
We invite submissions in 3 catgories:
• short research paper (up to 8 pages)
• system/tool description (3 pages)
• work in progress abstract (3 pages)
We suggest, but do not require, that you use the easychair style for formatting submissions. This is available from: http://www.easychair.org/easychair.zip
Important Dates
• Submission deadline: Fri 25th April 2014
• Acceptance notification: Tue 20th May 2014
• Final versions of submissions: Tue 27th May 2014
• Workshop: Fri 18th July 2014
Programme Committee
• Jacques Fleuriot (Edinburgh)
• Moa Johansson (Chalmers)
• Alex Kissinger (Oxford) (tbc)
• Katya Komendantskaya (Dundee)
• Roy McCasland (Edinburgh)
• Alison Pease (Dundee)
• Dan Rosen (Chalmers)
• Alan Smaill (Edinburgh)
• Wolfgang Windsteiger (RISC)
Last updated: Apr 26 2024 at 04:17 UTC