From f8c8693b35745b3cc3381047c6a1ccd1bc4ec648 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Wed, 7 Sep 2016 22:58:57 +0200 Subject: [PATCH] spelling --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index cee4290..f7cdd2b 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ tel/fax: (49) 9131-85-64052/55, <[Michael.Kohlhase@fau.de](mailto:michael@kohlha 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. -## Getting a Topic for a Bahelor's, Master's, or Ph.D. Thesis +## Getting a Topic for a Bachelor's, Master's, or Ph.D. Thesis The KWARC group has a strong tradition of involving students in research early. We had Bachelor Students who graduated with multiple papers at international conferences or a @@ -36,8 +36,8 @@ Topcis are available in the following larger areas, individual topics will be en * [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the [MathHub System](http://mathhub.info)). * Active Dokuments and the integration of semantic services into technical/mathematical - documnets (e.g. for course materials) + documents (e.g. for course materials) * Interoperability and integration of mathematical software systems - e.g. computer - algegra, math data bases, theorem provers (in the + algebra, math data bases, theorem provers (in the [OpenDreamKit](http://opendreamkit.org) EU project) * Cognitive engineering (semantische information/help systems for CAD/CAM systems). -- GitLab