[an error occurred while processing this directive] [an error occurred while processing this directive]
Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
[an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive]
Institut für Formale Methoden der Informatik

Forschungskontakte

englishicon
 
- Abteilung Theoretische Informatik / Formale Sprachen der Universität Tübingen
- Eötvös Loránd Universität Ungarn
- Institut für Algebra, Universität Dresden
- LIAFA Paris
- ENS Cachan, Frankreich
- LaBRI Bordeaux, Frankreich
- Laboratory of Mathematical Logic, Steklov Institut, St. Petersburg, Rußland
- Projekt PROCOPE: Projektbezogener Personenaustausch mit Frankreich