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
Showing
with 600 additions and 166 deletions
{% comment %}
Shows meta information about a post.
Expects the 'post' to show as an argument.
{% endcomment %}
by
{% include people_chip.html person=include.post.author %}
on
<div class="chip">
{% if include.post.date %}
{{ include.post.date | date_to_string }}
{% else %}
There is no date
{% endif %}
</div>
{% if include.post.location %}
at
<div class="chip">
{{include.post.location}}
</div>
{% endif %}
in
{% for tag in include.post.tags %}
<div class="chip">
{{tag}}
</div>
{% endfor %}
---
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>
{% comment %}
This page creates a single 'chip' for linking to a project.
It expects the name of the project as the 'project' variable
{% endcomment %}
{% capture purl %}/projects/{{include.project}}/{% endcapture %}
{% assign pp = site.pages | where: "url", purl | first %}
{% if pp %}
<a href="{{ site.baseurl }}{{purl}}">
<div class="chip">
{% if pp.logo %}
<img src="{{ site.baseurl }}/{{pp.logo}}"/>
{% endif %}
{{pp.shorttitle}}
</div>
</a>
{% else %}
<div class="chip">
{{include.project}}
</div>
{% endif %}
{% 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>
{% 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
{% 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>
{% 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 %}
{% 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 %}
---
# Jekyll layout that compresses HTML
# v3.0.2
# http://jch.penibelst.de/
# © 2014–2015 Anatol Broder
# MIT License
---
{% capture _LINE_FEED %}
{% endcapture %}{% if site.compress_html.ignore.envs contains jekyll.environment %}{{ content }}{% else %}{% capture _content %}{{ content }}{% endcapture %}{% assign _profile = site.compress_html.profile %}{% if site.compress_html.endings == "all" %}{% assign _endings = "html head body li dt dd p rt rp optgroup option colgroup caption thead tbody tfoot tr td th" | split: " " %}{% else %}{% assign _endings = site.compress_html.endings %}{% endif %}{% for _element in _endings %}{% capture _end %}</{{ _element }}>{% endcapture %}{% assign _content = _content | remove: _end %}{% endfor %}{% if _profile and _endings %}{% assign _profile_endings = _content | size | plus: 1 %}{% endif %}{% for _element in site.compress_html.startings %}{% capture _start %}<{{ _element }}>{% endcapture %}{% assign _content = _content | remove: _start %}{% endfor %}{% if _profile and site.compress_html.startings %}{% assign _profile_startings = _content | size | plus: 1 %}{% endif %}{% if site.compress_html.comments == "all" %}{% assign _comments = "<!-- -->" | split: " " %}{% else %}{% assign _comments = site.compress_html.comments %}{% endif %}{% if _comments.size == 2 %}{% capture _comment_befores %}.{{ _content }}{% endcapture %}{% assign _comment_befores = _comment_befores | split: _comments.first %}{% for _comment_before in _comment_befores %}{% if forloop.first %}{% continue %}{% endif %}{% capture _comment_outside %}{% if _carry %}{{ _comments.first }}{% endif %}{{ _comment_before }}{% endcapture %}{% capture _comment %}{% unless _carry %}{{ _comments.first }}{% endunless %}{{ _comment_outside | split: _comments.last | first }}{% if _comment_outside contains _comments.last %}{{ _comments.last }}{% assign _carry = false %}{% else %}{% assign _carry = true %}{% endif %}{% endcapture %}{% assign _content = _content | remove_first: _comment %}{% endfor %}{% if _profile %}{% assign _profile_comments = _content | size | plus: 1 %}{% endif %}{% endif %}{% assign _pre_befores = _content | split: "<pre" %}{% assign _content = "" %}{% for _pre_before in _pre_befores %}{% assign _pres = _pre_before | split: "</pre>" %}{% assign _pres_after = "" %}{% if _pres.size != 0 %}{% if site.compress_html.blanklines %}{% assign _lines = _pres.last | split: _LINE_FEED %}{% capture _pres_after %}{% for _line in _lines %}{% assign _trimmed = _line | split: " " | join: " " %}{% if _trimmed != empty or forloop.last %}{% unless forloop.first %}{{ _LINE_FEED }}{% endunless %}{{ _line }}{% endif %}{% endfor %}{% endcapture %}{% else %}{% assign _pres_after = _pres.last | split: " " | join: " " %}{% endif %}{% endif %}{% capture _content %}{{ _content }}{% if _pre_before contains "</pre>" %}<pre{{ _pres.first }}</pre>{% endif %}{% unless _pre_before contains "</pre>" and _pres.size == 1 %}{{ _pres_after }}{% endunless %}{% endcapture %}{% endfor %}{% if _profile %}{% assign _profile_collapse = _content | size | plus: 1 %}{% endif %}{% if site.compress_html.clippings == "all" %}{% assign _clippings = "html head title base link meta style body article section nav aside h1 h2 h3 h4 h5 h6 hgroup header footer address p hr blockquote ol ul li dl dt dd figure figcaption main div table caption colgroup col tbody thead tfoot tr td th" | split: " " %}{% else %}{% assign _clippings = site.compress_html.clippings %}{% endif %}{% for _element in _clippings %}{% assign _edges = " <e;<e; </e>;</e>;</e> ;</e>" | replace: "e", _element | split: ";" %}{% assign _content = _content | replace: _edges[0], _edges[1] | replace: _edges[2], _edges[3] | replace: _edges[4], _edges[5] %}{% endfor %}{% if _profile and _clippings %}{% assign _profile_clippings = _content | size | plus: 1 %}{% endif %}{{ _content }}{% if _profile %} <table id="compress_html_profile_{{ site.time | date: "%Y%m%d" }}" class="compress_html_profile"> <thead> <tr> <td>Step <td>Bytes <tbody> <tr> <td>raw <td>{{ content | size }}{% if _profile_endings %} <tr> <td>endings <td>{{ _profile_endings }}{% endif %}{% if _profile_startings %} <tr> <td>startings <td>{{ _profile_startings }}{% endif %}{% if _profile_comments %} <tr> <td>comments <td>{{ _profile_comments }}{% endif %}{% if _profile_collapse %} <tr> <td>collapse <td>{{ _profile_collapse }}{% endif %}{% if _profile_clippings %} <tr> <td>clippings <td>{{ _profile_clippings }}{% endif %} </table>{% endif %}{% endif %}
......@@ -2,8 +2,27 @@
layout: default
---
<div class="page">
<h1 class="page-title">{{page.title}} ({{page.taught}})</h1>
<h2>{{page.instructor}}</h2>
{{ 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>
{% 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>
<div class="caption">
{{content}}
</div>
</div>
\ No newline at end of file
---
layout: compress
---
{% assign sorted_pages = site.pages | sort: "menu_order" %}
<!DOCTYPE html>
<html lang="en-us">
<!-- url = {{page.url}} -->
{% include head.html %}
<body>
{% include nav.html %}
<header>
{% include header.html %}
</header>
<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-blue-transparent.png" 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>
<main>
<div class="container" id="body">
{{ content }}
</div>
</header>
</main>
<div class="container main-content" >
{{ content }}
</div>
<footer>
{% include footer.html %}
</footer>
{% include footer.html %}
<!-- And also jQuery -->
<script src="{{ site.baseurl }}/public/js/{{ site.jquery }}.min.js"></script>
<!-- Materialize javascript components -->
<script src="{{ site.baseurl }}/public/{{ site.materialize }}/js/materialize.min.js"></script>
<!-- Include all compiled plugins (below), or include individual files as needed -->
<script src="{{ site.baseurl }}/public/{{ site.bootstrap }}/js/bootstrap.min.js"></script>
<!-- and our custom scripts -->
<script src="{{ site.baseurl }}/public/js/kwarc.js"></script>
</body>
<!--
Built: {{ site.time }}
Commit: {{ site.github.build_revision }}
-->
</html>
---
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>
......@@ -2,7 +2,6 @@
layout: default
---
<div class="page">
<h1 class="page-title">{{ page.title }}</h1>
<div class="row">
{{ content }}
</div>
</div>
\ No newline at end of file
......@@ -2,14 +2,125 @@
layout: default
---
<div class="page">
<h1 class="page-title">{{ page.fullname }}</h1>
{% if page.fulltitle %}<h2>{{ page.fulltitle }}</h2>{% endif %}
<h3>
<a href="https://kwarc.info/{{ page.account }}/publications.html">Pulibcations</a>
{% if page.cv %}&nbsp;<a href="/{{page.cv}}">Curriculum Vitae</a>{% endif %}
</h3>
<img src="/{{page.pic}}" width="300"/>
{{ content }}
{% assign username = page.url | replace: '/people/', '' | replace: '/', '' %}
<div class="row">
<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>
......@@ -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
......@@ -2,17 +2,132 @@
layout: default
---
<div class="page">
<h1 class="page-title">
{{page.title}}
{% if page.start %}
{{page.start}} - {% if page.end %} {{page.end}}{% endif %}
{% endif %}
</h1>
{{ content }}
{% assign id = page.url | replace: '/projects/', '' | replace: '/', '' %}
{% if page.people %}
<h3>People:</h3>
{{page.people}}
{% endif %}
<div class="row">
<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 %}
{% 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 class="caption">
{{content}}
</div>
</div>
---
layout: default
---
<div class="row">
<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 %}
{% 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 class="caption">
{{content}}
</div>
</div>
---
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 %}
---
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.
---
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.
......