ACM Student Research Competition 2016 Grand Finals Judge

Seidl, M. (Sonstige)

Institut für Formale Modelle und Verifikation

Aktivität: Sonstige

Beschreibung

The ACM Student Research Competition (SRC) offers a unique forum for undergraduate and graduate students to present their original research before a panel of judges and attendees at well-known ACM-sponsored and co-sponsored conferences.

Zeitraum	01 Juni 2016

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

http://src.acm.org/candidates/2016