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.

Submit/discuss ideas/systems/prototypes pushing collaborative math forward!

Henk Barendregt is sponsoring the MathWikis workshop from his Spinoza Prize, awarded by The Netherlands Organisation for Scientific Research

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:


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
  • 12.30 - 14.00:Lunch Break
  • Session 3
  • 15.30 - 16.00: Coffee Break
  • Session 4

    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.

    Invited speakers: