events/index.md

+---
+layout: page
+title: KWARC - Events 
+---
+Some smaller academic events we have organized that do not have separate homepages:
+
+* [Tetrapod Workshop at FLOC-2018](Tetrapod2018/index.html)
+* [GI Jahrestreffen Fachgruppe Deduktionssystem und Logic in der Informatik](GILogicWorkshops/index.html)

hiring/almanac-phd.md

+---
+layout: jobad
+title: ALMANAC Ph.D. Student or PostDoc (meta-logics for argumentation)
+posted: 2017-06-21
+status: open
+requirements: M.Sc (or equivalent) and a love for logic, language, and argumentation.
+---
+We are looking for a Ph.D. student or a PostDoc in the
+[ALMANAC Project](/projects/almanac/) positions can be half- or full-time. 

hiring/drupal-dev.md

+---
+layout: jobad
+title: Drupal Developer (student)
+posted: 2017-08-21
+requirements: experience or interest in Drupal
+---
+We are looking for a Drupal developer (PHP, CSS) to help with front-end development of the [MathHub.info](http://mathhub.info) system. 

hiring/index.md

+---
+layout: page
+title: KWARC - Open Positions 
+---
+The KWARC group is constantly looking for good developers and Ph.D. students.
+
+{% assign jobads = site.pages | where: "layout", "jobad" | sort: "title" %}
+
+<ul class="collection">
+    {% for item in jobads %}
+        {% if item.status contains 'open' %}
+	       <li class="collection-item">
+               <a href="{{item.url}}" class="title">{{item.title}}</a>
+           </li>
+        {% endif %}
+    {% endfor %}
+</ul>
+
+Candidates interested in the positions above should introduce themselves and inquire for further information by sending email with the usual documents to michael.kohlhase@fau.de

hiring/oaf-phd.md

+---
+layout: jobad
+title: OAF Ph.D. Student (formalization of theorem prover logics/libraries)
+posted: 2017-06-21
+status: open
+requirements: M.Sc (or equivalent), interest in logics/theorem proving
+---
+We are looking for a Ph.D. student in the [OAF Project](/projects/oaf/). Similar projects
+are in the pipeline; funding for the whole Ph.D. project is ensured.
+
+Candidates interested in the positions should introduce themselves and inquire for further information by sending email with the usual documents to michael.kohlhase@fau.de
+ 

hiring/odk-phd.md

+---
+layout: jobad
+title: OpenDreamKit Ph.D. Student/PostDoc (Math Modeling for Math System Integration)
+posted: 2017-06-21
+status: open
+requirements: M.Sc (or equivalent) and an interest in mathematics, computation, and system integration.
+---
+We are looking for a Ph.D. student or a PostDoc in the
+[OpenDreamKit Project](/projects/odk/) positions can be half- or full-time. 
+
+Similar projectsare in the pipeline; funding for the whole Ph.D. project is ensured.
+
+Candidates interested in the positions should introduce themselves and inquire for further information by sending email with the usual documents to michael.kohlhase@fau.de
+ 

hiring/web-frontend-dev.md

+---
+layout: jobad
+title: Web Frontend Developer (student)
+posted: 2018-03-22
+status: open
+requirements: experience or interest in HTML, CSS, JavaScript frameworks like jQuery and angular.js 
+---
+We are looking for a Web front-end developer (HTML, CSS, JS) for  the [MathHub.info](http://mathhub.info) system. 

index.md

@@ -5,24 +5,42 @@ title: Home
 
 The ability to *represent knowledge about the world* and to *draw logical inferences* is one of the central components of intelligent behavior, as a consequence, reasoning components of some form are at the heart of many artificial intelligence systems.
 
+#### 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.
 
-
-
-## Recent News ([see all](/news/posts/))
- 
-{% for post in site.posts %}
-    {% if forloop.index < 5 %}
-	{% include post_link.html %}
-    {% endif %}
+##### Approach: Corpus-based Meta-Mathematics
+In this title we have three components that warrant explanation: 
+1. **Mathematics**: we use the  mathematical knowledge and mathematical documents as a test
+  tube for our research as the knowledge and document structures are quite explicit and
+  overt and the content of mathematics is well-understood. Anything that has the same
+  properties we consider to be "mathematics" as well. 
+2. **Meta**: we develop Meta-Artefacts, i.e. we
+   * design **representation languages** (logics) that allow to talk *about* mathematical objects,
+   their properties, and relations,
+   * invent **algorithms** that analyze and transform these representations, and
+   * implement them in **end-user systems** that utilize both. 
+3. **Corpus-based**: we do this as a natural science by looking at data (i.e. corpora of
+documents and formalizations).
+
+##### KWARC Process
+We approach Corpus-Based Meta-Mathematics (iteratively) in three steps:
+1. **Analysis**: we analyze the corpora for patterns and structures.
+2. **Synthesis**: we design and build meta-artefacts (languages, algorithms, and systems)
+and derive data sets from the corpora.
+3. **Experimentation**: we evaluate the representation languages and algorithms on the
+   corpora and the systems on end users (mathematicians).
+
+#### Recent News ([see all](/news/))
+ 
+<ul class="collection">
+    {% for post in site.posts limit:5 %}
+        {% include post_link.html post=post %}
     {% endfor %}
+</ul>
 
-<p>&copy; {{ site.time | date: '%Y' }}. All rights reserved.</p>
-
-
-
-
-
+<!--  LocalWords:  endfor analyze
+ -->

news/index.html

@@ -4,15 +4,12 @@ title: News
 source: _posts/
 ---
 
-{% comment %}
-  To add a new blog/news post, please create a file in the _posts/
-  directory, taking the existing files as examples.
-{% endcomment %}
-
 <div class="posts">
+    <ul class="collection">
         {% for post in paginator.posts %}
-    {% include post_link.html %}
+            {% include post_link.html post=post %}
         {% endfor %}
+    </ul>
 </div>
 
-{% include pagination.html %}
+{% include pagination.html paginator=paginator %}
\ No newline at end of file

news/posts.html

----
-layout: page
-title: Project Activites
-alltags: True
-menu_order: 1
----
-
-{% comment %}
-Project activities are generated through the /_posts/ folder
-{% endcomment %}
-
-<h2>By tag</h2>
-
-{% assign with_post_numbers = true %}
-{% include tags_module.html %}
-
-<div class="tagcloud" >
-  <span class="tag" >
-    <a class="btn btn-default" href="{{ site.blog_path}}">
-      All activites <span class="badge">{{ site.posts.size }}</span>
-    </a>
-  </span>
-  {{ tagscontent }}
-</div>
-
-<h2>Most recent Posts (<a href="{{site.blog_path}}">See all</a>)</h2>
-
-{% for post in site.posts %}
-    {% if forloop.index < 5 %}
-    {% include post_link.html %}
-    {% endif %}
-{% endfor %}
-
-
-

people/README.md

-Technical directions on adding a page
-------------------------------------------
-
-To add a new page, create a file of the form `<first initial><surname>.md` in this
-directory, taking the existing files as examples. Any auxiliary files (e.g. CV, ... should
-have form `<first initial><surname>-<aux>.<ext>`.
-
-Each file  needs some specific parameters:
-
- * **layout** use *person* 
- * **menu_title** (optional) the slot title  in the menu, use your full name, leave out
-   for auxiliary pages. 
- * **fullname** 
- * **fulltitle**
- * **affiliation** the acaddmic affiliation 
- * **account** (the base name of the file)
- * **cv** link to a CV. 

people/achugh.md

+---
+layout: person
+
+title: Abhishek Chugh
+fullname: M.Sc. Abhishek Chugh
+pic: public/images/abchugh.png
+
+role: Research Engineer
+start_date: 2022-05
+
+publink: https://linkedin.com/in/abhishekchugh
+
+website: https://sophize.org
+affiliation: Sophize Foundation
+---
+
+### Description
+
+I am a software engineer and has worked on products such as Adobe Illustrator, Google Maps and Google Pay. I am passionate about organizing knowledge from different perspectives in a way that allows readers to effortlessly see all kinds of justifications for and against any claim. To further this goal, I started Sophize Foundation, a non-profit that is currently working towards building an open state-of-the-art [Mathematics library](https://sophize.org).
+
+### Research Focus
+
+As a KWARCie, I am very excited to help build systems and interfaces that will generate and present educational material tailored to each learner's specific needs.

people/ahambasan.md

+---
+layout: person
+
+title: Alexandru Hambasan
+fullname: Alexandru Hambasan
+
+role: bachelor-student
+pic: public/images/ahambasan.jpeg
+start_date: 2017-03
+end_date: 2018-01
+
+affiliation: Jacobs Unviersity Bremen
+---
+working on MathWebSearch

people/akohlhase.md

+---
+layout: person
+
+title: Andrea Kohlhase
+fullname: Prof. Dr. Andrea Kohlhase
+pic: public/images/akohlhase.jpg
+
+role: postdoc
+start_date: 2005-12
+end_date: 2014-08
+
+dblp: k/Kohlhase:Andrea
+researchgate: Andrea_Kohlhase2
+github: akohlhase
+mathhub: akohlhase
+zbmath: kohlhase.andrea
+publink: auto
+orcid: 0000-0001-5384-6702
+
+affiliation: Hochschule Neu-Ulm
+website: https://www.hs-neu-ulm.de/andrea-kohlhase/
+---
+
+### Description
+After having been associated with the KWARC research group at Jacobs University Bremen
+under guidance of Prof.Dr. Michael Kohlhase (I know the name coincidence is amazing ...)
+for a couple of years, since July 2011 I'm actually a working member of the group. Before
+I worked at the Safe-and-Secure-Systems department at DFKI (German Research Institue for
+Artificial Intelligence) in Bremen. Inbetween I have been "lent" to zbMATH (Zentralblatt
+Mathematik, Berlin) for a design study about search interfaces for mathematicians.
+
+I am still very fond of my previous research group [dimeb](http://www.dimeb.de)
+(Digital Media in Education) at the University of Bremen under guidance of Prof. Dr. Heidi
+Schelhowe.
+
+### Research Focus
+My research interest lies in the intersection between the fields of "Semantic
+Web" and "Human-Computer-Interaction", especially Interaction Design for semantic data
+("Semantic Interaction Design"), with a focus on educational environments. I have
+developed the software system [CPoint](http://www.kwarc.info/projects/CPoint/),
+an invasive, semantic work environment in MS PowerPoint, which allows to enrich PPT
+documents semantically, which makes use of all this great semantic added-value
+information, and which provides conversion facilities for transcribing such semantically
+enhanced PPT documents into [OMDoc](http://www.omdoc.org) files.
+
+I developed the SACHS project, in which we built an invasive, semantic help system for the
+DFKI-internal Controlling System in MS Excel. Some prototypically implemented semantic
+interactions turned out to be quite nice, for example, "semantic navigation".
+
+At the moment I work for the SiSsI project, in which we explore some more
+human-spreadsheet interactions and decouple our semantic services from specific
+spreadsheet players like MS Excel.
+
+At the end of last year I started to make use of Kelly's Repertory Grid Technique. The
+example data set for the MathUI'13 paper you can find [here](http://www.kwarc.info/ako/ProcrustesAnalysis).

people/aschmidt.md

+---
+layout: person
+
+title: Annika Schmidt
+fullname: B.Sc. Annika Schmidt
+pic: public/images/aschmidt.png
+
+start_date: 2020-10
+end_date: 2021-11
+role: master-student
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+
+NOpublink: auto
+
+NOwebsite:
+---
+### Description  
+
+I am a master student at [FAU Erlangen-Nürnberg](http://www.fau.de). Currently I am working on my master thesis at the [KWARC group](http://kwarc.info) and got employed there as a Hiwi to help with the AI-1 lecture.
+
+In 2015 I started studying Computer Science at [FAU Erlangen-Nürnberg](http://www.fau.de). While finishing my bachelor's degree I visited some master courses. My main interests are optimization and artificial intelligence. Also, I am very interested in knowledge management and gaining new knowledge.
+
+### Current Work
+
+My master thesis is about the formalization of set theory in [KWARC's MMT system](https://kwarc.info/systems/mmt/). To achieve this goal I use some old formalizations of set theory in Twelf. Since I just started the exact course of my master thesis is still unclarified.
+
+My work as a Hiwi mostly consists of cutting old lecture videos to make online lectures more attractive for students. Also, I give advice and help to come up with good questions for the students.
+
+### Contact
+
+Feel free to contact me at annika.as.schmidt@fau.de.

people/blaubner.md

+---
+layout: person
+
+title: Bastian Laubner
+fullname: M.Sc. Bastian Laubner
+
+role: master-student
+start_date: 2005-09
+end_date: 2007-08
+---
+
+### Research Focus
+My interests are in the fields of logic, graph theory, computation theory, and the design of algorithms.
+
+### Thesis Title
+Mapping Mathematics with Theory Graphs A Case Study and a Prototype
\ No newline at end of file

people/cdavid.md

+---
+layout: person
+
+title: Catalin David
+fullname: M.Sc. Catalin David
+pic: public/images/cdavid.jpeg
+
+role: master-student
+start_date: 2008-09
+end_date: 2012-02
+
+publink: auto
+---
+
+### Description
+I have graduated in June 2012 with a thesis within the SiSsi project, regarding the
+software framework behind the project: Semantic Alliance Framework: Integrating Documents
+and Semantic Services.
+
+My work has started with projects regarding knowledge representation and understanding
+(arXMLiv and LaMaPUn), but my interest has been since oriented towards web technologies,
+mainly, user interaction and user experience in the field of semantic data (JOBAD and
+Planetary). Lately I have also had an interest in bridging the gap between desktop and web
+systems, bringing semantic web concepts in everyday desktop software (SiSsi).
+ 
+### Research Focus
+I am interested in representation of mathematics on the Internet, as well as User Interaction (UI) and eXperience (UX).
+    
+### Thesis Title
+Semantic Alliance Framework: Integrating Documents and Semantic Service 

people/cjucovschi.md

+---
+layout: person
+
+title: Constantin Jucowski
+fullname: M.Sc. Constantin Jucowski
+pic: public/images/cjucovschi.jpeg
+
+role: phd-student
+start_date: 2007-10
+
+publink: auto
+
+affiliation: Computer Science, FAU Erlangen-Nürnberg
+---
+
+### Description
+Constantin Jucowski, Ph.D. Student of Computer Science at FAU Erlangen supervised
+externally by Prof. Michael Kohlhase. 
+
+As of 2007 I am participating in various projects within the KWARC group, namely: SIDER:
+main developer of the xText based framework for developing semantic IDEs. NWERC 2010:
+(regional phase of ACM-ICPC): judge and one of the main organizers. LaMaPUn: worked on
+mathematical formula disambiguation. MathWebSearch: optimized and extended index data
+structure.
+

people/clange.md

+---
+layout: person
+
+title: Christoph Lange
+fullname: Dr. Christoph Lange
+pic: public/images/clange.jpg
+
+role: phd-student
+start_date: 2008-07
+end_date: 2012-08
+
+publink: auto
+
+website: https://langec.wordpress.com/about/
+affiliation: Enterprise Information Systems, Fraunhofer IAIS Bonn
+---
+
+### Thesis Title
+Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration

people/cmueller.md

+---
+layout: person
+
+title: Christine Müller
+fullname: Dr. Christine Müller
+pic: public/images/cmueller.jpg
+
+role: phd-student
+start_date: 2006-09
+end_date: 2010-05
+
+affiliation: ti&m Frankfurt
+
+publink: auto
+---
+
+### Description
+In May 2010 I have received my PhD in computer science at the Jacobs University.
+
+### Thesis Title
+Adaptation of Mathematical Documents
\ No newline at end of file