FMCAD (Externe Organisation)

Armin Biere (Mitglied)

Institut für Formale Modelle und Verifikation

Aktivität: Mitgliedschaft/Funktion › Ausschuss, Komitee oder Jury

Beschreibung

The FMCAD organization helps organize and support the FMCAD (Formal Methods in Computer-Aided Design) conference series. A link to the FMCAD Mailing List is available

Zeitraum	20 Okt. 2014 → 24 Okt. 2014
Gehalten am	FMCAD, Schweiz

Wissenschaftszweige

202006 Computer Hardware
603109 Logik
102 Informatik

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Dokumente & Verweise

http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/committees.shtml