Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016) (Veranstaltung)

Aktivität: Mitgliedschaft/Funktion › Programm-Komitee

Beschreibung

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Zeitraum17 Jän. 2016 → 19 Jän. 2016
Ereignistitel17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016)
VeranstaltungstypSonstiges
OrtUSA/Vereinigte StaatenAuf Karte anzeigen

Wissenschaftszweige

  • 202006 Computer Hardware
  • 603109 Logik
  • 102 Informatik
  • 102031 Theoretische Informatik
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102001 Artificial Intelligence

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics

Dokumente & Verweise