The ITP 2011 Workshop on Mathematical Wikis (MathWikis2011)
The ITP 2011 Workshop on Mathematical Wikis (MathWikis2011)
will
be held in August 2011, in Nijmegen, Netherlands. MathWikis2011 will be associated with
ITP 2011, the
second conference on Interactive Theorem Proving.
THE BEST CONTRIBUTION/SYSTEM WILL BE AWARDED 100 EUR
Submit/discuss ideas/systems/prototypes pushing collaborative math forward!

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 computerhuman interaction aspects of mathematical wikis;
 practical experiences, usability aspects, feasibility studies;
 evaluation of existing tools and experiments;
 requirements, user scenarios and goals.
Contributed talks are 30 minutes long. Please allow at least 5 minutes of your time slot for
discussion.
Session 1 (Workshop introduction)
10.00  10.30: Coffee Break
Session 2
 10.30  11.00: The Web of Mathematical Models: A
Schemabased, Wikilike, Interactive
Platform (video) (paper) (slides)
Thomas
Grundmann, JeanMarie Gaillourdet, Karsten Schmidt, Arnd PoetzschHeffter, Stefan Deßloch and Martin Memmel
 11.00  11.30: ProofWiki: A Modular Approach to Mathematical Presentation (video) (paper)
(wiki)
Matt Westwood
 11.30  12.00: Wiki Authoring and Semantics of Mathematical Document Structure (paper) (slides)
Hiraku Kuroda and Takao Namiki
 12.00  12.30: Metadata for a mathematical wiki: Initial experiments (paper) (slides)
Jesse Alama
12.30  14.00:Lunch Break
Session 3
 14.00  15.00: Invited talk: The OnLine Encyclopedia of Integer Sequences: From Punched Cards to Wiki in 46 Years. (video) (abstract) (wiki)
Neil J. A. Sloane
 15.00  15.30: A Linear Algebra Wiki (video) (paper)
Michael Doob
15.30  16.00: Coffee Break
Session 4
 16.00  16.30: WorkingWiki: a MediaWikibased platform for collaborative research (video) (paper)
Lee Worden
 16.30  17.00: Dynamic Proof Pages (video) (paper)
Carst Tankink and James McKinna
 17.00  17.30: Ideas for a MathWiki Editor (video) (paper) (slides)
Sebastian Reichelt
 17.30  18.00: Contentbased encoding of mathematical and code libraries (video) (paper) (slides)
Josef Urban
Program committee
Submissions (closed)
Researchers interested in participating are invited to submit a short
(210 pages) abstract via EasyChair. Submissions will be refereed by
the program committee, which will select a balanced program of
highquality contributions.
Submissions should be in standardconforming Postscript or PDF.
To submit a paper, go to
the EasyChair
MathWikis page and follow the instructions there.
You can view the full call for papers.
Final versions
The published CEUR proceedings are now available online.
Final versions should be prepared in LaTeX using
the easychair.cls
class file. Proceedings will be published as EasyChair or CEUR
Workshop Proceedings.
Important dates:
All dates are preliminary and may change.
 Submission of abstracts: extended: May 31st, 23:59 Anywhere on Earth (AOE) (was May 30th, 2011, 8:00 UTC+1)
 Notification: June 23rd, 2011
 Camera ready versions due: July 11th, 2011
 Workshop: August 27th, 2011
Invited speakers: