[mizar] Mizar 30: Call for papers

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

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

         MKM 2004 Affilated 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@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 Committe
----------------
The programme committee for the selection of papers for the workshop
consists of the following:

Grzegorz Bancerek (Chair) Bialystok Technical University, Poland
Czesław Byliński 	  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


Grzegorz Bancerek
bancerek@mizar.org