From 6241e974f478c3e58b3a6168b1e9698b48916123 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Mon, 28 Mar 2022 09:17:39 +0200
Subject: [PATCH] more news

---
 _posts/2021-12-01-VoLL-KI.md       | 14 ++++++++++++++
 _posts/2022-02-01-welcome-timur.md |  9 +++++++++
 _posts/2022-02-10-HIM-trimester.md | 10 ++++++++++
 3 files changed, 33 insertions(+)
 create mode 100644 _posts/2021-12-01-VoLL-KI.md
 create mode 100644 _posts/2022-02-01-welcome-timur.md
 create mode 100644 _posts/2022-02-10-HIM-trimester.md

diff --git a/_posts/2021-12-01-VoLL-KI.md b/_posts/2021-12-01-VoLL-KI.md
new file mode 100644
index 0000000..80df2dd
--- /dev/null
+++ b/_posts/2021-12-01-VoLL-KI.md
@@ -0,0 +1,14 @@
+---
+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). 
diff --git a/_posts/2022-02-01-welcome-timur.md b/_posts/2022-02-01-welcome-timur.md
new file mode 100644
index 0000000..b432c98
--- /dev/null
+++ b/_posts/2022-02-01-welcome-timur.md
@@ -0,0 +1,9 @@
+---
+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. 
diff --git a/_posts/2022-02-10-HIM-trimester.md b/_posts/2022-02-10-HIM-trimester.md
new file mode 100644
index 0000000..ea679db
--- /dev/null
+++ b/_posts/2022-02-10-HIM-trimester.md
@@ -0,0 +1,10 @@
+---
+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. 
-- 
GitLab