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 307 additions and 54 deletions
_includes/semester.html
View file @ bcfe6ac0
......@@ -2,6 +2,8 @@
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 %}
......
_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 %}
_layouts/course.html
View file @ bcfe6ac0
......@@ -3,12 +3,12 @@ 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}}</span>
{% for person in page.instructors %}
{% include people_chip.html %}<br />
{% include people_chip.html person=person %}
{% endfor %}
<hr />
......@@ -17,7 +17,7 @@ layout: default
{% endif %}
{% for semester in page.semesters %}
{% include semester.html %}<br />
{% include semester.html semester=semester %}<br />
{% endfor %}
</div>
</div>
......
_layouts/default.html
View file @ bcfe6ac0
---
layout: compress
---
{% assign sorted_pages = site.pages | sort: "menu_order" %}
<!DOCTYPE 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,12 +2,16 @@
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"/>
{% 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>
......@@ -17,20 +21,18 @@ layout: default
{% assign role = site.roles | where: "id", page.role %}
{% assign role = role[0] %}
{{role.name}}
{{role.name}},
{% if page.start_date %}
<br />
KWARCie
{% unless page.end_date %}
since
{% endunless %}
{% assign date = page.start_date %}
{% include date.html %}
{% include date.html date=page.start_date %}
{% if page.end_date %}
&nbsp;-&nbsp;
{% assign date = page.end_date %}
{% include date.html %}
{% include date.html date=page.end_date %}
{% endif %}
{% endif %}
......@@ -39,13 +41,80 @@ layout: default
{{ 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}}">Website</a>
&nbsp;
<a target="_blank" href="{{page.website}}">
<img style="width:50px;height:50px" src="/public/www.jpg" title="Website"/>
</a>
{% endif %}
<a href="https://kwarc.info/{{ page.url | replace: '/people/', '' | replace: '/', '' }}/publications.html">Publications</a>
{% 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>
......
_layouts/post.html
View file @ bcfe6ac0
......@@ -11,8 +11,7 @@ layout: default
</span>
{% if post.subtitle %}<h6>{{post.subtitle}}</h6>{% endif %}
{% assign post = page %}
{% include post_meta.html %}
{% include post_meta.html post=page %}
</div>
</div>
......
_layouts/project.html
View file @ bcfe6ac0
......@@ -2,24 +2,30 @@
layout: default
---
{% assign id = page.url | replace: '/projects/', '' | replace: '/', '' %}
<div class="row">
<div class="col s12 m5 left">
<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>
{% assign date = page.start_date %}
{% include date.html %}
{% include date.html date=page.start_date %}
{% if page.end_date %}
<br />
<b>To:</b>
{% assign date = page.end_date %}
{% include date.html %}
<br />
<b>To:</b>
{% include date.html date=page.end_date %}
{% endif %}
</p>
<hr />
......@@ -55,7 +61,7 @@ layout: default
<!-- list all the people -->
{% for person in page.people %}
{% include people_chip.html %} <br />
{% include people_chip.html person=person %}
{% assign needs_break = true %}
{% endfor %}
......@@ -77,16 +83,46 @@ layout: default
</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 page.website %}
{% if hasaction %}
<div class="card-action">
{% if page.website %}
<a target="_blank" href="{{page.website}}">Website</a>
&nbsp;
{% endif %}
<a href="https://kwarc.info/{{ page.account }}/publications.html">Publications</a>
{% 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>
......@@ -94,4 +130,4 @@ layout: default
<div class="caption">
{{content}}
</div>
</div
</div>
_layouts/system.html
View file @ bcfe6ac0
......@@ -3,36 +3,64 @@ layout: default
---
<div class="row">
<div class="col s12 m5 left">
<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>From:</b>
{% assign date = page.start_date %}
{% include date.html %}
<b>Start:</b>
{% include date.html date=page.start_date %}
{% if page.end_date %}
<br />
<b>To:</b>
{% assign date = page.end_date %}
{% include date.html %}
<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 %} <br />
{% 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">
......@@ -44,7 +72,11 @@ layout: default
<a target="_blank" href="{{ page.repository }}">Repository</a>
&nbsp;
{% endif %}
<a href="https://kwarc.info/{{ page.account }}/publications.html">Publications</a>
{% 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>
......
_posts/2016-10-01-KWARC-established.md
View file @ bcfe6ac0
......@@ -5,4 +5,4 @@ title: KWARC established at FAU
tags:
- Announcements
---
With Dennis Müller movint to Erlangen, we have (the beginnings of) a group presence at FAU. The Winter semester begins later this month with an AI course.
With Dennis Müller moving to Erlangen, we have (the beginnings of) a group presence at FAU. The Winter semester begins later this month with an AI course.
_posts/2016-10-01.md deleted 100644 → 0
View file @ 800f5371
---
layout: post
author: mkohlhase
title: KWARC established at FAU
tags:
- Announcements
---
With Dennis Müller moving to Erlangen, we have (the beginnings of) a group presence at FAU.
_posts/2017-05-01-recruiting.md
View file @ bcfe6ac0
---
layout: post
author: mkohlhase
title: KWARC is recruiting Ph.D. Candidates and PostDocs (multiple Projects)
title: KWARC is recruiting (multiple Projects)
tags:
- Recruiting
---
The KWARC group at [FAU Erlangen-Nürnberg](http://cs.fau.de) is looking for Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF, OpenDreamKit (others are in the pipeline)
The KWARC group at [FAU Erlangen-Nürnberg](http://cs.fau.de) is looking for student
developers, Ph.D. candidates and PostDocs in multiple MKM-related projects: e.g. OAF,
OpenDreamKit (others are in the pipeline). Details and an up-to-date listing can be found at [the KWARC hiring page](/hiring/).
The KWARC group in research and development in foundations of mathematics, flexiformal knowledge representation for STEM (Science, Technology, Engineering, and Mathematics), flexiformalization, semantics extraction from STEM documents, and knowledge management on this basis.
Candidates interested in the above positions should introduce themselves and inquire for further information by sending email with the usual documents to michael.kohlhase@fau.de
Candidates interested in the above positions should introduce themselves and inquire for further information by sending email with the usual documents to [michael.kohlhase@fau.de](mailto: michael.kohlhase@fau.de)
_posts/2017-09-01-tetrapod.md 0 → 100644
View file @ bcfe6ac0
---
layout: post
author: dmueller
title: Workshop on Modular Knowledge (Tetrapod), FLoC 2018
tags:
- event
---
The KWARC group is (jointly with with Jacques Carette from McMaster University)
co-organizing a [workshop on Modular Knowledge](/events/Tetrapod-2018) at the [Federated Logic Conference 2018, Cambridge](http://www.floc2018.org/), July 13.
_posts/2017-09-01-tom.md 0 → 100644
View file @ bcfe6ac0
---
layout: post
author: mkohlhase
title: "New KWARC Ph.D. Student:Tom Wiesing"
tags:
- Announcements
---
We are happy to welcome [Tom Wiesing](/people/twiesing) to the KWARC group as a new Ph.D. student.
Jonas received his Master's degree in Computer Science from Jacobs University Bremen; supervised by the KWARC group. He will be working on the [OpenDreamKit Project](/projects/odk) on the [MathHub Portal](http://mathhub.info).
_posts/2018-03-22-recruiting.md 0 → 100644
View file @ bcfe6ac0
---
layout: post
author: mkohlhase
title: "KWARC is recruiting: multiple Projects"
tags:
- Recruiting
---
The KWARC group at [FAU Erlangen-Nürnberg](http://cs.fau.de) is looking for student
developers, Ph.D. candidates and PostDocs in multiple MKM-related projects. Details and an up-to-date listing can be found
at [the KWARC hiring page](/hiring/).
Currently we are seeking applications for the following projects:
* [ALMANAC: Argumentation Logics Manager & Argument Context Graph (DFG 2018-2020)](/projects/almanac/)
Doctoral Students and PostDocs with a love for logic, language, and argumentation.
* [OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics](/projects/odk)
Doctoral Students and PostDocs with an interest in mathematics, computation, and system
integration.
The KWARC group engages in research and development in foundations of mathematics, flexiformal knowledge representation for STEM (Science, Technology, Engineering, and Mathematics), flexiformalization, semantics extraction from STEM documents, and knowledge management on this basis.
Candidates interested in the above positions should introduce themselves and inquire for further information by sending email with the usual documents to [michael.kohlhase@fau.de](mailto: michael.kohlhase@fau.de)
_posts/2018-06-01-jonas.md 0 → 100644
View file @ bcfe6ac0
---
layout: post
author: mkohlhase
title: "New KWARC Ph.D. Student: Jonas Betzendahl"
tags:
- Announcements
---
We are happy to welcome [Jonas Betzendahl](/people/jbetzendahl) to the KWARC group as a new Ph.D. student.
Jonas received his Master's degrees in Computer Science from the University of Bielefeld; supervised by the KWARC group. He will be working on the [OAF Project](/projects/OAF) on reasoning with undefinedness.
_posts/2018-09-01-max_rapp.md 0 → 100644
View file @ bcfe6ac0
---
layout: post
author: mkohlhase
title: "New KWARC Ph.D. Student: Max Rapp"
tags:
- Announcements
---
We are happy to welcome [Max Rapp](https://kwarc.info/people/mrapp) 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/2018-11-01-postdocs.md 0 → 100644
View file @ bcfe6ac0
---
layout: post
author: mkohlhase
title: "Two new KWARC PostDocs"
tags:
- Announcements
---
We are happy to welcome two new postdoctoral researchers to the KWARC group: [Katja Berčič](/people/kbercic) and [Chenwei Shi](/people/cshi).
Katja received her Ph.D. in mathematics from the University of Ljubljana in 2015 and will be working on the [OpenDreamKit Project](http://opendreamkit.org), mostly on extending [MathHub.info](http://mathhub.info) with a generic mathematical data aspect.
Chenwei received his Ph.D. in Logic at the University of Amsterdam in 2018 and will be working on the [ALMANAC](/projects/almanac) project.