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 532 additions and 158 deletions
{% 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 %}
......@@ -6,12 +6,23 @@ layout: default
<div class="col s12 m5 right">
<div class="card">
<div class="card-content">
<span class="card-title">{{page.title}} ({{page.taught}})</span>
<p>{{page.instructor}}</p>
<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
---
layout: compress
---
{% assign sorted_pages = site.pages | sort: "menu_order" %}
<!DOCTYPE html>
<html lang="en-us">
<!-- url = {{page.url}} -->
{% include head.html %}
......@@ -29,8 +36,4 @@
<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,24 +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}}">Curriculum Vitae</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>
\ No newline at end of file
</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,37 +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>
{% if page.subtitle %}<h2>{{page.subtitle}}</h2>{% endif %}
{% if page.funding %}
<p>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 %}
</p>
{% endif %}
{% assign id = page.url | replace: '/projects/', '' | replace: '/', '' %}
{{ content }}
<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 %}
{% if page.people %}
<h3>People</h3>
{{page.people}}
{% endif %}
<!-- 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 %}
{% if page.collaborators %}
<h3>Collaborators</h3>
{{page.collaborators}}
{% endif %}
{% if page.homepage %}
<h3>Project Home Page</h3>
<a href="{{page.url}}">{{page.homepage}}</a>
{% endif %}
</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>
......@@ -2,29 +2,86 @@
layout: default
---
<div class="page">
<h1 class="page-title">
{{page.title}}
{% if page.start %}
{{page.start}} - {% if page.end %} {{page.end}}{% endif %}
{% endif %}
</h1>
{% if page.subtitle %}<h2>{{page.subtitle}}</h2>{% 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 %}
<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 %}
{{ content }}
{% 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.people %}
<h3>People</h3>
{{page.people}}
{% endif %}
{% if page.supported-by %}
<hr />
<b>Funded by: </b>
{% if page.collaborators %}
<h3>Collaborators</h3>
{{page.collaborators}}
{% endif %}
{% if page.homepage %}
<h3>Project Home Page</h3>
<a href="{{page.url}}">{{page.homepage}}</a>
{% endif %}
{% 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.
......
---
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.
---
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:
......