
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <p>Just in case this is interesting to some members of this list ...<a

        href="https://grafematik2020.sciencesconf.org/"><br>

        https://grafematik2020.sciencesconf.org/</a></p>

    <p><br>

    </p>

  </body>

</html>