Workshop on Mathematical Wikis: Call for proposals (feat. Pl...

## Primary tabs

# Workshop on Mathematical Wikis: Call for proposals (feat. Pl...

Workshop on Mathematical Wikis (MathWikis-2011)

at ITP (2nd International Conference on Interactive Theorem Proving) 2011

Nijmegen, Netherlands, August 27th, 2011

http://www.cs.ru.nl/mwitp/

INVITED SPEAKER: Joe Corneli: The PlanetMath Encyclopedia

ABSTRACT SUBMISSION DEADLINE May 30th

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.

SUBMISSIONS

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

(http://www.easychair.org/conferences/?conf=mathwikis11) and follow the

instructions there.

FINAL VERSIONS

Final versions should be prepared in LaTeX using the easychair.cls class

file (http://www.easychair.org/easychair.zip). Proceedings will be

published as EasyChair or CEUR Workshop Proceedings.

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

PROGRAM COMMITTEE

* Jesse Alama

* David Aspinall

* Joe Corneli

* Cezary Kaliszyk

* Fairouz Kamareddine

* Michael Kohlhase

* Markus KrÃ¶tzsch

* Christoph Lange (co-chair)

* Lionel Mamane

* James McKinna

* Piotr Rudnicki

* Carst Tankink

* Josef Urban (co-chair)

* Denny VrandeÄiÄ‡

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections