38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (Veranstaltung)
Aktivität: Begutachtung von Manuskripten und herausgeberische Tätigkeiten › Herausgebertätigkeit
Personen und Einrichtungen
- Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Herausgeber:in)
- Luís Caires - , Universidade NOVA de Lisboa (Herausgeber:in)
Datum
18 Juni 2018 → 21 Juni 2018
Konferenz
Titel | 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems |
---|---|
Untertitel | Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018 |
Kurztitel | FORTE 2018 |
Veranstaltungsnummer | |
Dauer | 18 - 21 Juni 2018 |
Webseite | |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | |
Stadt | Madrid |
Land | Spanien |