Weight Monitoring with Linear Temporal Logic: Complexity and Decidability
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Sascha Wunderlich - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
18 Juli 2014
Beschreibung
Speaker: Sascha WunderlichEvent: 23rd EACSL Annual Conference on COMPUTER SCIENCE LOGIC (CSL) and 29th Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
Location: Wien
Country: Österreich
Duration of event: 18.07.2014-18.07.2014
Konferenz
| Titel | Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
|---|---|
| Kurztitel | CSL-LICS '14 |
| Veranstaltungsnummer | |
| Dauer | 14 - 18 Juli 2014 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Wien |
| Land | Österreich |