From: Andrei Popescu <andrei.h.popescu@gmail.com>

=========================================================

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)

Last updated: Oct 25 2021 at 18:22 UTC