Logic List Mailing Archive

Graduiertenkolleg Dresden

TU DRESDEN
                     Graduiertenkolleg 334*

        Spezifikation diskreter Prozesse und Prozesssysteme durch
                 operationelle Modelle und Logiken

       http://www.orchid.inf.tu-dresden.de/gk-spezifikation/


Im Rahmen dieses Graduiertenkollegs sind ab dem 01. April 2003 mehrere
Doktorandenstipendien sowie ein Postdoktorandenstipendium mit einer
maximalen Laufzeit von 3 bzw. 2 Jahren zu vergeben.

Siehe:

http://www.orchid.inf.tu-dresden.de/gk-spezifikation/indexb.html#6