.gitignore

@@ -50,3 +50,8 @@ node_modules
 *.toc
 *.out
 *.nav
+auto
+
+# bundle
+.bundle
+vendor

.gitlab-ci.yml

@@ -36,6 +36,6 @@ deploy_staging:
     # build the website
     - bundle exec jekyll build -d _site
     # copy over all the files into the deployment folder
-    - cd _site && rsync -rv -e "ssh -p $SSH_DEPLOY_PORT" --checksum --exclude='Gemfile' --delete-excluded --delete ./ root@static.kwarc.info:/root/data --delete
+    - cd _site && rsync -rv -e "ssh -p $SSH_DEPLOY_PORT" --checksum --exclude='Gemfile' --delete-excluded --delete ./ root@deploy.kwarc.info:/root/data --delete
   only:
     - master
\ No newline at end of file

Gemfile

 source 'https://rubygems.org'
 gem 'github-pages', group: :jekyll_plugins
+
+gem "sprockets", "~> 3.7"
+gem "webrick", "~> 1.7"
+
+# Fix ffi version to fix the following bug:
+#   ffi-1.17.0-x86_64-linux-musl requires rubygems version >= 3.3.22, which is
+#   incompatible with the current version, 2.7.6.2
+gem "ffi", "< 1.17.0"

_config.yml

@@ -3,7 +3,7 @@ permalink:        /news/:year/:month/:day/:title/
 # Setup
 title:               KWARC
 tagline:             'Knowledge Adaptation and Reasoning for Content '
-description:         'The Research Group of the Professorship for Knowledge Representation and Processing at <a href="https://fau.de" class="black-text">FAU Erlangen-Nürnberg</a> - <a href="https://cs.fau.de" class="black-text">Computer Science</a> (previously <a href="https://jacobs-university.de/" class="black-text">Jacobs University</a>). '
+description:         'The Research Group of the Professorship for Knowledge Representation and Processing at <a href="https://fau.de" class="black-text">FAU Erlangen-Nürnberg</a> - <a href="https://cs.fau.de" class="black-text">Computer Science</a>. '
 url:                 https://kwarc.info
 baseurl:             ''
 paginate:            10
@@ -28,7 +28,7 @@ exclude:
 author:
   name:              'The KWARC Group'
   url:               http://kwarc.info
-  email:             kohlhase@kwarc.info
+  email:             michael.kohlhase@fau.de
 
 semesters:
     former:
@@ -64,15 +64,27 @@ semesters:
         - WS16/17
         - SS17
         - WS17/18
-    current: SS18
-    upcoming: WS18/19
+        - SS18
+        - WS18/19
+        - SS19
+        - WS19/20
+        - SS20
+        - WS20/21
+        - SS21
+        - WS21/22
+        - SS22
+        - WS22/23
+        - SS23 
+    current: WS24/25  
+    upcoming: SS25
 
 # Custom vars
 version:             0.3.0
-repository:          https://gl.kwarc.info/static/www.kwarc.info
+repository:          https://gl.kwarc.info/kwarc/kwarc.info/www
 tagfolder:           tag
 
 materialize:         materialize
+material-icons:      material-icons
 jquery:              jquery-3.2.1
 fontawesome:         font-awesome-4.7.0
 
@@ -161,6 +173,9 @@ roles:
     -
         id: bachelor-student
         name: "Bachelor Student"
+    -
+        id: support-staff
+        name: "Technical & Support Staff"
 
 
 # default values -- the one for all **must** be first

_includes/footer.html

@@ -21,7 +21,7 @@
       
       <div class="col l2 s12">
         <h5 class="white-text">Editing</h5>
-        <a href="{{site.repository}}/edit/master/{% if page.source %}{{ page.source }}{% else %}{{ page.path }}{% endif %}" title="Edit this page" class="waves-effect waves-teal btn-flat">
+        <a href="{{site.repository}}/-/edit/master/{% if page.source %}{{ page.source }}{% else %}{{ page.path }}{% endif %}" title="Edit this page" class="waves-effect waves-teal btn-flat">
           <i class="fa fa-pencil-square-o" aria-hidden="true"></i> Edit this page
         </a>
         <a href="{{site.repository}}/#repository-holding-the-sources-of-the-kwarcinfo-website"
@@ -34,11 +34,9 @@
   </div>
   <div class="footer-copyright">
     <div class="container">
-      &copy; 2017 The KWARC Group
-      <span class="right">
-        <a href="mailto:{{ site.author.email }}" title="E-Mail" class="black-text">
-          <i class="fa fa-envelope" aria-hidden="true"></i> Contact E-Mail
-        </a>
+      &copy; {{ site.time | date: '%Y' }} The KWARC Group
+      <span class="right legal-links">
+        <script src="https://privacy.kwarc.info/legal.js"></script>
       </span>
     </div>
   </div>

