Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
JKU & KUK Forschungsportal Home
Hilfe und FAQ
Link wird in einem neuen Tab geöffnet
English
Deutsch
Inhalt suchen unter JKU & KUK Forschungsportal
Home
Forschungseinheiten
Personen
Publikationen
Projekte
Aktivitäten
Forschungsdatensätze
Auszeichnungen
Presseberichte
Member of the program committee CPAIOR 2021 (Veranstaltung)
Armin Biere (Mitglied)
Institut für Formale Modelle und Verifikation
Aktivität
:
Mitgliedschaft/Funktion
›
Programm-Komitee
Zeitraum
05 Juli 2021
→
08 Juli 2021
Ereignistitel
Member of the program committee CPAIOR 2021
Veranstaltungstyp
Sonstiges
Ort
Österreich
Auf Karte anzeigen
Wissenschaftszweige
202006 Computer Hardware
603109 Logik
102 Informatik
102031 Theoretische Informatik
102011 Formale Sprachen
102022 Softwareentwicklung
102001 Artificial Intelligence
Dokumente & Verweise
https://cpaior2021.dbai.tuwien.ac.at/