Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • zolekode-master-patch-26857
  • zolekode-master-patch-78201
  • zolekode-master-patch-54259
  • zolekode-master-patch-38209
5 results

2016-10-01-KWARC-established.md

Blame
    • 2016-10-01-KWARC-established.md 260 B 
    layout: post
author: Michael Kohlhase
title: KWARC established at FAU
tags: 
   - announcement

    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.