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 280 additions and 52 deletions
_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
View file @ bcfe6ac0
......@@ -3,7 +3,7 @@ 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>
......
_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="http://kwarc.github.io/bibs/{{ page.url | replace: '/people/', '' | replace: '/', '' }}/">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,23 +3,29 @@ 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 />
......@@ -37,13 +43,24 @@ layout: default
{% 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">
......@@ -55,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 @ 0797b71b
---
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-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.
_posts/2018-12-18-MMTVersion.md 0 → 100644
View file @ bcfe6ac0
---
layout: post
author: dmueller
title: "New MMT Version (15.0.0) Released"
tags:
- Announcements
---
A new [MMT Version (15.0.0)](https://github.com/UniFormal/MMT/releases/tag/v15.0.0) has been released.
_posts/2018-12-19-DiscreteZOO.md 0 → 100644
View file @ bcfe6ac0
---
layout: post
author: kbercic
title: "DiscreteZOO back online"
tags:
- Announcements
---
DiscreteZOO illustrates some of the possibilities for computer-supported management
of collections of finite combinatorial (discrete) objects, particularly graphs.
For technical reasons, the website has been offline for several months,
but is now back online ([discretezoo.xyz](https://discretezoo.xyz/)),
hosted on KWARC's servers.
\ No newline at end of file
_posts/2018-12-19-IntelliJ.md 0 → 100644
View file @ bcfe6ac0
---
layout: post
author: dmueller
title: "New MMT-Plugin for IntelliJ"
tags:
- Announcements
---
A new [MMT-Plugin](https://plugins.jetbrains.com/plugin/11450-mmt) for the [IntelliJ IDE](https://www.jetbrains.com/idea/) has been released, adding usual IDE-functionality (syntax highlighting, cross referencing, project management etc.) for MMT to the IDE.
Documentation and sources available [here](https://github.com/UniFormal/IntelliJ-MMT/)
_posts/2018-12-19-MathDB-Survey.md 0 → 100644
View file @ bcfe6ac0
---
layout: post
author: kbercic
title: "Kicking off a survey of mathematical data collections"
tags:
- Announcements
---
While there appears to be a lot of mathematical data collections
(in particular collections of concrete mathematical objects) out there,
it can be hard to track them down.
One of the end goals of the survey is a [website](https://mathdb.mathhub.info)
with information on mathematical data resources,
the first version of which is already online.
If you know of some such data, we welcome you to leave an issue on the
[survey wiki](https://github.com/MathHubInfo/Documentation/wiki/Math-Databases).
\ No newline at end of file