https://kwarc.info/news/

1<!DOCTYPE html> <html lang="en-us"> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"> <meta name="date" content="2026-09-30 15:36:40 +0000" scheme="YYYY-MM-DD HH:MM:SS TTTT"> <meta name='revision' content='f540a902e95b75e21175b32dc9094961583926ce'> <title> News &middot; KWARC </title> <link type="text/css" rel="stylesheet" href="/public/material-icons/font.css"> <link type="text/css" rel="stylesheet" href="/public/materialize/css/materialize.min.css" media="screen,projection"/> <link type="text/css" rel="stylesheet" href="/public/font-awesome-4.7.0/css/font-awesome.min.css" media="screen,projection"/> <link href="/public/css/main.css" rel="stylesheet"> <link rel="shortcut icon" type="image/png" sizes="96x96" href="/public/favicon-96x96.png"> <link rel="alternate" type="application/rss+xml" title="RSS" href="/atom.xml"> </head> <body> <header> <nav class="top-nav nav-extended"> <div class="container"> <div class="nav-wrapper"> <a class="page-title"> News </a> </div> </div> </nav> <div class="container"> <a href="#" data-activates="kwarc-nav" class="button-collapse top-nav full hide-on-large-only"> <i class="material-icons">menu</i> </a> </div> <ul id="kwarc-nav" class="side-nav fixed"> <li> <div class="userView"> <a href="/"> <img src="/public/kwarc_logo.svg" width="180px" height="180px" /> <img src="/public/fau_logo_hoch.svg" width="180px" style="position: relative; left: 30px; "/> </a> </div> </li> <li class="active" class="active" > <a href="/news/"> News </a> </li> <li class="no-padding"> <ul class="collapsible collapsible-accordion"> <li class="bold"> <a class="collapsible-header " href="/people/"> People </a> <div class="collapsible-body"> <ul class='nobullets'> <li > <a href="/people/former/"> Former Members </a> </li> </ul> </div> </li> </ul> </li> <li class="no-padding"> <ul class="collapsible collapsible-accordion"> <li class="bold"> <a class="collapsible-header " href="/research/"> Research </a> <div class="collapsible-body"> <ul class='nobullets'> <li > <a href="/research/formal-methods/"> Formal Methods </a> </li> <li > <a href="/research/structural-semantics/"> Structural Semantics </a> </li> <li > <a href="/research/kminteract/"> Services, KM & Interaction </a> </li> <li > <a href="/research/semantization/"> Semantization </a> </li> <li > <a href="https://kwarc.github.io/bibs/" target="_blank"> Bibliography </a> </li> </ul> </div> </li> </ul> </li> <li class="no-padding"> <ul class="collapsible collapsible-accordion"> <li class="bold"> <a class="collapsible-header " href="/systems/"> Systems </a> <div class="collapsible-body"> <ul class='nobullets'> <li > <a href="/systems/orphans/"> Orphaned Systems </a> </li> <li > <a href="/systems/historic/"> Historic Systems </a> </li> </ul> </div> </li> </ul> </li> <li class="no-padding"> <ul class="collapsible collapsible-accordion"> <li class="bold"> <a class="collapsible-header " href="/projects/"> Projects </a> <div class="collapsible-body"> <ul class='nobullets'> <li > <a href="/projects/completed/"> Completed Projects </a> </li> </ul> </div> </li> </ul> </li> <li class="no-padding"> <ul class="collapsible collapsible-accordion"> <li class="bold"> <a class="collapsible-header " href="/courses/"> Courses & Theses </a> <div class="collapsible-body"> <ul class='nobullets'> <li > <a href="/courses/overview/"> Overview (D) </a> </li> <li > <a href="/courses/former/"> Former Courses </a> </li> <li > <a href="/courses/upcoming/"> Upcoming Courses </a> </li> <li > <a href="/courses/topics/"> Thesis Topics & Projects </a> </li> <li > <a href="/courses/theses/"> Completed Theses </a> </li> </ul> </div> </li> </ul> </li> <li > <a href="/events/"> Events </a> </li> <li > <a href="/hiring/"> Hiring </a> </li> <li > <a href="/contact/"> Contact </a> </li> </ul> </header> <main> <div class="container" id="body"> <div class="posts"> <ul class="collection"> <li class="collection-item"> <a href="/news/2023/01/23/hcm/" class="title"> The Future of Formalized Mathematics </a> <div> by <a href="/people/frabe/"> <div class="chip"> <img src="/public/images/frabe.jpg"/> Prof. Dr. Florian Rabe </div> </a> on <div class="chip"> 23 Jan 2023 </div> in <div class="chip"> Announcements </div> </div> </li> <li class="collection-item"> <a href="/news/2023/01/20/lean_export/" class="title"> Lean Export in MMT </a> <div> by <a href="/people/frabe/"> <div class="chip"> <img src="/public/images/frabe.jpg"/> Prof. Dr. Florian Rabe </div> </a> on <div class="chip"> 20 Jan 2023 </div> in <div class="chip"> Announcements </div> </div> </li> <li class="collection-item"> <a href="/news/2022/10/24/dagstuhl/" class="title"> Automated mathematics: integrating proofs, algorithms and data </a> <div> by <a href="/people/frabe/"> <div class="chip"> <img src="/public/images/frabe.jpg"/> Prof. Dr. Florian Rabe </div> </a> on <div class="chip"> 24 Oct 2022 </div> in <div class="chip"> Announcements </div> </div> </li> <li class="collection-item"> <a href="/news/2022/09/23/europroofnet/" class="title">

