The Coq mailing list

[Grzegorz Bancerek <bancerek AT math.uwb.edu.pl>]

Please post - apologies for multiple copies.
============================================

         MKM 2004 Affiliated Workshop

              30 years of Mizar
              -----------------

      http://merak.pb.bialystok.pl/mkm2004

             September 18, 2004
             Bialowieza - Poland

               CALL FOR PAPERS

The goal of this workshop is to celebrate 30 years of Mizar.

We look for original papers on all aspects of theory and practice
related to the automation of deductive systems and to mechanized
proof assistants in particular. Papers focused on projects descriptions
and comparison, standardization efforts, critical surveys, experiments,
and case studies are particularly welcome. A list of topics comprises
but is not restricted to:

    * History of Mizar and other deduction and proof assistant systems
    * Repositories of formal mathematical texts
    * Problems in formalization of mathematics
    * Proof assistant and deductive systems in education
    * Theory and practice of verification, gathering and presentation of
      formal mathematical text
    * Comparison, influence, integration, and synergism among different
      systems

Submission:
----------

Please submit a maximum of 10 pages A4 papers to
        
mizar30submission AT mizar.uwb.edu.pl
We welcome all reports that have been not published or submitted for
publication elsewhere. All papers submitted to the workshop will be
reviewed and will appear in an informal proceedings distributed at the
workshop. After the workshop, selected papers will be refereed at an
archival journal standard and will appear in a special issue of
Mechanized Mathematics and its Applications. All papers must be in
LaTeX and all submissions must be in postscript or pdf. At the journal
publishing stage, LaTeX sources will be required.

Important dates:
---------------

August 15      submission deadline of workshop papers
August 25      notification of acceptance for workshop papers
September 10   revised papers due
September 18   workshop on 30 years of Mizar
October 15     submission deadline of papers in a special issue of
               Mechanized Mathematics and its Applications

Program Committee
----------------
The program committee for the selection of papers for the workshop
consists of the following:

Grzegorz Bancerek (Chair)  Bialystok Technical University, Poland
Czeslaw Bylinski           University of Bialystok, Poland
Adam Grabowski             University of Bialystok, Poland
Roman Matuszewski          University of Bialystok, Poland
Yatsuka Nakamura           Shinshu University, Nagano, Japan
Piotr Rudnicki             University of Alberta, Edmonton, Canada
Freek Wiedijk              Katholieke Universiteit Nijmegen, The Netherlands


Grzegorz Bancerek
bancerek AT mizar.org