SOQE 2017: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Christoph Wernhard (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=SOQE 2017 |Beschreibung EN=Workshop on Second-Order Quantifier Elimination and Related Topics |Veranstaltungsart=Konferenz |Start=201…“) |
Christoph Wernhard (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Veranstaltung | {{Veranstaltung | ||
|Titel EN=SOQE 2017 | |Titel EN=SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics | ||
|Beschreibung EN=Workshop on Second-Order Quantifier Elimination and Related Topics | |Beschreibung EN=Workshop on Second-Order Quantifier Elimination and Related Topics | ||
|Veranstaltungsart=Konferenz | |Veranstaltungsart=Konferenz | ||
Aktuelle Version vom 13. September 2017, 12:43 Uhr
SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics
Konferenz
- Beginn: 6. Dezember 2017 um 09:00
- Ende: 8. Dezember 2017 um 18:00
- Forschungsgruppe: Automatentheorie
- Forschungsgruppe: Computational Logic
- Forschungsgruppe: Wissensverarbeitung
- iCal
Workshop on Second-Order Quantifier Elimination and Related Topics
- Weitere Infos unter: http://2017.soqe.org/
