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)
Formal Methods and Semantic Technologies for Engineering Design Processes (FormalCAD)
Oct. 1, 2012 - Oct. 1, 2015
Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL)
April 1, 2011 - April 1, 2014
DAAD Reisekostenbeihilfe - eingeladener Vortrag auf dem Workshop über “Coalgebras in Computation, Logic, Probability and Quantum Physics”
March 18, 2013 - March 22, 2013
‹
1
2
3
›