Wir freuen uns über jede Rückmeldung. Ihre Botschaft geht nur an das Administrator Team. Danke fürs Mitmachen, das zur Verbesserung des Systems oder der Inhalte beitragen kann. Ihre Nachricht (optional mit Ihrer E-Mail):
unbekannter Gast

Computer-Olympiade in Wien: „Logischer Sieg“ für die JKU #

Logik-Olympiade-Sieger: Prof. Biere und Prof. Seidl
Sieger
© TU Wien

Erstmals wurden heuer an der TU Wien die „Olympischen Spiele der Logik“ ausgetragen. Computerprogramme aus aller Welt traten im Rahmen des „Vienna Summer of Logic“ gegeneinander an. In 14 Disziplinen mussten sich die Programme messen – am Ende gab es einen klaren Sieger: Prof. Armin Biere vom Institut Formale Modelle und Verifikation der Johannes Kepler Universität (JKU) Linz räumte sechs von 43 möglichen Medaillen ab und wurde damit gestern Abend (21. Juli 2014) zum mehrfachen Logik-Olympiasieger gekürt. Einen weiteren Sieg holte sich Assist.-Prof. Martina Seidl, die am selben JKU-Institut tätig ist.

--> mehr

Weiterführendes#