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 531 additions and 170 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 %}
_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 %}
<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
---
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,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
......@@ -11,13 +11,12 @@ 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>
</div>
<p>
<div class="caption">
{{content}}
</p>
</div>
</div>
\ No newline at end of file
_layouts/project.html
View file @ bcfe6ac0
......@@ -2,81 +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>
{% assign date = page.start %}
{% include date.html %}
<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.end %}
<b>To:</b>
{% assign date = page.end %}
{% include date.html %}
{% 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: ',' %}
{% 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 %}
{% 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,67 +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>
{% assign date = page.start %}
{% include date.html %}
<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.end %}
<b>To:</b>
{% assign date = page.end %}
{% include date.html %}
{% 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: ',' %}
{% 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 %}
{% for person in people %}
{% include people_chip.html %}
{% 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.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>
_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 @ 92e0037f
---
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.