ontolog-forum
[Top] [All Lists]

[ontolog-forum] 2nd CfP (1 week to go) Workshop Mathematical Wikis @ ITP

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: Christoph LANGE <ch.lange@xxxxxxxxxxxxxxxxxxxx>
Date: Mon, 23 May 2011 14:19:19 +0200
Message-id: <4DDA50C7.4030701@xxxxxxxxxxxxxxxxxxxx>
MathWikis-2011 SECOND CALL FOR CONTRIBUTIONS    (01)

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/    (02)

INVITED SPEAKER: Joe Corneli: The PlanetMath Encyclopedia    (03)

BEST CONTRIBUTION/SYSTEM AWARD: 100 EUR (Sponsored by Henk Barendregt)    (04)

ABSTRACT SUBMISSION DEADLINE May 30th    (05)

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.    (06)

TOPICS include but are not limited to:    (07)

   * 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.    (08)

SUBMISSIONS    (09)

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.    (010)

Submissions should be in standard-conforming Postscript or PDF.    (011)

To submit a paper, go to the EasyChair MathWikis page
(http://www.easychair.org/conferences/?conf=mathwikis11) and follow the
instructions there.    (012)

FINAL VERSIONS    (013)

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.    (014)


IMPORTANT DATES    (015)

   * 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    (016)

PROGRAM COMMITTEE    (017)

   * 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ć    (018)

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype
duke4701
Mathematical Wiki workshop at ITP 2011, August 27, Nijmegen, Netherlands
Submission deadline May 30, http://www.cs.ru.nl/mwitp/    (019)

Attachment: signature.asc
Description: OpenPGP digital signature


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] 2nd CfP (1 week to go) Workshop Mathematical Wikis @ ITP 2011 (Nijmegen, NL, Aug 27; abstract submission May 30), Christoph LANGE <=