menu
KWARC established at FAU by
Prof. Dr. Michael Kohlhase
on
01 Oct 2016
in
Announcements

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.