!Computer-Olympiade in Wien: „Logischer Sieg“ für die JKU 
    
 
[{Image src='Logik-Olympiade.jpg' caption='Sieger\\© TU Wien' class='image_left' alt='Logik-Olympiade-Sieger: Prof. Biere und Prof. Seidl' height='150' width='154'}]
 


Erstmals wurden heuer an der TU Wien die „Olympischen [Spiele|Thema/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|http://www.jku.at/content/e213/e63/e58/e57?apath=e32681/e225072/e245130/e247192]

!Weiterführendes
> [Spieleentwicklung|Thema/Spieleentwicklung] (Thema)


[{Metadata Suchbegriff=' ' Kontrolle='Nein'}]