You must enable JavaScript to use this site
  • FMM 2018 - Third workshop on Formal Mathematics for Mathematicians

    August 13, 2018

    The FMM workshop series allows mathematicians interested in computer assistance and researchers in formal and computer-understandable mathematics to meet and exchange ideas. The meeting provides a platform for discussion of suitable forms of computer assistance between the formal community and interested mathematicians and other researchers.

    The main points of interest include:

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

    Invited speaker(s)

    TBA.

    Submissions

    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 (the corresponding style files can be downloaded from here).

    Deadline for submissions: end of May 2018
    Notification of acceptance: Mid June 2018

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

    Programme Committee (TBC)

    • Yves Bertot, Inria
    • Marco Caminati, University of St Andrews
    • Cezary Kaliszyk, University of Innsbruck (co-chair)
    • Michael Kohlhase, FAU Erlangen-Nürnberg
    • Adam Naumowicz, University of Białystok (co-chair)
    • Josef Urban, Czech Technical University in Prague
    • ...
  • News

    • deadline extended: April 22 (abstract), April 29 (paper)
    • 5 workshops accepted
    • 3 invited speakers
    • CfP and CfW available
    • PC completed
    • 2 invited speakers added
    • Initial Webpage Online
Last modified: April 05 2018 13:12:22 CEST