[mizar] Formal Mathematics for Mathematicians at CICM2016

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

        Call for extended abstracts and demonstrations
           ----------------------------------------
         Formal Mathematics for Mathematicians Workshop 2016

(http://www.cicm-conference.org/2016/cicm.php?event=fm4m&menu=general)
           ----------------------------------------
     at the Conference on Intelligent Computer Mathematics
                      Bialystok, Poland
                      25th of July 2016
                ------------------------------
             [[!!!    please redistribute    !!!]]

OBJECTIVES:

FMM is a workshop affiliated with CICM 2016 and intended to gather together mathematicians
interested in computer assistance and researchers in formal and computer-understandable 
mathematics. The successful development of computerized formal mathematics and its general 
availability very much depends on the feedback that the formalized mathematics developers 
can obtain from the community of working mathematicians. This workshop's main objective 
is therefore to explore ways of building synergy between the two communities.

Over the last decades, we have witnessed a number of successful instances of 
computer-assisted formalization of mathematical problems. Research in this field 
has been boosted by the development of systems for practical formalization of mathematics 
(proof assistants), the creation of large repositories of computer-verified formal 
mathematics, and integration of interactive and automated methods of theorem proving. 
We would like to enable participants representing a possibly wide spectrum of formalization systems
share their experiences, case studies and success stories, as well as their expectations for future
development of formal mathematics.

POINTS OF INTEREST:

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

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
(https://easychair.org/conferences/?conf=fmm2016).

Extended abstracts and demonstration proposals should be no more than 4 pages 
formatted in LaTeX according to requirements of Springer's LNCS series 
(http://www.springer.de/comp/lncs/authors.html).

	  DEADLINE for submissions: June 20th 2016.

The submissions will be reviewed by the international
programme committee whose comments and recommendations will be
sent back by June 30th requesting a final version no later than
July 10th.

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:

   - Marco Caminati, University of St Andrews, UK
   - Claudio Sacerdoti Coen, University of Bologna, Italy
   - Adam Grabowski, University of Bialystok, Poland
   - John Harrison, Intel, USA
   - Cezary Kaliszyk, University of Innsbruck, Austria
   - Artur Kornilowicz, University of Bialystok, Poland
   - Krystyna Kuperberg, Auburn University, USA
   - Adam Naumowicz, University of Bialystok, Poland
   - Josef Urban, Czech Technical University in Prague, Czech Republic
   - Freek Wiedijk, Radboud University, The Netherlands

For inquiries please contact: Adam Naumowicz, adamn@math.uwb.edu.pl