Workshop on Mathematical Wikis (MathWikis-2011)
Important Dates:
- Submission of abstracts: May 30th, 2011, 8:00 UTC+1
- Notification: June 23rd, 2011
- Camera ready versions due: July 11th, 2011
- Workshop: August 27th, 2011
From the website:
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 include but are not limited to:
- 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.