The ITP 2011 Workshop on Mathematical Wikis (MathWikis-2011)
The ITP 2011 Workshop on Mathematical Wikis (MathWikis-2011)
will
be held in August 2011, in Nijmegen, Netherlands. MathWikis-2011 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 computer-human 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
Schema-based, Wiki-like, Interactive
Platform (video) (paper) (slides)
Thomas
Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt, Arnd Poetzsch-Heffter, 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 On-Line 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 MediaWiki-based 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: Content-based 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
(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 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: