From 5524bd79a8ae6376701724c5deb590de90db66f7 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Wed, 7 Sep 2016 08:52:13 +0200
Subject: [PATCH] adding contact

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/README.md b/README.md
index ab9d879..6465781 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,12 @@
 # Topics for Theses in the [KWARC](http://kwarc.info) Group
 
+## Contact
+[Prof. Michael Kohlhase](http://kwarc.info/kohlhase)
+Professur für Wissensrepräsentation & -verarbeitung
+FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139,
+tel/fax: (49) 9131-85-64052/55, <[Michael.Kohlhase@fau.de](mailto:michael@kohlhase@fau.de)>
+
+
 ## KWARC Research
 
 The KWARC research group conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management. We extend techniques from [formal methods](http://kwarc.info/semantics.html#fm) so that they can be used in settings where formalization is either infeasible or too costly. We concentrate on developing techniques for marking up the [structural semantics](http://kwarc.info/semantics.html#ssem) in technical documents. This level of markup allows for offering interesting [knowledge management services](http://kwarc.info/projects/) without forcing the author to formalize the document contents.
-- 
GitLab