========================================================= Call for Papers
Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021) 26-31 July 2021 (exact date TBA) Timisoara, Romania (hybrid or fully virtual) https://cicm-conference.org/2021/cicm.php?event=fmm Co-located with 14th Conference on Intelligent Computer Mathematics (CICM 2021) https://cicm-conference.org/2021/cicm.php ========================================================== Paper submission: 14 July 2021 AoE Author notification: 21 July 2021 Final version due: 25 July 2021 ========================================================== Scope ===== The FMM workshop series enables 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 Speakers ================ Mario Carneiro (Carnegie Mellon University, USA) Manuel Eberl (Technical University of Munich, Germany) Submission Guidelines ===================== Electronic submission is continuous and done via EasyChair: https://easychair.org/conferences/?conf=cicm2021 Select the author role, select the "new submission" tab, and choose FMM. We welcome submission of short papers presenting research related to the workshop's points of interest. Submitted papers should be 4-6 pages long and formatted in LaTeX using the style "onecolceurws". The corresponding style files can be downloaded from http://ceur-ws.org/Vol-XXX/samplestyles/ Submission is continuous until 14 July 2021 AoE. At least one author of each accepted paper is expected to attend FMM and present the work (online or in person). We plan to publish electronic proceedings in the CEUR Workshop Proceedings series. Program Committee (TBC) ======================= Mauricio Ayala Rincon (Brasilia University, Brasil) Jasmin Blanchette (Vrije Universiteit Amsterdam, the Netherlands; co-chair) Anthony Bordg (Cambridge University, UK) Johan Commelin (Universitaet Freiburg, Germany) Sander Dahmen (Vrije Universiteit Amsterdam, the Netherlands) Adam Naumowicz (University of Bialystok, Poland; co-chair) _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
