FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Overview
Publications
(266)
Research Grants
(23)
Project Types
Toggle all
Third Party Funds Group - Overall project
Third Party Funds Group - Overall project
Third Party Funds Group - Sub project
Third Party Funds Group - Sub project
Third party funded individual grant
Third party funded individual grant
Internally funded project
Internally funded project
FAU own research funding: EFI / IZKF / EAM ...
FAU own research funding: EFI / IZKF / EAM ...
Non-FAU Project
Non-FAU Project
Status
All
Upcoming
Ongoing
Finished
Project year
From
To
Filters (inactive)
Rekonstruktion von Argumenten aus Noisy Text
June 1, 2018 - May 31, 2021
Reconstructing Arguments from Noisy Text (DFG Priority Programme 1999: RATIO) (RANT)
Jan. 1, 2018 - Dec. 31, 2020
A High Level Language for Monad-based Processes (HighMoon/HighMoon2)
Sept. 1, 2013 - Oct. 31, 2020
OpenDreamKit (OpenDreamKit)
Open Digital Research Environment Toolkit for the Advancement of Mathematics (OpenDreamKit)
Sept. 1, 2015 - Aug. 31, 2019
BottlePost- ein sicheres, providerloses zu 100% dezentralisiertes peer-to-peer Emailsystem, welches die Privatsphäre auf innovative und benutzerfreundliche Art und Weise, durch automatische Verwendung von "State-of-the-Art" Verschlüsselungstechnologie und Dezentralisierung schützt.
Oct. 1, 2017 - Sept. 30, 2018
Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX)
Oct. 1, 2014 - July 31, 2018
DAAD Reisekostenbeihilfe - Eingeladener Vortrag auf dem Workshop “{Symmetry, Logic, Computation}” des Simons Institutes in Berkeley CA, USA
Nov. 7, 2016 - Nov. 10, 2016
Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics (GenMod)
May 1, 2008 - Sept. 30, 2016
Kooperation Network Time Protocols
April 1, 2013 - March 31, 2016
Advances in Coalgebraic Automata Theory
Jan. 1, 2015 - Dec. 31, 2015
‹
1
2
3
›