OpenDreamKit (OpenDreamKit)

Third Party Funds Group - Sub project


Acronym: OpenDreamKit

Start date : 01.09.2015

End date : 31.08.2019

Overall project details

Overall project

Open Digital Research Environment Toolkit for the Advancement of Mathematics (OpenDreamKit) Sept. 1, 2015 - Aug. 31, 2019

Project details

Involved:

Michael Kohlhase Project Leader Florian Rabe Project Member Tom Wiesing Project Member Theresa Pollinger Project Member Katja Bercic Project Member

Contributing FAU Organisations:

Professur für Wissensrepräsentation und -verarbeitung Lehrstuhl für Informatik 8 (Theoretische Informatik)

Funding Source

EU - 8. Rahmenprogramm - Horizon 2020