[seqfan] Nijmegen in August, anyone?

N. J. A. Sloane njas at research.att.com
Mon May 23 15:17:17 CEST 2011

Dear Sequence Fans,
I just got an announcement about
a one-day workshop on Mathematical Wikis to be
held in Nijmegen, Netherlands, on August 27 2011.

The OEIS ought to be represented there, but this is the 
first I have heard about the conference.

The deadline for submissions is May 30 !

Is there anyone who might be interested
in going and giving a short presentation
about the new OEIS? I would help prepare
the material.


>From projects-mkm-ig-bounces at jacobs-university.de Mon May 23 08:25:07 2011
>From: Christoph LANGE <ch.lange at jacobs-university.de>
>To: MKM IG <projects-mkm-ig at jacobs-university.de>,         "eMath 3.0" <project-emath30 at jacobs-university.de>
>Subject: [MKM-IG] 2nd CfP (1 week to go) Workshop Mathematical Wikis @ ITP  2011 (Nijmegen, NL, Aug 27; abstract submission May 30)


>Workshop on Mathematical Wikis (MathWikis-2011)
>at ITP (2nd International Conference on Interactive Theorem Proving) 2011=

>Nijmegen, Netherlands, August 27th, 2011

>INVITED SPEAKER: Joe Corneli: The PlanetMath Encyclopedia

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


>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
>   * practical experiences, usability aspects, feasibility studies;
>   * evaluation of existing tools and experiments;
>   * requirements, user scenarios and goals.


>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

>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 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.


>   * 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


>   * Jesse Alama
>   * David Aspinall
>   * Joe Corneli
>   * Cezary Kaliszyk
>   * Fairouz Kamareddine
>   * Michael Kohlhase
>   * Markus Kr=C3=B6tzsch
>   * Christoph Lange (co-chair)
>   * Lionel Mamane
>   * James McKinna
>   * Piotr Rudnicki
>   * Carst Tankink
>   * Josef Urban (co-chair)
>   * Denny Vrande=C4=8Di=C4=87

More information about the SeqFan mailing list