_includes/head.html

@@ -14,8 +14,8 @@
         {% endif %}
     </title>
     
-    <!--Import Google Icon Font -->
-    <link href="https://fonts.googleapis.com/icon?family=Material+Icons" rel="stylesheet">
+    <!-- Material CSS font -->
+    <link type="text/css" rel="stylesheet" href="{{ site.baseurl }}/public/{{ site.material-icons }}/font.css">
     
     <!-- Import materialize -->
     <link type="text/css" rel="stylesheet" href="{{ site.baseurl }}/public/{{ site.materialize }}/css/materialize.min.css"  media="screen,projection"/>

_includes/header.html

@@ -21,7 +21,7 @@
     <div class="userView">
       <a href="{{ site.baseurl }}/">
           <img src="{{ site.baseurl }}/public/kwarc_logo.svg" width="180px" height="180px" /> 
-          <img src="{{ site.baseurl }}/public/fau_logo.png" width="180px" height="37px" style="position: relative; left: 30px; "/>
+          <img src="{{ site.baseurl }}/public/fau_logo_hoch.svg" width="180px" style="position: relative; left: 30px; "/>
       </a>
     </div>
   </li>
@@ -33,4 +33,4 @@
       {% include menu_single.html item=item %}
     {% endif %}
   {% endfor %}
-</ul>
\ No newline at end of file
+</ul>

_includes/people_list.html

@@ -14,7 +14,7 @@
             <h5>{{role.name}}(s)</h5></li>
             {% for person in rollers %}
                 <li class="collection-item avatar">
-                    <img src="/{{person.pic}}" alt="" class="circle"/>
+                    {% if person.pic %}<img src="/{{person.pic}}" alt="" class="circle"/>{% endif %}
                     <a href="{{person.url}}" class="title">{{person.fullname}}</a>
                     <p>
                       {% if person.start_date %}

_includes/psitem.html

@@ -4,8 +4,8 @@
 
 {% assign item = include.item %}
 
-<li class="collection-item">
-<!-- XXX improve me    {% if item.logo %} <img style="width:100px" src="/{{item.logo}}" alt="{{item.title}} logo"/> {% endif %} -->
+<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 %}

_layouts/person.html

@@ -9,7 +9,9 @@ layout: default
     <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>
@@ -19,8 +21,9 @@ layout: default
                 {% assign role = site.roles | where: "id", page.role %}
                 {% assign role = role[0] %}
                 
-                {{role.name}}
+                {{role.name}}, 
                 {% if page.start_date %}
+                    KWARCie
                     {% unless page.end_date %}
                         since
                     {% endunless %}
@@ -37,11 +40,63 @@ layout: default
                     <hr />
                     {{ page.affiliation }}
                 {% endif %}
+            </div>
 
-                
-                <hr />
-                <!-- Projects -->
+            <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: '/', '' %}
@@ -49,10 +104,9 @@ layout: default
                     {% endif %}
                 {% endfor %}
 
-                <hr />
-
                 <!-- 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 %}
@@ -62,18 +116,6 @@ layout: default
                     {% endunless %}
                 {% endfor %}
             </div>
-            <div class="card-action">
-                {% if page.website %}
-                <a target="_blank" href="{{page.website}}">Website</a>
-                &nbsp;
-                {% endif %}
-                
-                {% if page.publink == "auto" %}
-                  <a href="http://kwarc.github.io/bibs/{{ username }}/">Publications</a>
-                {% elsif page.publink %}
-                  <a href="{{page.publink}}">Publications</a>
-                {% endif %}
-            </div>
         </div>
         
     </div>

_posts/2017-09-01-tom.md

+---
+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-06-01-jonas.md

+---
+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

+---
+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

+---
+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

+---
+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

+---
+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

+---
+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

+---
+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

_posts/2019-03-24-MMTVersion.md

+---
+layout: post
+author: dmueller
+title: "New MMT Version (16.0.0) Released"
+tags: 
+   - Announcements
+---
+A new [MMT Version (16.0.0)](https://github.com/UniFormal/MMT/releases/tag/v16.0.0) has been released.

_posts/2019-12-06-frederik.md

+---
+layout: post
+author: mkohlhase
+title: "Frederik Schaefer third best teaching assistant of the Technical Faculty at FAU"
+tags: 
+   - Announcements
+---
+KWARC's own Frederik Schaefer has been evaluated the third-best teaching assistant of the
+Technical Faculy ([Wahlfach 5-19 evaluations](https://www.apps.tf.fau.de/evaluation/ss19/index.html) for his work TAing [Artificial Intelligence II](http://kwarc.info/courses/ai2/). We are very proud of him. 
+