first skeleton

.gitignore

+# Ignore docs files
+_gh_pages
+_site
+.ruby-version
+Gemfile.lock
+ 
+# Numerous always-ignore extensions
+*.diff
+*.err
+*.orig
+*.log
+*.rej
+*.swo
+*.swp
+*.zip
+*.vi
+*~
+
+# OS or Editor folders
+.DS_Store
+._*
+Thumbs.db
+.cache
+.project
+.settings
+.tmproj
+*.esproj
+nbproject
+*.sublime-project
+*.sublime-workspace
+.idea
+
+# Komodo
+*.komodoproject
+.komodotools
+
+# grunt-html-validation
+validation-status.json
+validation-report.json
+
+# Folders to ignore
+node_modules
+
+# TeX auxiliary files
+*.aux
+*.log
+*.synctex.gz
+*.snm
+*.toc
+*.out
+*.nav

CNAME

+kwarc.info

README.md

+# Repository holding the sources of the KWARC.info website
+
+## About
+
+This website is hosted as a [github page](https://pages.github.com/).
+In short, is built statically from Markdown source files using
+[Jekyll](http://jekyllrb.com/). To update a page, just modify the
+corresponding source and push. This can be done online by clicking on
+"Edit this page" in the side bar. See the above links for details.
+
+- _config.yml: main configuration page
+- _post/*.md: sources of the news, blog posts and activities
+- _data/*.yml: YAML database from which certain pages are automatically generated
+- _layouts/*: local style files
+- _includes/*: reusable chunks of web pages, like the nav bar
+- public/*: all static files (images, js, css, etc)
+- project -- people -- event_activites: folders used to generate menu pages (as set in _config.yml)
+- _tagpages : the tag pages, each tag gets an almost empty md file so that the tag page gets generated by jekyll
+
+
+## How to use Jekyll to test/build this website
+
+This is a
+[*static website*](http://en.wikipedia.org/wiki/Static_web_page)
+automatically generated with [Jekyll](http://jekyllrb.com/) by
+[GitHub Pages](http://pages.github.com/).
+
+### Editing pages online with GitHub
+
+You can edit any page by following the *"Edit this page"* link in the
+Quick links nav bar. Alternatively, you can directly navigate to the corresponding
+`.md` (Markdown) file in GitHub.
+
+This will drop you in GitHub's file editing interface, where you can
+modify the source code, preview it, and save your changes, by giving a
+short description of what you modified. If you have
+[write access](https://help.github.com/articles/what-are-the-different-access-permissions/)
+to the repository (hint: you do), your modifications will be published
+rightaway.  If you do not have right access, you will be asked to
+[fork the repository and make a pull request](https://help.github.com/articles/fork-a-repo/).
+
+Most of the pages are written in
+[Markdown](http://daringfireball.net/projects/markdown/), which is a
+textual format for generating formatted text. Markdown syntax is very
+intuitive, you can get a quick review
+[here](https://help.github.com/articles/github-flavored-markdown/) or
+[here](http://kramdown.gettalong.org/syntax.html).
+
+**CAVEATS:** The Markdown engine used by this site is
+[Kramdown](http://kramdown.gettalong.org/). Its syntax definitions are
+slightly different form
+[GitHub Flavored Markdown](https://help.github.com/articles/github-flavored-markdown/),
+thus the preview feature in GitHub might not render source as in the
+final result.
+
+Other reasons why GitHub's preview may not correspond to the final
+results are:
+
+- Use of
+  [Liquid templates](https://github.com/Shopify/liquid/wiki/Liquid-for-Designers)
+  in the source. 
+- Use of special purpose markup, HTML, and scripts, such as
+  mathematical excerpts written in [MathJax](http://mathjax.org/).
+
+### Working locally
+
+If you want to do more than the occasional editing, you'll soon
+realise GitHub's editor and preview are too limited. It's better to
+work locally on your computer.
+
+All you need to work locally is a [Git client](http://git-scm.com/).
+[Clone the repository](https://help.github.com/articles/fork-a-repo/#step-2-create-a-local-clone-of-your-fork)
+and start coding right away.
+
+At some point, you will need to preview your work, but pushing to
+GitHub each time you want to preview is clumsy. Your best option is to
+[install Jekyll and the required dependencies](https://help.github.com/articles/using-jekyll-with-pages/#installing-jekyll)
+on your machine. It is recommended to install the
+[GitHub pages gem](https://github.com/github/pages-gem) which provides
+you with the exact same versions used by GitHub to compile your site.
+
+If you already have Ruby, the install part should be as easy as
+
+~~~
+gem install github-pages -V
+~~~
+
+Note that you will need Ruby headers (`ruby-dev` package on Ubuntu) in
+order to compile C dependencies.
+
+On OS X, you can just type `sudo gem install github-pages -V`.
+
+Now you can `cd` into your local clone of the repository and launch
+the compilation by
+
+~~~
+jekyll serve -w -b''
+~~~
+
+Your site will be generated in a `_site` sub-directory, and served
+live at <http://localhost:4000/>. Any changes to the sources will
+trigger an automatic recompilation!
+
+Have fun!

_config.yml

+# Permalinks
+permalink:        pretty
+
+# Setup
+title:               KWARC
+tagline:             'KWARC:  Knowledge Adaptation and Reasoning for Content '
+description:         'The Research Group of the Professorship for Knowledge Representation
+and Processing at <a href="http://fau.de">FAU Erlangen-Nürnberg</a> <a
+href="http://cs.fau.de">Computer Science</a>'
+url:                 http://kwarc.info
+baseurl:             ''
+paginate:            10
+paginate_path:       "/news/page:num/"
+blog_path:           "/news/"
+future:              True
+gems:
+  - jemoji
+  - jekyll-paginate
+  - jekyll-github-metadata
+  - jekyll-redirect-from
+
+exclude: ['public/*.md', 'public/*.html', '_tagpages/README.md', '*.synctex.gz', '*.aux', '*.nav', '*.out', '*.snm', '*.tex', '*.log', '*.toc']
+
+
+# About/contact
+author:
+  name:              'The KWARC Group'
+  url:               http://kwarc.info
+  email:             kohlhase@kwarc.info
+#  twitter:           opendreamkit
+
+
+collections:
+  tagpages:
+      output: true
+      permalink: /tag/:path
+
+# Custom vars
+version:             0.3.0
+repository:          kwarc/website  
+bootstrap:           bootstrap-3.3.7-dist
+tagfolder:           tag
+
+menu:
+    - title: 'People'
+      folder: 'people'
+    - title: 'Research'
+      folder: 'research'
+    - title: 'Projects'
+      folder: 'projects'
+    - title: '4Students'
+      folder: 'students'
+    - title: 'Teaching'
+      folder: 'teaching'

_data/software.yml

+- name: LinBox
+  link: http://linalg.org/
+  download: http://linalg.org/download.html
+  description: Linbox is a C++ template library for exact, high-performance linear algebra computation with dense, sparse, and structured matrices over the integers and over finite fields. 
+  tag: linbox
+- name: MPIR
+  link: http://mpir.org/
+  download: http://mpir.org/downloads.html
+  description: MPIR (Multiple Precision Integers and Rationals) is a highly optimised library for bignum arithmetic forked from the GMP bignum library. It is written in assembly language and C.
+  tag: MPIR
+- name: SageMath
+  link: http://www.sagemath.org/
+  download: http://www.sagemath.org/download.html
+  description: SageMath is a free open-source mathematics software system licensed under the GPL.  Its mission is to create a viable free open source alternative to Magma, Maple, Mathematica and Matlab. 
+  logo: sagemath.png
+  tag: sagemath
+- name: GAP
+  link: http://www.gap-system.org/
+  download: http://www.gap-system.org/Releases/index.html
+  description: GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory.
+  logo: gap.jpg
+  tag: GAP
+- name: Pari/GP
+  link: http://pari.math.u-bordeaux.fr/
+  download: http://pari.math.u-bordeaux.fr/download.html
+  description: PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...).
+  logo: parigp.png
+  tag: pari-gp
+- name: LMFDB
+  link: http://www.lmfdb.org/
+  description: The LMFDB is an extensive database of mathematical objects arising in Number Theory.
+  logo: lmfdb.png
+  tag: LMFDB
+- name: Singular
+  link: https://www.singular.uni-kl.de/
+  download: https://www.singular.uni-kl.de/index.php/singular-download.html
+  description: Singular is a computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory.
+  logo: singular.png
+  tag: singular
+- name: MathHub
+  link: https://mathhub.info/
+  description: MathHub.info is a portal for active mathematical documents and an archive for flexiformal mathematics. 
+  logo: mathhub.png
+  tag: math-in-the-middle
+  github: https://github.com/KWARC/mathhub
+- name: MMT
+  link: http://uniformal.github.io
+  description: Language and System for the Uniform Representation of Knowledge
+  tag: math-in-the-middle
+  download: http://uniformal.github.io/doc/setup/index.html
+  github: https://github.com/uniformal/MMT
+- name: Jupyter
+  link: http://jupyter.org/
+  download: http://jupyter.org/install.html
+  description: Project Jupyter is an open source project was born out of the IPython Project in 2014 as it evolved to support interactive data science and scientific computing across all programming languages. 
+  logo: jupyter.svg
+  tag: jupyter
+

_includes/footer.html

+<div class="container-fluid  europe-banner">
+  <p class="europe-text" >
+    {{ site.description }}
+    &nbsp;      &nbsp;
+    <a href="mailto:{{ site.author.email }}" title="email">Email</a>     &nbsp;
+    <a href="{{ site.baseurl }}/atom.xml" title="feed">
+      <img src="{{ site.baseurl }}/public/feed_w.png"/>
+    </a>     &nbsp;
+    <a href="https://github.com/{{ site.github.owner_name }}" title="github">
+      <img src="{{ site.baseurl }}/public/github_w.png"/>
+    </a>
+  </p>
+</div>
+

_includes/head.html

+<head>
+    <meta charset="utf-8">
+    <meta http-equiv="X-UA-Compatible" content="IE=edge">
+    <meta name="viewport" content="width=device-width, initial-scale=1">
+
+    <title>
+        {% if page.title == "Home" %}
+          {{ site.title }} &middot; {{ site.tagline }}
+        {% else %}
+          {{ page.title }} &middot; {{ site.title }}
+        {% endif %}
+    </title>
+
+    <!-- Bootstrap -->
+    <link href="{{ site.baseurl }}/public/{{ site.bootstrap }}/css/bootstrap.min.css" rel="stylesheet">
+
+    <!-- Custom CSS -->
+    <link href="{{ site.baseurl }}/public/css/main.css" rel="stylesheet">
+
+    <!-- Font css -->
+    <link href="{{ site.baseurl }}/public/font-awesome-4.6.3/css/font-awesome.min.css" rel="stylesheet" type="text/css">
+
+
+    <!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
+    <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
+    <!--[if lt IE 9]>
+      <script src="https://oss.maxcdn.com/html5shiv/3.7.3/html5shiv.min.js"></script>
+      <script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
+    <![endif]-->
+
+    <!-- Icons -->
+    <link rel="shortcut icon" href="{{ site.baseurl }}/public/favicon.png">
+    <link rel="apple-touch-icon-precomposed apple-touch-icon" sizes="144x144" type="image/png" href="{{ site.baseurl }}/public/favicon.png">
+
+    <!-- RSS -->
+    <link rel="alternate" type="application/rss+xml" title="RSS" href="{{ site.baseurl }}/atom.xml">
+
+    <!-- jQuery (necessary for Bootstrap's JavaScript plugins and calendar) -->
+    <script src="{{ site.baseurl }}/public/js/jquery.min.js"></script>
+
+
+    <!-- Piwik Analytics plugin -->
+    <script type="text/javascript">
+      var _paq = _paq || [];
+      /* tracker methods like "setCustomDimension" should be called before "trackPageView" */
+      _paq.push(['disableCookies']);
+      _paq.push(['trackPageView']);
+      _paq.push(['enableLinkTracking']);
+      (function() {
+      var u="//webservices.opendreamkit.org/piwik/";
+      _paq.push(['setTrackerUrl', u+'piwik.php']);
+      _paq.push(['setSiteId', '1']);
+      var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0];
+      g.type='text/javascript'; g.async=true; g.defer=true; g.src=u+'piwik.js'; s.parentNode.insertBefore(g,s);
+      })();
+    </script>
+</head>

_includes/intro.md

+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.
+
+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.

_includes/nav.html

+
+<!-- Navigation -->
+<nav class="navbar navbar-default  navbar-fixed-top">
+  <div class="container" >
+    
+    <!-- Brand and toggle get grouped for better mobile display -->
+    <div class="navbar-header page-scroll">
+      <button type="button" class="navbar-toggle" data-toggle="collapse" data-target="#bs-example-navbar-collapse-1">
+        <span class="sr-only">Toggle navigation</span>
+        <span class="icon-bar"/>
+        <span class="icon-bar"/>
+        <span class="icon-bar"/>
+      </button>
+      <a class="navbar-brand" href="{{ site.baseurl }}/">KWARC</a>
+    </div>
+
+{% assign url_parts = page.url | split: '/' %}
+{% assign url_parts_size = url_parts | size %}
+{% assign base_url = url_parts | last %}
+{% assign sorted_pages = site.pages | sort:"menu_order" %}
+
+  <!-- Collect the nav links, forms, and other content for toggling -->
+  <div class="collapse navbar-collapse" id="bs-example-navbar-collapse-1">
+    <ul class="nav navbar-nav navbar-left">
+      {% for node in site.menu %}
+      <li class="dropdown" >
+        <a href="#" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">{{ node.title }}<span class="caret"></span></a>
+        <ul class="dropdown-menu" >
+          {% for sub in sorted_pages %}
+	  
+          {% assign sub_parts = sub.url | split: '/' %}
+          {% assign sub_url = sub_parts | last %}
+          {% assign sub_folder = sub_parts[1] %}
+          {% if sub_folder == node.folder %}
+          <li {% if sub_url == base_url %} class="active" {% endif %}>
+	    <a href="{{ sub.url }}">
+	      {% if sub.menu_title %}
+	      {{ sub.menu_title }}
+	      {% else %}
+	      {{ sub.title }}
+	      {% endif %}
+	    </a>
+	  </li>
+          {% endif %}
+          {% endfor %}
+        </ul>
+      </li>
+      {% endfor %}
+      <li><a href="{{ site.baseurl }}/news/">News</a></li>
+    </ul>
+    <ul class="nav navbar-nav navbar-right" >
+      <li><a href="#contact">Contact</a></li>
+      <li>
+        <a href="#" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">Quick links<span class="caret"></span></a>
+        <ul class="dropdown-menu" >
+          <li><a href="{{ site.github.zip_url | replace: 'zipball','edit' }}/{% if page.source %}{{ page.source }}{% else %}{{ page.path }}{% endif %}" >Edit this page</a></li>
+          <li><a href="https://gl.kwarc.info/kwarc/website/#repository-holding-the-sources-of-the-KWARC.info-website">How to edit</a></li>
+        </ul>
+      </li>
+    </ul>
+  </div>
+  </div>
+</nav>
+
+

_includes/pagination.html

+<nav aria-label="Page navigation">
+  <ul class="pagination">
+    {% if paginator.previous_page %}
+    <li>
+      <a href="{{ site.baseurl }}{{paginator.previous_page_path}}" aria-label="Previous">
+        <span aria-hidden="true">&laquo;</span>
+      </a>
+    </li>
+    {% else %}
+    <li class="disabled" >
+        <a href="#" aria-label="Previous">
+        <span aria-hidden="true">&laquo;</span>
+      </a>
+    </li>
+    {% endif %}
+    {% if paginator.page > 4 %}
+        <li><a href="{{ site.paginate_path | prepend: site.baseurl | replace: '//', '/' | replace: 'page:num/', '' }}">1</a></li>
+        {% if paginator.page > 5 %}
+        <li class="disabled" ><a href="#" >...</a></li>
+        {% endif %}
+    {% endif %}
+    {% assign min_index = paginator.page | minus:3 %}
+    {% assign max_index = paginator.page | plus:3 %}
+    {% for p in (min_index..max_index) %}
+        {% if p > 0 and p <= paginator.total_pages %}
+            <li {% if p == paginator.page %} class="active" {% endif %}>
+            {% if p == 1 %}
+                <a href="{{ site.paginate_path | prepend: site.baseurl | replace: '//', '/' | replace: 'page:num/', '' }}">1</a>
+            {% else %}
+                <a href="{{ site.paginate_path | prepend: site.baseurl | replace: '//', '/' | replace: ':num', p }}">{{ p }}</a>
+            {% endif %}
+            </li>
+        {% endif %}
+    {% endfor %}
+    {% if max_index < paginator.total_pages %}
+        {% assign max_indexp = max_index | plus:1 %}
+        {% if max_indexp < paginator.total_pages %}
+        <li class="disabled" ><a href="#" >...</a></li>
+        {% endif %}
+        <li><a href="{{ site.paginate_path | prepend: site.baseurl | replace: '//', '/' | replace: ':num', paginator.total_pages }}">{{ paginator.total_pages }}</a></li>
+    {% endif %}
+    {% if paginator.next_page %}
+    <li>
+      <a href="{{ site.baseurl }}{{ paginator.next_page_path }}" aria-label="Next">
+        <span aria-hidden="true">&raquo;</span>
+      </a>
+    </li>
+    {% else %}
+    <li class="disabled" >
+      <a href="#" aria-label="Next">
+        <span aria-hidden="true">&raquo;</span>
+      </a>
+    </li>
+    {% endif %}
+  </ul>
+</nav>
+
+
+
+
+

_includes/post_link.html

+
+<div class="post-link">
+    <h3 class="post-title">
+      <a href="{{ post.url }}">
+        {{ post.title }} {{ post.subtitle }}
+      </a>
+    </h3>
+    <p class="post-meta" >
+        {% assign firsttag = post.tags | first %}
+        {% assign tmp_list = site.tagpages | where:"tag", firsttag %}
+        {% assign type = tmp_list | first %}
+        <span class="post-type">{{ type.title }} by {{post.author}}</span> -
+        {% if post.location %}<span class="post-location">{{post.location}}</span> - {% endif %}
+        <span class="post-date">{{ post.date | date_to_string }}</span>
+    </p>
+  </div>

_includes/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 activites</h2>
+
+{% for post in site.posts %}
+    {% if forloop.index < 5 %}
+    {% include post_link.html %}
+    {% endif %}
+{% endfor %}
+
+<a href="{{ site.blog_path}}">See all</a>
+
+

_includes/slideshow_link

+{% comment %}
+  Build a link to a slideshow of the specified slides.
+{% endcomment %}
+
+<small><a href="https://gnab.github.io/remark/remarkise?url=https://raw.githubusercontent.com/OpenDreamKit/OpenDreamKit.github.io/master/{% if include.slides %}{{include.slides}}{% else %}{{page.path}}{% endif %}">View as a slideshow</a></small>

_includes/tags_module.html

+{% capture taglinks %}
+{% if page.tags %}
+    {% assign firsttag = page.tags | first %}
+{% endif %}
+{% for node in site.tagpages %}
+    {% assign tag_size = site.tags[node.tag] | size %}
+    {% if firsttag == node.tag %}
+        {% assign firsttag_title = node.title %}
+    {% endif %}
+    {% if page.alltags or page.tags contains node.tag %}
+        ||{{ tag_size | prepend: '0000' | slice: -4, 4 }}|<span class="tag" ><a class="btn btn-default {% if node.class %}btn-{{ node.class }}{% endif %}" href="{{ node.url }}">{{ node.title }} {% if with_post_numbers %}<span class="badge">{{ tag_size }}</span>{% endif %}</a></span>
+    {% endif %}
+{% endfor %}
+{% endcapture %}
+{% capture tags %}{% for node in site.tagpages %}|{{ node.tag }}{% endfor %}{% endcapture %}
+
+{% assign split_list = taglinks | split:'||' | sort | reverse %}
+{% assign taglist = tags | split:'|' %}
+
+{% capture tagscontent %}
+{% for tag_string in split_list %}
+    {% assign tag_string_parts = tag_string | split:'|' %}
+    {% assign nb_parts = tag_string_parts | size %}
+    {% if nb_parts > 1 %}
+      {{ tag_string_parts[1] }}
+    {% endif %}
+{% endfor %}
+{% endcapture %}
+

_layouts/default.html

+<!DOCTYPE html>
+<html lang="en-us">
+
+  {% include head.html %}
+  
+  <body>
+    
+    {% include nav.html %}
+    
+    
+    <header class="intro-header" >
+      <div class="container-fluid container-bg">
+	<div class="row">
+	  <div class="odk-logo" >
+	    <a href="{{ site.baseurl }}/">
+              <img class="img-responsive" src="{{ site.baseurl }}/public/logos/kwarc-logo-transparent.jpg" alt="KWARC logo" />
+            </a>
+          </div>
+          <div class="site-heading">
+            {% if page.layout == "post" %}
+            <h1>{{ page.title }}</h1>
+            {% if page.subtitle %}<h2 class="subheading" >{{ page.subtitle }}</h2>{% endif %}
+            {% else %}
+            <h1>{{site.tagline}}</h1>
+            {% endif %}
+          </div>
+        </div>
+      </div>
+    </header>
+    
+    <div class="container main-content" >
+        {{ content }}
+    </div>
+
+    {% include footer.html %}
+    
+    <!-- Include all compiled plugins (below), or include individual files as needed -->
+    <script src="{{ site.baseurl }}/public/{{ site.bootstrap }}/js/bootstrap.min.js"></script>
+    
+  </body>
+  <!--
+      Built: {{ site.time }}
+      Commit: {{ site.github.build_revision }}
+  -->
+</html>

_layouts/page.html

+---
+layout: default
+---
+
+<div class="page">
+  <h1 class="page-title">{{ page.title }}</h1>
+  {{ content }}
+</div>

_layouts/post.html

+---
+layout: default
+---
+
+<div class="post">
+    {% assign with_post_numbers = false %}
+    {% include tags_module.html %}
+    <p class="post-meta" >
+        <span class="post-type">{{ firsttag_title }} by {{page.author}}</span> -
+        {% if page.location %}<span class="post-location">{{page.location}}</span> - {% endif %}
+        <span class="post-date">{{ page.date | date_to_string }}</span>
+    </p>
+
+    {{ tagscontent }}
+    {% for tag in page.tags %}
+        {% if taglist contains tag %}{% else %}
+        <p class="error" >Tag without page: {{ tag }}</p>
+        {% endif %}
+    {% endfor %}
+
+
+  {{ content }}
+
+
+
+</div>

_layouts/tagpage.html

+---
+layout: default
+---
+
+<h1>Posts: {{ page.title }}</h1>
+
+<p><a href="{{ site.baseurl }}/news/posts/" >All posts</a></p>
+
+{{ content }}
+
+{% for post in site.tags[page.tag] %}
+    {% include post_link.html %}
+{% endfor %}

_posts/2014-09-01-Professorship.md

+---
+layout: post
+author: Michael Kohlhase
+title: Andrea Kohlhase starts Professorship at Hochschule Neu-Ulm 
+tags:
+  - announcement
+---
+Today, [Andrea Kohlhase](https://kwarc.info/people/akohlhase) starts her new position as a [Professor for Web Engineering and HCI](https://www.hs-neu-ulm.de/en/andrea-kohlhase/) at [Hochschule Neu-Ulm](https://www.hs-neu-ulm.de/). She retains her position as a guest researcher at KWARC.  We are very proud of her and wish her the best at her new position.

_posts/2014-11-14-PhD-Defense.md

+---
+layout: post
+author: Michael Kohlhase
+title: "Ph.D. Defense Fulya Horozal: Congratulations!"
+tags: 
+   - announcement
+---
+With great pleasure we announce that Fulya Horozal has just defended her Dissertation [A Framework for Defining Declarative Languages](https://svn.kwarc.info/repos/fhorozal/pubs/phd-thesis.pdf) today.
+
+Congratulations to Fulya!