The Coq mailing list

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

Please post - apologies for multiple copies.
============================================
To enable EARLY REGISTRATION (August 12) and REDUCED PAYMENT (500 PLN) 
it is possible to submit an abstract of your planned paper by August 7. 
Only in this case we can guarantee a presentation slot during the 
Workshop (if your abstract is accepted).
============================================

         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.

To enable early registration (August 12) and reduced payment (500 PLN) 
it is possible to submit an abstract of your planned paper by August 7. 
Only in this case we can guarantee a presentation slot during the 
Workshop (if your abstract is accepted).


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

August 7       early submission of abstracts
          (for early registration and reduced payment -- August 12)
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