[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS, TALKS, and SYSTEM DEMONSTRATIONS AUTOMATHEO 2010 The 2010 Workshop on Automated Mathematical Theory Exploration http://dream.inf.ed.ac.uk/events/automatheo-2010/ 14-15 July 2010, Edinburgh, UK a FLoC 2010 affiliated workshop of IJCAR and ITP. Important Dates: Wed. 5 May 2010 - Extended abstract and demo submission deadline Wed. 2 June 2010 - Acceptance notification Wed. 16 June 2010 - Final version of extended abstracts due Wed 14 - Thu 15 July 2010 - Workshop About the Automatheo workshop: 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. Invited Speakers: John Harrison and Dana S. Scott Call for Participation and Submissions: 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. 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. 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=automatheo2010 These should not be longer than 15 pages and can be as short as 1 page. 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 We will also have a published post-proceedings some time after the workshop. Programme Commitee: Jacques Calmet Jacques Carette Adrian Craciun Lucas Dixon (co-chair) Bogdan Grechuk Moa Johansson Temur Kutsia Roy McCasland (co-chair) Alison Pease Florina Piroi Alan Smaill (co-chair) David Stanovsky Cristian Urban Wolfgang Windsteiger -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.