1 Exporting Proof Assistant Libraries </a> <div> by <a href="/people/frabe/"> <div class="chip"> <img src="/public/images/frabe.jpg"/> Prof. Dr. Florian Rabe </div> </a> on <div class="chip"> 23 Sep 2022 </div> in <div class="chip"> Announcements </div> </div> </li> <li class="collection-item"> <a href="/news/2022/09/14/tipes/" class="title"> Representing Scientific Knowledge </a> <div> by <a href="/people/frabe/"> <div class="chip"> <img src="/public/images/frabe.jpg"/> Prof. Dr. Florian Rabe </div> </a> on <div class="chip"> 14 Sep 2022 </div> in <div class="chip"> Announcements </div> </div> </li> <li class="collection-item"> <a href="/news/2022/08/11/introducing-stex3/" class="title"> Presenting sTeX3 </a> <div> by <a href="/people/dmueller/"> <div class="chip"> <img src="/public/images/dmueller.jpg"/> Dr. Dennis Müller </div> </a> on <div class="chip"> 11 Aug 2022 </div> in <div class="chip"> Announcements </div> </div> </li> <li class="collection-item"> <a href="/news/2022/05/04/MMT-release-22/" class="title"> MMT Release 22 </a> <div> by <a href="/people/mkohlhase/"> <div class="chip"> <img src="/public/images/mkohlhase.jpg"/> Prof. Dr. Michael Kohlhase </div> </a> on <div class="chip"> 04 May 2022 </div> in <div class="chip"> Announcements </div> </div> </li> <li class="collection-item"> <a href="/news/2022/02/27/sTeX3@CTAN/" class="title"> sTeX3 Release on CTAN </a> <div> by <a href="/people/mkohlhase/"> <div class="chip"> <img src="/public/images/mkohlhase.jpg"/> Prof. Dr. Michael Kohlhase </div> </a> on <div class="chip"> 27 Feb 2022 </div> in <div class="chip"> Announcements </div> </div> </li> <li class="collection-item"> <a href="/news/2022/02/10/HIM-trimester/" class="title"> Special Trimester on "Prospects of Formalized Mathematics" at the Hausdorff Institute of Mathematics in Bonn </a> <div> by <a href="/people/mkohlhase/"> <div class="chip"> <img src="/public/images/mkohlhase.jpg"/> Prof. Dr. Michael Kohlhase </div> </a> on <div class="chip"> 10 Feb 2022 </div> in <div class="chip"> Announcements </div> </div> </li> <li class="collection-item"> <a href="/news/2022/02/01/welcome-timur/" class="title"> Welcome Timur Fayzrakhmanov (Proect VoLL-KI) </a> <div> by <a href="/people/mkohlhase/"> <div class="chip"> <img src="/public/images/mkohlhase.jpg"/> Prof. Dr. Michael Kohlhase </div> </a> on <div class="chip"> 01 Feb 2022 </div> in <div class="chip"> Announcements </div> </div> </li> </ul> </div> <ul class="pagination"> <li class="disabled"> <a href="#!"> <i class="material-icons">chevron_left</i> </a> </li> <li class='active'> <a href="#!"> 1 </a> </li> <li class="waves-effect"> <a href="/news/page2/"> 2 </a> </li> <li class="waves-effect"> <a href="/news/page3/"> 3 </a> </li> <li class="waves-effect"> <a href="/news/page4/"> 4 </a> </li> <li class="waves-effect"> <a href="/news/page2/"> <i class="material-icons">chevron_right</i> </a> </li> </ul> </div> </main> <footer> <footer class="page-footer"> <div class="container"> <div class="row"> <div class="col l8 s12"> <h5 class="white-text">About</h5> <p class="grey-text text-lighten-4"> The Research Group of the Professorship for Knowledge Representation and Processing at <a href="https://fau.de" class="black-text">FAU Erlangen-Nürnberg</a> - <a href="https://cs.fau.de" class="black-text">Computer Science</a>. </p> </div> <div class="col l2 s12"> <h5 class="white-text">Updates</h5> <a href="https://github.com/KWARC" title="GitHub" class="waves-effect waves-teal btn-flat"> <i class="fa fa-github" aria-hidden="true"></i> GitHub </a> <a href="/atom.xml" title="Atom Feed" class="waves-effect waves-teal btn-flat"> <i class="fa fa-rss" aria-hidden="true"></i> Atom Feed </a> </div> <div class="col l2 s12"> <h5 class="white-text">Editing</h5> <a href="https://gl.kwarc.info/kwarc/kwarc.info/www/-/edit/master/_posts/" title="Edit this page" class="waves-effect waves-teal btn-flat"> <i class="fa fa-pencil-square-o" aria-hidden="true"></i> Edit this page </a> <a href="https://gl.kwarc.info/kwarc/kwarc.info/www/#repository-holding-the-sources-of-the-kwarcinfo-website" title="How to edit" class="waves-effect waves-teal btn-flat"> <i class="fa fa-question-circle" aria-hidden="true"></i> How to edit </a> </div> </div> </div> <div class="footer-copyright"> <div class="container"> &copy; 2026 The KWARC Group <span class="right legal-links"> 

1<script src="https://privacy.kwarc.info/legal.js"></script>

1 </span> </div> </div> </footer> </footer> 

1<script src="/public/js/jquery-3.2.1.min.js"></script>

1 

1<script src="/public/materialize/js/materialize.min.js"></script>

1 

1<script src="/public/js/kwarc.js"></script>

1 </body> </html>