Aktivitaet2003: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
(Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Assoziiertes Mitglied im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA) |Beschreibung EN=Associated Member i…“)
 
Keine Bearbeitungszusammenfassung
Zeile 1: Zeile 1:
{{Aktivität
{{Aktivität
|Beschreibung DE=Assoziiertes Mitglied im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)  
|Beschreibung DE=Principal Investigator im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)
|Beschreibung EN=Associated Member in the DFG Research Training Group "Quantitative Logics and Automata" (QuantLA)
|Beschreibung EN=Principal Investigator in the DFG Research Training Group "Quantitative Logics and Automata" (QuantLA)
|Person=Sebastian Rudolph
|Person=Sebastian Rudolph
|URL=http://lat.inf.tu-dresden.de/quantla/
|URL=https://lat.inf.tu-dresden.de/quantla/index.php/participants/investigators
|Start(Jahr)=2013
|Start(Jahr)=2013
|Ende(Jahr)=andauernd
|Ende(Jahr)=andauernd
|Rank=★★
}}
}}

Version vom 6. Februar 2021, 23:06 Uhr

Principal Investigator im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)