Mizar 50 Workshop - CfP

Artur Kornilowicz arturk _AT_ math.uwb.edu.pl <[email protected]> Thu, 1 Jun 2023 09:07:49 +0200
Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>
This is a multi-part message in MIME format.
--------------QUujhBRRBqisiLI8WVNCIZ0K
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit

Dear Mizar Users


The year 2023 is the 50th anniversary of the Mizar project.

We encourage all members to participate in the Mizar 50 Workshop 
(https://mizar.uwb.edu.pl/mizar50/), co-located with the International 
Conference on Interactive Theorem Proving (ITP 2023), which take place 
in Bialystok, Poland (https://mizar.uwb.edu.pl/ITP2023/).


The aim of this workshop is to bring together different groups of people 
(developers, users and supporters) involved in the project. The workshop 
is devoted to various aspects of the Mizar project, including:

- development of the Mizar project,
- formalizations of mathematical theorems in Mizar,
- management of the Mizar Mathematical Library,
- representation of knowledge collected in MML in various formats,
- history of the Mizar project,
- using Mizar in education.


We encourage submitting presentation proposals related to any of the 
above mentioned topics in the form of extended abstracts of up to 2 
pages in PDF format (including references). The submission should be 
done via EasyChair https://easychair.org/conferences/?conf=mizar50 .


Dates (AOE):

- Abstract deadline: June 30, 2023

- Authors notification: July 7, 2023

- Workshop: July 31, 2023


Best Regards

Artur Kornilowicz


--------------QUujhBRRBqisiLI8WVNCIZ0K
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 7bit

<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
      font-family: -webkit-standard; font-style: normal;
      font-variant-caps: normal; font-weight: 400; letter-spacing:
      normal; orphans: auto; text-align: start; text-indent: 0px;
      text-transform: none; white-space: normal; widows: auto;
      word-spacing: 0px; -webkit-text-stroke-width: 0px;
      text-decoration: none;">Dear Mizar Users</p>
    <p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
      font-family: -webkit-standard; font-style: normal;
      font-variant-caps: normal; font-weight: 400; letter-spacing:
      normal; orphans: auto; text-align: start; text-indent: 0px;
      text-transform: none; white-space: normal; widows: auto;
      word-spacing: 0px; -webkit-text-stroke-width: 0px;
      text-decoration: none;"><br>
    </p>
    <p>The year 2023 is the 50th anniversary of the Mizar project.</p>
    <p>We encourage all members to participate in the Mizar 50 Workshop
      (<a class="moz-txt-link-freetext" href="https://mizar.uwb.edu.pl/mizar50/">https://mizar.uwb.edu.pl/mizar50/</a>), co-located with the
      International Conference on Interactive Theorem Proving (ITP
      2023), which take place in Bialystok, Poland
      (<a class="moz-txt-link-freetext" href="https://mizar.uwb.edu.pl/ITP2023/">https://mizar.uwb.edu.pl/ITP2023/</a>). <br>
    </p>
    <p><br>
    </p>
    <p>The aim of this workshop is to bring together different groups of
      people (developers, users and supporters) involved in the project.
      The workshop is devoted to various aspects of the Mizar project,
      including:<br>
    </p>
    - development of the Mizar project,<br>
    - formalizations of mathematical theorems in Mizar,<br>
    - management of the Mizar Mathematical Library,<br>
    - representation of knowledge collected in MML in various formats,<br>
    - history of the Mizar project,<br>
    - using Mizar in education.<br>
    <p><br>
    </p>
    <p></p>
    <p></p>
    <p>We encourage submitting presentation proposals related to any of
      the above mentioned topics in the form of extended abstracts of up
      to 2 pages in PDF format (including references). The submission
      should be done via EasyChair
      <a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=mizar50">https://easychair.org/conferences/?conf=mizar50</a> .</p>
    <p><br>
    </p>
    <p>Dates (AOE):</p>
    <p>- Abstract deadline: June 30, 2023<br>
    </p>
    <p>- Authors notification: July 7, 2023<br>
    </p>
    <p>- Workshop: July 31, 2023</p>
    <p><br>
    </p>
    Best Regards
    <p>Artur Kornilowicz<br>
    </p>
    <br>
    <p></p>
  </body>
</html>

--------------QUujhBRRBqisiLI8WVNCIZ0K--