Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • kwarc/kwarc.info/www
  • richardmarcus/www
2 results
Show changes
Hide whitespace changes
Inline Side-by-side
Showing
with 501 additions and 220 deletions
_includes/psitem.html 0 → 100644
View file @ bcfe6ac0
{% comment %}
Renders a link to a single project or system. Expects 'item' as a parameter.
{% endcomment %}
{% assign item = include.item %}
<li class="collection-item avatar">
{% if item.logo %} <img src="/{{item.logo}}" alt="{{item.title}} logo" class="circle" style="border-radius: 0;" /> {% endif %}
<a href="{{item.url}}" class="title">{{item.title}}</a>
{% if item.funding %} ({{item.funding}}) {% endif %}
{% if item.orphan %}<b>(up for adoption)</b>{% endif %}
<div>
{% if item.start_date %}
{% unless item.end_date %}
<b>started</b>
{% endunless %}
{% include date.html date=item.start_date %}
{% if item.end_date %}
&nbsp;-&nbsp;
{% include date.html date=item.end_date %}
{% endif %}
<br />
{% endif %}
{% if item.supported-by %}
<b>funded by</b>
{% for project in item.supported-by %}
{% include project_chip.html project=project %}
{% endfor %}
<br />
{% endif %}
{{item.teaser | safe}}
</div>
</li>
_includes/semester.html 0 → 100644
View file @ bcfe6ac0
{% comment %}
Renders the name of a single semester. Expects 'semester' as a parameter.
{% endcomment %}
{% assign semester = include.semester %}
<!-- check if we are a summer semester -->
{% assign nosummer = semester | remove: "SS" %}
{% unless nosummer == semester %}
Summer
{% endunless %}
<!-- check if we are a winter semester -->
{% assign nowinter = semester | remove: "WS" %}
{% unless nowinter == semester %}
Winter
{% endunless %}
<!-- check if we are a fall semester -->
{% assign nofall = semester | remove: "Fall" %}
{% unless nofall == semester %}
Fall
{% endunless %}
<!-- check if we are a spring semester -->
{% assign nospring = semester | remove: "Spring" %}
{% unless nospring == semester %}
Spring
{% endunless %}
<!-- check if we are an intersession semester -->
{% assign nointer = semester | remove: "Intersession" %}
{% unless nointer == semester %}
Intersession
{% endunless %}
<!-- find the year only -->
{% assign semesteryear = nosummer | remove: "WS" | remove: "SS" | remove: "Fall" | remove: "Spring" | remove: "Intersession" %}
20{{semesteryear}}
\ No newline at end of file
_includes/system_chip.html 0 → 100644
View file @ bcfe6ac0
{% comment %}
This page creates a single 'chip' for linking to a system.
It expects the name of the system as the 'system' variable
{% endcomment %}
{% capture surl %}/systems/{{include.system}}/{% endcapture %}
{% assign sp = site.pages | where: "url", surl | first %}
{% if sp %}
<a href="{{ site.baseurl }}{{surl}}">
<div class="chip">
{% if sp.logo %}
<img src="{{ site.baseurl }}/{{sp.logo}}"/>
{% endif %}
{{sp.shorttitle}}
</div>
</a>
{% else %}
<div class="chip">
{{include.system}}
</div>
{% endif %}
_includes/tags_module.html deleted 100644 → 0
View file @ 1cebb298
{% 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/course.html
View file @ bcfe6ac0
......@@ -3,16 +3,26 @@ layout: default
---
<div class="row">
<div class="col s12 m5 left">
<div class="col s12 m5 right">
<div class="card">
<div class="card-content">
<span class="card-title">{{page.title}} ({{page.taught}})</span>
{% assign person = page.instructor %}
Instructor: {% include people_chip.html person=person %}
<span class="card-title">{{page.title}}</span>
{% for person in page.instructors %}
{% include people_chip.html person=person %}
{% endfor %}
<hr />
{% if page.organization %}
<b>{{page.organization}}</b> <br />
{% endif %}
{% for semester in page.semesters %}
{% include semester.html semester=semester %}<br />
{% endfor %}
</div>
</div>
</div>
<p>
<div class="caption">
{{content}}
</p>
</div>
</div>
\ No newline at end of file
_layouts/default.html
View file @ bcfe6ac0
......@@ -2,8 +2,11 @@
layout: compress
---
{% assign sorted_pages = site.pages | sort: "menu_order" %}
<!DOCTYPE html>
<html lang="en-us">
<!-- url = {{page.url}} -->
{% include head.html %}
......
_layouts/jobad.html 0 → 100644
View file @ bcfe6ac0
---
layout: default
---
<div class="row">
<div class="col s12 m5 right">
<div class="card">
<div class="card-content">
<span class="card-title">{{page.title}}</span>
<hr />
{% if page.requirements%}
<b>requirements: {{page.requirements}}</b><br/>
{% endif %}
{% if page.posted %}
<b>posted: {{page.posted}}</b>
{% if page.status %} ({{page.status}}) {% endif %}
<br/>
{% endif %}
</div>
</div>
</div>
<div class="caption">
{{content}}
</div>
</div>
_layouts/person.html
View file @ bcfe6ac0
......@@ -2,23 +2,125 @@
layout: default
---
{% assign username = page.url | replace: '/people/', '' | replace: '/', '' %}
<div class="row">
<div class="col s12 m5 right">
<div class="card">
<div class="card-image">
<img src="/{{page.pic}}" width="300"/>
</div>
<div class="card-content">
<span class="card-title">{{ page.fullname }}</span>
{% if page.fulltitle %}{{ page.fulltitle }}{% endif %}
</div>
<div class="card-action">
<a href="https://kwarc.info/{{ page.account }}/publications.html">Publications</a>
{% if page.cv %}&nbsp;<a href="/{{page.cv}}">CV</a>{% endif %}
</div>
<div class="col s12 m5 right">
<div class="card">
<div class="card-image">
{% if page.pic %}
<img src="/{{page.pic}}" width="{% if page.picwidth %}{{ page.picwidth }}{% else %}300{% endif %}" {% if page.picwidth %}class="picwidth"{% endif %} />
{% endif %}
</div>
<div class="card-content">
<span class="card-title">{{ page.fullname }}</span>
<hr />
{% assign role = site.roles | where: "id", page.role %}
{% assign role = role[0] %}
{{role.name}},
{% if page.start_date %}
KWARCie
{% unless page.end_date %}
since
{% endunless %}
{% include date.html date=page.start_date %}
{% if page.end_date %}
&nbsp;-&nbsp;
{% include date.html date=page.end_date %}
{% endif %}
{% endif %}
{% if page.affiliation %}
<hr />
{{ page.affiliation }}
{% endif %}
</div>
<div class="card-action">
{% if page.publink == "auto" %}
<a href="http://kwarc.github.io/bibs/{{username}}/">
<img style="width:70px;height:70px" src="/public/pubs.jpg" title="Publications"/>
</a>
{% elsif page.publink %}
<a href="{{page.publink}}">
<img style="width:70px;height:70px" src="/public/pubs.jpg" title="Publications"/>
</a>
{% endif %}
{% if page.website %}
<a target="_blank" href="{{page.website}}">
<img style="width:50px;height:50px" src="/public/www.jpg" title="Website"/>
</a>
{% endif %}
{% if page.orcid %}
<a target="_blank" href="http://orcid.org/{{page.orcid}}">
<img style="width:50px;height:50px" src="/public/orcid.png" title="ORCID"/>
</a>
{% endif %}
{% if page.dblp %}
<a target="_blank" href="https://dblp.uni-trier.de/pers/hd/{{page.dblp}}">
<img style="width:50px;height:50px" src="/public/dblp.png" title="DBLP"/>
</a>
{% endif %}
{% if page.zbmath %}
<a target="_blank"
href="https://zbmath.org/authors/?q=ai:{{page.zbmath}}">
<img style="width:50px;height:50px" src="/public/zbmath.png" title="zbMATH"/>
</a>
{% endif %}
{% if page.researchgate %}
<a target="_blank"
href="https://www.researchgate.net/profile/{{page.researchgate}}">
<img style="width:50px;height:50px" src="/public/researchgate.jpg" title="ResearchGate"/>
</a>
{% endif %}
{% if page.github %}
<a target="_blank" href="http://github.com/{{page.github}}">
<img style="width:50px;height:50px" src="/public/github.png" title="GitHub"/>
</a>
{% endif %}
{% if page.gitlab %}
<a target="_blank" href="http://gitlab.com/{{page.gitlab}}">
<img style="width:50px;height:50px" src="/public/gitlab.png" title="GitLab"/>
</a>
{% endif %}
{% if page.mathhub %}
<a target="_blank" href="http://gl.mathhub.info/{{page.mathhub}}">
<img style="width:50px;height:50px" src="/public/mathHubLogo.png" title="MathHub"/>
</a>
{% endif %}
<!-- Projects -->
{% assign projects = site.pages | where: "layout", "project" | where: "active", true %}
{% if projects %}<hr />{% endif %}
{% for project in projects %}
{% if project.people contains username %}
{% assign pid = project.url | replace: '/projects/', '' | replace: '/', '' %}
{% include project_chip.html project=pid %}
{% endif %}
{% endfor %}
<!-- Systems -->
{% assign systems = site.pages | where: "layout", "system" %}
{% if systems %}<hr />{% endif %}
{% for system in systems %}
{% unless system.end_date %}
{% if system.people contains username %}
{% assign sid = system.url | replace: '/systems/', '' | replace: '/', '' %}
{% include system_chip.html system=sid %}
{% endif %}
{% endunless %}
{% endfor %}
</div>
</div>
</div>
<div class="caption">
{{content}}
</div>
</div>
<p>
{{content}}
</p>
</div>
_layouts/post.html
View file @ bcfe6ac0
......@@ -2,25 +2,21 @@
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>
<div class="row">
<div class="col s12 m5 right">
<div class="card">
<div class="card-content">
<span class="card-title">
{{ page.title }}
</span>
{% if post.subtitle %}<h6>{{post.subtitle}}</h6>{% endif %}
{% include post_meta.html post=page %}
</div>
</div>
</div>
<div class="caption">
{{content}}
</div>
</div>
\ No newline at end of file
_layouts/project.html
View file @ bcfe6ac0
......@@ -2,73 +2,132 @@
layout: default
---
{% assign id = page.url | replace: '/projects/', '' | replace: '/', '' %}
<div class="row">
<div class="col s12 m5 left">
<div class="card">
<div class="card-content">
<span class="card-title">{{page.title}}</span>
{% if page.subtitle %}<h6>{{page.subtitle}}</h6>{% endif %}
{% if page.homepage %}
<p>
<a href="{{page.url}}">{{page.homepage}}</a>
</p>
{% endif %}
{% if page.start %}
<p>
<b>From:</b> {{page.start}} {% if page.end %} <b>To:</b> {{page.end}} {% endif %}
</p>
{% endif %}
</div>
<div class="card-tabs">
<ul class="tabs tabs-fixed-width">
{% if page.funding %}
<li class="tab"><a href="#funding">Funding</a></li>
{% endif %}
{% if page.people %}
<li class="tab"><a href="#people">People</a></li>
{% endif %}
{% if page.collaborators %}
<li class="tab"><a href="#collaborators">Collaborators</a></li>
{% endif %}
</ul>
</div>
<div class="card-content grey lighten-4">
{% if page.funding %}
<div id="funding">
funded by {{page.funding}}
{% if page.program or page.grantid %}({% endif %}
{% if page.program %}{{page.program}}{% endif %}
{% if page.grantid %} - {{page.grantid}}{% endif %}
{% if page.program or page.grantid %}){% endif %}
</div>
{% endif %}
{% if page.people %}
<div id="people">
{% assign people = page.people | split: ',' %}
<div class="col s12 m5 right">
<div class="card">
{% if page.logo %}
<div class="card-image">
<img src="/{{page.logo}}" width="300"/>
</div>
{% endif %}
<div class="card-content">
<span class="card-title">{{page.title}}</span>
{% if page.subtitle %}<h6>{{page.subtitle}}</h6>{% endif %}
{% if page.teaser %}<h6>{{page.teaser}}</h6>{% endif %}
{% if page.start_date %}
<p>
<b>From:</b>
{% include date.html date=page.start_date %}
{% if page.end_date %}
<br />
<b>To:</b>
{% include date.html date=page.end_date %}
{% endif %}
</p>
<hr />
{% endif %}
<!-- Funding etc -->
{% assign needs_break = false %}
{% if page.funding %}
<b>Funding: </b> {{page.funding}}
<br />
{% assign needs_break = true %}
{% endif %}
{% if page.program %}
<b>Program: </b> {{page.program}}
<br />
{% assign needs_break = true %}
{% endif %}
{% if page.grantid %}
<b>Grant ID: </b> {{page.grantid}}
<br />
{% assign needs_break = true %}
{% endif %}
{% if needs_break %}
<hr />
{% endif %}
<!-- check if we need a break after this section -->
{% assign needs_break = false %}
<!-- list all the people -->
{% for person in page.people %}
{% include people_chip.html person=person %}
{% assign needs_break = true %}
{% endfor %}
<!-- if we have collaborators, we need to have a break -->
{% if needs_break %}
{% assign needs_break = false %}
{% for person in page.collaborators %}
{% assign needs_break = true %}
{% endfor %}
{% if needs_break %}
<hr />
{% endif %}
{% endif %}
<!-- and print the collaborators -->
{% for person in page.collaborators %}
<div class="chip">
{{person}}
</div>
<br />
{% endfor %}
<!-- and list the systems it supports -->
<hr />
<b>Funds: </b>
{% assign systems = site.pages | where: "layout", "system" %}
{% for system in systems %}
{% if system.supported-by contains id %}
{% assign sid = system.url | replace: '/systems/', '' | replace: '/', '' %}
{% include system_chip.html system=sid %}
{% endif %}
{% endfor %}
</div>
{% assign hasaction = false %}
{% if page.website %}{% assign hasaction = true %}{% endif %}
{% if page.repository %}{% assign hasaction = true %}{% endif %}
{% if page.proposal %}{% assign hasaction = true %}{% endif %}
{% if page.publink %}{% assign hasaction = true %}{% endif %}
{% for person in people %}
{% include people_chip.html person=person %}
{% endfor %}
</div>
{% endif %}
{% if page.collaborators %}
<div id="collaborators">
{{page.collaborators}}
</div>
{% endif %}
</div>
{% if hasaction %}
<div class="card-action">
{% if page.website %}
<a target="_blank" href="{{ page.website }}">Website</a>
&nbsp;
{% endif %}
{% if page.repository %}
<a target="_blank" href="{{ page.repository }}">Repository</a>
&nbsp;
{% endif %}
{% if page.proposal %}
<a target="_blank" href="{{page.proposal}}">Proposal</a>
&nbsp;
{% endif %}
{% if page.publink == "auto" %}
<a href="http://kwarc.github.io/bibs/{{ page.url | replace: '/projects/', '' | replace: '/', '' }}/">Publications</a>
{% elsif page.publink %}
<a href="{{page.publink}}">Publications</a>
{% endif %}
</div>
{% endif %}
</div>
</div>
</div>
<p>
<div class="caption">
{{content}}
</p>
</div>
</div>
_layouts/system.html
View file @ bcfe6ac0
......@@ -3,59 +3,85 @@ layout: default
---
<div class="row">
<div class="col s12 m5 left">
<div class="card">
<div class="card-content">
<span class="card-title">{{page.title}}</span>
{% if page.subtitle %}<h6>{{page.subtitle}}</h6>{% endif %}
{% if page.homepage %}
<p>
<a href="{{page.url}}">{{page.homepage}}</a>
</p>
{% endif %}
{% if page.start %}
<p>
<b>From:</b> {{page.start}} {% if page.end %} <b>To:</b> {{page.end}} {% endif %}
</p>
{% endif %}
</div>
<div class="card-tabs">
<ul class="tabs tabs-fixed-width">
{% if page.people %}
<li class="tab"><a href="#people">People</a></li>
{% endif %}
{% if page.collaborators %}
<li class="tab"><a href="#collaborators">Collaborators</a></li>
{% endif %}
</ul>
</div>
<div class="card-content grey lighten-4">
{% if page.people %}
<div id="people">
{% assign people = page.people | split: ',' %}
<div class="col s12 m5 right">
<div class="card">
{% if page.logo %}
<div class="card-image">
<img src="/{{page.logo}}" width="300"/>
</div>
{% endif %}
<div class="card-content">
<span class="card-title">{{page.title}}</span>
{% if page.subtitle %}<h6>{{page.subtitle}}</h6>{% endif %}
{% if page.teaser %}<h6>{{page.teaser}}</h6>{% endif %}
<hr />
{% if page.start_date %}
<p>
<b>Start:</b>
{% include date.html date=page.start_date %}
{% if page.end_date %}
<br />
<b>End:</b>
{% include date.html date=page.end_date %}
{% endif %}
</p>
<hr />
{% endif %}
{% if page.orphan %}
<p>
<a href="{{ site.baseurl }}/systems/orphans">
<div class="chip">
Up for adoption
</div>
</a>
</p>
<hr />
{% endif %}
{% for person in page.people %}
{% include people_chip.html person=person %}
{% endfor %}
{% if page.supported-by %}
<hr />
<b>Funded by: </b>
{% for project in page.supported-by %}
{% include project_chip.html project=project %}
{% endfor %}
{% endif %}
</div>
{% assign hasaction = false %}
{% for person in people %}
{% include people_chip.html person=person %}
{% endfor %}
</div>
{% endif %}
{% if page.collaborators %}
<div id="collaborators">
{{page.collaborators}}
</div>
{% endif %}
</div>
{% if page.website %}{% assign hasaction = true %}{% endif %}
{% if page.repository %}{% assign hasaction = true %}{% endif %}
{% if page.publink %}{% assign hasaction = true %}{% endif %}
{% if page.supported-by %}{% assign hasaction = true %}{% endif %}
{% if hasaction %}
<div class="card-action">
{% if page.website %}
<a target="_blank" href="{{ page.website }}">Website</a>
&nbsp;
{% endif %}
{% if page.repository %}
<a target="_blank" href="{{ page.repository }}">Repository</a>
&nbsp;
{% endif %}
{% if page.publink == "auto" %}
<a href="http://kwarc.github.io/bibs/{{ page.url | replace: '/projects/', '' | replace: '/', '' }}/">Publications</a>
{% elsif page.publink %}
<a href="{{page.publink}}">Publications</a>
{% endif %}
</div>
{% endif %}
</div>
</div>
</div>
<p>
<div class="caption">
{{content}}
</p>
</div>
\ No newline at end of file
</div>
</div>
_layouts/tagpage.html deleted 100644 → 0
View file @ 1cebb298
---
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
View file @ bcfe6ac0
---
layout: post
author: Michael Kohlhase
author: mkohlhase
title: Andrea Kohlhase starts Professorship at Hochschule Neu-Ulm
tags:
- announcement
- Announcements
---
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
View file @ bcfe6ac0
---
layout: post
author: Michael Kohlhase
author: mkohlhase
title: "Ph.D. Defense Fulya Horozal: Congratulations!"
tags:
- announcement
- Announcements
---
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.
......
_posts/2015-04-01-New-Phd.md
View file @ bcfe6ac0
---
layout: post
author: Michael Kohlhase
author: mkohlhase
title: "New KWARC Ph.D. Student: Dennis Müller"
tags:
- announcement
- Announcements
---
We are happy to welcome [Dennis Müller](https://kwarc.info/people/dmueller) to the KWARC group as a new Ph.D. student. Dennis received a Masters degree in Mathematics from Freiburg University and will be working on the [OAF Project](http://kwarc.info/projects/OAF), initially importing the PVS library into MathHub.
_posts/2015-05-08OpenDreamKit.md → _posts/2015-05-08-OpenDreamKit.md
View file @ bcfe6ac0
---
layout: post
author: Michael Kohlhase
author: mkohlhase
title: OpenDreamKit H2020 Grant accepted by EU
tags:
- announcement
- Announcements
---
We are delighted to announce that the Horizon 2020 proposal ``OpenDreamKit'' was accepted by the European commission:
......
_posts/2015-05-15-recruiting.md
View file @ bcfe6ac0
---
layout: post
author: Michael Kohlhase
author: mkohlhase
title: KWARC is recruiting Ph.D. Candidates and PostDocs (multiple Projects)
tags:
- recruiting
- Recruiting
---
The KWARC group at Jacobs University Bremen is looking for Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF, OpenDreamKit (others are in the pipeline)
......
_posts/2015-07-17-Best-Paper-Award-at-CICM.md
View file @ bcfe6ac0
---
layout: post
author: Michael Kohlhase
author: mkohlhase
title: Best Paper Award at CICM
tags:
- announcement
- Announcements
---
Mihnea Iancu and Michael Kohlhase received the best paper award at [CICM 2015](http://cicm-conference.org/2015/cicm.php) in Washington DC, USA (MKM/DML tracks) for their paper Math [Literate Knowledge Management via Induced Material](http://kwarc.info/kohlhase/papers/cicm15-induced.pdf)
_posts/2015-07-22-New-Demo-OEIS → _posts/2015-07-22-New-Demo-OEIS.md
View file @ bcfe6ac0
---
layout: post
author: Michael Kohlhase
author: mkohlhase
title: New Demo - Text and Formula search for OEIS
tags:
- demo
- Demos
---
Search engine for the [On-line Encyclopedia of Integer Sequences](https://oeis.org) based on [MathWebSearch](https://search.mathweb.org) and [MMT](https://trac.kwarc.info/MMT).
......
_posts/2016-07-11-KWARC-goes-FAU.md
View file @ bcfe6ac0
---
layout: post
author: Michael Kohlhase
author: mkohlhase
title: KWARC goes FAU Erlangen-Nürnberg
tags:
- announcement
- Announcements
---
Michael Kohlhase has accepted an offer for the Professorship for Knowledge Representation and Processing at [FAU Erlangen-Nürnberg](http://cs.fau.de) starting September 1. 2016. He will be an adjunct professor at [Jacobs University](http://jacobs-university.de) for another year; the actual move of the group will be over fall.