Quantitative Models: Expressiveness and Analysis
Aktivität: Veranstaltungsorganisation und -teilnahmen › Organisation einer Veranstaltung
Personen und Einrichtungen
- Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Veranstalter:in)
- Manfred Droste - , Universität Leipzig (Veranstalter:in)
- Paul Gastin - , École normale supérieure Paris-Saclay (Veranstalter:in)
- Kim Guldstrand Larsen - , Aalborg University (Veranstalter:in)
Datum
17 Jan. 2010 → 22 Jan. 2010
Seminar
| Titel | Quantitative Models: Expressiveness and Analysis |
|---|---|
| Untertitel | Dagstuhl Seminar 10031 |
| Veranstaltungsnummer | |
| Dauer | 17 - 22 Januar 2010 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Schloss Dagstuhl |
| Stadt | Wadern |
| Land | Deutschland |