You must enable JavaScript to use this site

  • FMM 2019 - Fourth workshop on Formal Mathematics for Mathematicians

    July 8, 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 Chad E. Brown

    Title: Higher-Order Logic and Set Theory: Stronger Together

    Programme

    09:00–10:00 Chad E. Brown: Higher-Order Logic and Set Theory: Stronger Together
    Coffee break
    10:30–11:00 Adam Naumowicz: Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics
    11:00–11:30 Michael Junk and Stefan Hölle: Numerical MMATh
    11:30–12:00 Peter Koepke: Textbook Mathematics in the Naproche-SAD System
    12:00–12:30 Artur Korniłowicz: Sethood Property in Mizar
    Lunch break
    14:00–14:30 Adam Grabowski: Constructing Examples of Fuzzy Implications within the Mizar Mathematical Library
    14:30–15:00 Adrian Jaszczak: Formal Verification of the Correctness of Chosen Algorithms in Mizar
    15:00–15:30 Sofiene Tahar: Formalization of Dynamic Reliability Algebras in HOL

    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 May 13, 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)

    • Claudio Sacerdoti Coen, University of Bologna, Italy
    • Adam Grabowski, University of Bialystok, Poland
    • Ievgen Ivanov, Taras Shevchenko National University of Kyiv, Ukraine
    • Cezary Kaliszyk, University of Innsbruck, Austria
    • Artur Kornilowicz, University of Bialystok, Poland
    • Peter Lammich, Technical University of Munich, Germany
    • Adam Naumowicz, University of Bialystok, Poland
    • Karol Pak, University of Bialystok, Poland (chair)
    • Josef Urban, Czech Technical University in Prague, Czech Republic

  • News

    • tentative informal proceedings
    • formal proceedings online
    • detailed program online
    • 3 invited speakers
    • accepted papers announced
    • registration open
    • extended deadline
    • four workshops and tutorial confirmed
    • LNAI proceedings confirmed
    • initial program committee
    • initial website online
Privacy policy and legal information
Last modified: July 02 2019 21:53:55 CEST