[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
>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)
>MathWikis-2011 SECOND CALL FOR CONTRIBUTIONS
>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)
>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
> * 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=
>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