Wien (APA) - Im Rahmen des „Vienna Summer of Logic“ (VSL) vom 9. bis 24. Juni haben auch die ersten Olympischen Spiele der Logik ihre Premie... Wien (APA) - Im Rahmen des „Vienna Summer of Logic“ (VSL ...

Die Gründerväter der Informatik werden in Neapel für die Veranstaltung Eacsl2024 (jahreskonferenz der europäischen Vereinigung für Informatik Logik) ankommen, eine der wichtigsten Konferenzen der Welt ...

Keine Spur von Sommerferien und süßem Nichtstun bei Professor Armin Biere (47) von der Johannes Kepler Universität. Für den gebürtigen Schwaben, der seit zehn Jahren in Linz lebt, lehrt und forscht, ...

An der Schweizer Informatik-Olympiade hat Ursus Wigger aus Aarau Gold geholt, deshalb reist er bald nach Tschechien und Ägypten. Alles begann mit dem Gamen und der Passion für Computer. Ursus Wigger ...

Wenn Georg Gottlob über Grundsätzliches, etwa die Logik spricht, so ist er ruhig und bedacht. Geht es jedoch um sein Fach, die Informatik, dann sprudelt es aus ihm heraus. Er unterbricht sich dann nur ...

Können wir einer Maschine Ethik beibringen? In einem Informatik-Projekt der TU Wien untersucht man nun alte Sanskrit-Texte und beschreibt ethische Regeln mit den Methoden der Logik. Seit Jahrtausenden ...

Im Rahmen des "Vienna Summer of Logic" (VSL) vom 9. bis 24. Juni haben auch die ersten Olympischen Spiele der Logik ihre Premiere. Dabei handelt es sich um eine Zusammenfassung wichtiger ...