Warning: You are not logged in. Your IP address will be recorded in this page's edit history.
Free text:
INVITED SPEAKER: Joe Corneli: The PlanetMath Encyclopedia BEST CONTRIBUTION/SYSTEM AWARD: 100 EUR (Sponsored by Henk Barendregt) Mathematics is increasingly becoming a collaborative discipline. The Internet has simplified the distributed development, review, and improvement of large proofs, theories, libraries, and knowledge repositories, also giving rise to all kinds of collaboratively developed mathematical learning resources. Examples include the PlanetMath free encyclopedia, the Polymath collaborative collaborative proof development efforts, and also large collaboratively developed formal libraries. Interactive computer assistance, semantic representation, and linking with other datasets on the Semantic Web are becoming very interesting aspects of collaborative mathematical developments. The ITP 2011 MathWikis workshop aims to bring together developers and major users of mathematical wikis and collaborative and social tools for mathematics. ==Topics== * wikis and blogs for informal, semantic, semiformal, and formal mathematical knowledge; * general techniques and tools for online collaborative mathematics; * tools for collaboratively producing, presenting, publishing, and interacting with online mathematics; * automation and computer-human interaction aspects of mathematical wikis; * practical experiences, usability aspects, feasibility studies; * evaluation of existing tools and experiments; * requirements, user scenarios and goals. ==Submissions== Researchers interested in participating are invited to submit a short (2-10 pages) abstract via EasyChair. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming Postscript or PDF. To submit a paper, go to the EasyChair MathWikis page (http://www.easychair.org/conferences/?conf=mathwikis11) and follow the instructions there. Final versions should be prepared in LaTeX using the easychair.cls class file (http://www.easychair.org/easychair.zip). Proceedings will be published as EasyChair or CEUR Workshop Proceedings. ==Committees== * General Co-Chairs ** [[has OC member::Christoph Lange]] ** [[has OC member::Josef Urban]] * Program Committee Members ** [[has PC member::Jesse Alama]] ** [[has PC member::David Aspinall]] ** [[has PC member::Joe Corneli]] ** [[has PC member::Cezary Kaliszyk]] ** [[has PC member::Fairouz Kamareddine]] ** [[has PC member::Michael Kohlhase]] ** [[has PC member::Markus Krötzsch]] ** [[has PC member::Lionel Mamane]] ** [[has PC member::James McKinna]] ** [[has PC member::Piotr Rudnicki]] ** [[has PC member::Carst Tankink]] ** [[has PC member::Denny Vrandečić]] [[Category:Workshop]]
Summary:
This is a minor edit Watch this page
Cancel
