Aktivitaet2003

Aus International Center for Computational Logic
Version vom 14. Oktober 2014, 17:31 Uhr von Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Assoziiertes Mitglied im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA) |Beschreibung EN=Associated Member i…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

Assoziiertes Mitglied im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)


  • Sebastian Rudolph
  • Assoziiertes Mitglied im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)Associated Member in the DFG Research Training Group "Quantitative Logics and Automata" (QuantLA) (★)
  • http://lat.inf.tu-dresden.de/quantla/
  • 2013 – andauernd