_posts/2019-12-16-slo.md

+---
+layout: post
+author: mkohlhase
+title: "KWARC wins bilateral DAAD travel grant with Slovenia"
+tags: 
+   - Announcements
+---
+[DAAD](http://daad.de) has awarded a two-year travel grant "MathDataHub" to KWARC and a research group around Primoz Potoci at the University of Ljubliana in Slovenia. We will use the money for collaboration on [DataMathHub](http://data.mathhub.info) and establishing Math Data Workshops. 
+

_posts/2020-05-15-FrameIT.md

+---
+layout: post
+author: rmarcus
+title: "Logic and Video Games: a Rework of FrameIT"
+tags: 
+   - Announcements
+---
+We have released the Unity based framework [UFrameIT](https://kwarc.info/systems/frameit/) as a major rework of the original FrameIT.
+A paper that describes this effort has been accepted to [CICM 2020](https://cicm-conference.org/2020/cicm.php).
+
+The FrameIT project builds a Framework for Serious Games by combining Virtual Worlds with Mathematical Knowledge Management.
+There are many starting points for further research and we would be happy to have more students join this project.
\ No newline at end of file

_posts/2021-12-01-VoLL-KI.md

+---
+layout: post
+author: mkohlhase
+title: KWARC leads BMBF project VoLL-KI (2021-2015)
+tags:
+  - Announcements
+  - Voll-KI 
+---
+Today, the KWARC group starts a new project: [VoLL-KI](https://voll-ki.de) (Von Lernenden
+Lernen: AI Methods for Tertiary education). This project is funded by BMBF with 5M€
+ - overall joint project with Uni Bamberg and Hochschule Coburg - 2M€ for FAU, split
+between the KWARC group and the [DDI group (Didactics of Computer Science](https://www.ddi.tf.fau.de/). 
+   
+[Prof. Kohlhase](https://kwarc.info/kohlhase) coordinates the [overall project](https://voll-ki.de). 

_posts/2022-02-01-welcome-timur.md

+---
+layout: post
+author: mkohlhase
+title: Welcome Timur Fayzrakhmanov (Proect VoLL-KI)
+tags:
+  - Announcements 
+---
+The [VoLL-KI](https://voll-ki.de) project welcomes a new member: Timur Fayzrakhmanov who
+joins us from Kazan. 

_posts/2022-02-10-HIM-trimester.md

+---
+layout: post
+author: mkohlhase
+title: "Special Trimester on \"Prospects of Formalized Mathematics\" at the Hausdorff Institute of Mathematics in Bonn"
+tags:
+  - Announcements
+---
+The [Hausdorff Institute of Mathematics](https://www.him.uni-bonn.de/) will offer a
+Special [Trimester on "Prospects of Formalized Mathematics"](https://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/prospects-of-formal-mathematics/description/) May-August 2024.
+[Prof. Kohlhase](https://kwarc.info/kohlhase) coordinates the organization. 

_posts/2022-02-27-sTeX3@CTAN.md

+---
+layout: post
+author: mkohlhase
+title: "sTeX3 Release on CTAN"
+tags:
+  - Announcements
+---
+[sTeX3](https://github.com/slatex/stex) is a complete rewrite of sTeX - An infrastructure
+for semantic preloading of LaTeX documents - in the LaTeX3 framework. It has just been
+released to [CTAN](https://ctan.org) the Comprehensive TeX Archive Network, and will be
+part of [TeXLive 2022](https://www.tug.org/texlive/) due out in April.  
+
+After almost 15 years, sTeX needed a complete makeover to regularize syntax, weed out
+unused and deprecated features, and synchronize it better with the
+[MMT](https://uniformal.github.io) system and functionality. 
+
+Compared to sTeX1, the new implementation does away with the need for external systems in
+the PDF workflow, allows to add sTeX functionality to arbitrary document classes, and
+completely reworks the XML-based content generation. Instead of using a
+[LaTeXML](https://math.nist.gov/~BMiller/LaTeXML/) fork we use
+[RusTeX](https://github.com/slatex/RusTeX/) a new TeX engine that directly interprets the
+sTeX3 packages and generates semantically annotated XHTML5 which can then be harvested by
+[MMT](https://uniformal.github.io) for further knowledge management services. 
+
+Further development of the sTeX ecosystem (the packages, an IDE, RusTeX, ...) will
+continue on [sLaTeX group on GitHub](https://githhub.com/sLaTeX).

_posts/2022-05-04-MMT-release-22.md

+---
+layout: post
+author: mkohlhase
+title: "MMT Release 22"
+tags:
+  - Announcements
+---
+After almost 18 months of development, [MMT](https://uniformal.github.io) - the flagship
+system of the KWARC group - has been released in [version
+22](https://github.com/UniFormal/MMT/releases/tag/v22.0.0).
+
+The long development time of this release has been a consequence of the growing
+inter-dependency of the system-near library and the system code, which led to serious
+maintenance problems in the past. Another problem was that a lot of dead code had
+accumulated over the last decade. 
+
+These problems have been addressed in version 22 (see the [release
+notes](https://github.com/UniFormal/MMT/releases/tag/v22.0.0) for details) and we hope
+that MMT can now serve as a much more stable basis for mathematical knowledge management
+and we can return to a faster release cycle for the future. 

_posts/2022-08-11-introducing-stex3.md

+---
+layout: post
+author: dmueller
+title: "Presenting sTeX3"
+tags:
+  - Announcements
+---
+[Dennis Müller](/people/dmueller)'s recent presentation on and demonstration of the [sTeX3](https://github.com/slatex/stex) system at the [TeX Users Group Conference 2022](https://tug.org/tug2022/) is now available on [YouTube](https://youtu.be/QXSO6IQ-SX4).

_posts/2022-09-14-tipes.md

+---
+layout: post
+author: frabe
+title: "Representing Scientific Knowledge"
+tags:
+  - Announcements
+---
+[Florian Rabe](https://kwarc.info/people/frabe/) gives [invited talk](https://kwarc.info/people/frabe/Research/slides/rabe_tipes_22.pdf) at the [annual meeting](https://indico.nbi.ku.dk/event/1784/) of the [TiPES project](https://www.tipes.dk/) on Tipping Points in the Earth System.

_posts/2022-09-23-europroofnet.md

+---
+layout: post
+author: frabe
+title: "Exporting Proof Assistant Libraries"
+tags:
+  - Announcements
+---
+[Florian Rabe](https://kwarc.info/people/frabe/) gives [invited talk](https://kwarc.info/people/frabe/Research/slides/rabe_oafexp_22.pdf) at [EuroProofNet workshop](https://cicm-conference.org/2022/cicm.php?event=euproofnet&menu=general) on the development, maintenance, refactoring and search of large libraries of proofs.

_posts/2022-10-24-dagstuhl.md

+---
+layout: post
+author: frabe
+title: "Automated mathematics: integrating proofs, algorithms and data"
+tags:
+  - Announcements
+---
+[Florian Rabe](https://kwarc.info/people/frabe/) will co-organize a [Dagstuhl Seminar](https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/23401) on automated mathematics in October 2023.

_posts/2023-01-20-lean_export.md

+---
+layout: post
+author: frabe
+title: "Lean Export in MMT"
+tags:
+  - Announcements
+---
+Starting with [the most recent devel commit](https://github.com/UniFormal/MMT/commit/1c79ed7edff9ddf3af63073adaf5f33031cd0267) MMT includes an export of the Lean prover libraries (via the low-level export files as parsed by the [treppline](https://github.com/gebner/trepplein) library.

_posts/2023-01-23-hcm.md

+---
+layout: post
+author: frabe
+title: "The Future of Formalized Mathematics"
+tags:
+  - Announcements
+---
+[Florian Rabe](https://kwarc.info/people/frabe/) gives [colloquium talk](https://kwarc.info/people/frabe/Research/slides/rabe_future_23.pdf) at the [Hausdorff Center of Mathematics](https://www.hcm.uni-bonn.de/hcm-home/) in Bonn.

_tagpages/README.md

-This folder contains a page for each *tag* on the website. Tags are used to organize
-posts by thematics. The tag system works almost automatically except that we need
-to explicitly create a page for each tag we use (due to some limitations of jekyll
-gitHub pages). 
-
-For each tag, we create a *almost empty* *md* file which only contains:
-
-    ---
-    layout: tagpage
-    tag: my-tag-name
-    title: My tag Title
-    class: (optional) either software (appears in yellow), keyword (appears in green), or event (appears in blue)
-    ---
-
-Use the other tag pages as examples.

_tagpages/blogpost.md

----
-layout: tagpage
-tag: blogpost
-title: Blogpost
----

_tagpages/conference.md

----
-layout: tagpage
-tag: conference
-title: Conference
-class: event
----

_tagpages/publication.md

----
-layout: tagpage
-tag: publication
-title: Publication
----

_tagpages/recruiting.md

----
-layout: tagpage
-tag: recruiting
-title: Recruiting
----

_tagpages/release.md

----
-layout: tagpage
-tag: release
-title: Release
----

_tagpages/talk.md

----
-layout: tagpage
-tag: talk
-class: event
-title: Talk
----