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

    July 10, 2019

    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:

    • formalization of challenging mathematical problems,
    • design of proof languages and techniques,
    • repositories of formalized mathematics,
    • interactive and automated theorem proving,
    • 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 (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 using the style onecolceurws (the corresponding style files can be downloaded from here).

    Deadline for submissions: May 6, 2019
    Notification of acceptance: May 31, 2019

    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)

    • David Aspinall, University of Edinburgh, UK
    • Yves Bertot, Inria Sophia, France
    • Claudio Sacerdoti Coen, University of Bologna, Italy
    • Michael Kohlhase, FAU Erlangen-N├╝rnberg, Germany
    • Artur Kornilowicz, University of Bialystok, Poland
    • Krystyna Kuperberg, Auburn University, USA
    • Peter Lammich, Technical University of Munich, Germany
    • Karol Pak, University of Bialystok, Poland (chair)
    • Josef Urban, Czech Technical University in Prague, Czech Republic
  • News

    • Extended deadline
    • Four workshops and tutorial confirmed
    • LNAI proceedings confirmed
    • initial program committee
    • initial website online
Privacy policy and legal information
Last modified: March 23 2019 19:30:32 CET