[FOM] Fwd: Formal Mathematics for Mathematicians Workshop 2015 - SUBMISSION DEADLINE EXTENDED

Josef Urban josef.urban at gmail.com
Sun Jun 14 11:48:52 EDT 2015

        Call for extended abstracts and demonstrations
         Formal Mathematics for Mathematicians Workshop 2015

     at the Conference on Intelligent Computer Mathematics
                      Washington DC, USA
               between 13th -- 17th of July 2015
  [[!!! submission deadline extended - please redistribute !!!]]


FMM is a new workshop affiliated with CICM 2015 intended to gather together
mathematicians interested in computer assistance and researchers in formal
and computer-understandable mathematics. The successful development of
computerized formal mathematics and its general availability very much
depends on the feedback that the formalized mathematics developers can
obtain from the community of working mathematicians. This workshop's main
objective is therefore to explore ways of building synergy between the two

Over the last decades, we have witnessed a number of successful instances
of computer-assisted formalization of mathematical problems. Research in
this field has been boosted by the development of systems for practical
formalization of mathematics (proof assistants), the creation of large
repositories of computer-verified formal mathematics, and integration of
interactive and automated methods of theorem proving. We would like to
enable participants representing a possibly wide spectrum of formalization
share their experiences, case studies and success stories, as well as their
expectations for future
development of formal mathematics.


   - formalization of challenging mathematical problems,
   - interactive and automated theorem proving,
   - development of proof assistants,
   - design of proof languages and techniques,
   - repositories of formalized mathematics,
   - semantic representation of mathematical knowledge,
   - formal tools in program verification,
   - foundations and philosophy of mathematics,
   - proof assistants in education.


Cezary Kaliszyk, University of Innsbruck
Title: "Learning to parse mathematics from aligned corpora"


We welcome submission of extended abstracts and demonstration proposals
presenting work related to the workshop's points of interest. Electronic
submission is done through EasyChair

Extended abstracts and demonstration proposals should be no more than 4
pages formatted in LaTeX according to requirements of Springer's LNCS
series (http://www.springer.de/comp/lncs/authors.html).

         (_EXTENDED_) DEADLINE for submissions: June 17th 2015.

The submissions will be reviewed by the international
programme committee whose comments and recommendations will be
sent back by June 20th requesting a final version no later than
June 30th.

At least one author of each accepted extended abstract/demonstration
proposal is expected to attend FMM and presents his/her extended
abstract/demonstration. The extended abstracts will be made available


   - Jesse Alama, Technical University of Vienna, Austria
   - Marco Caminati, University of Birmingham, UK
   - Claudio Sacerdoti Coen, University of Bologna, Italy
   - Adam Grabowski, University of Bialystok, Poland
   - John Harrison, Intel, USA
   - Artur Kornilowicz, University of Bialystok, Poland
   - Krystyna Kuperberg, Auburn University, USA
   - Adam Naumowicz, University of Bialystok, Poland
   - Josef Urban, Radboud University, The Netherlands
   - Freek Wiedijk, Radboud University, The Netherlands

For inquiries please contact: Adam Naumowicz, adamn at math.uwb.edu.pl
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150614/5fb696ef/attachment.html>

More information about the FOM mailing list