diff --git a/README.md b/README.md index ab9d87920e4c0b8643e8b889a4c56a8c3975bb04..6465781824cb6ecad163ae1f84897cb56ec38c19 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.