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;
9.00 - 10.00: Invited talk: The PlanetMath Encyclopedia(video)(paper) (wiki) Joseph Corneli
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
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.
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)
