↓ Skip to Main Content
  • Press
  • Contact
ARiSE
  • ARiSE Society
  • RiSE Network
    • About the Network
    • SHiNE Organization and Subprojects
  • Members
    • Principal Investigators
    • Postdocs
    • PhD Students
    • RiSE Fellows
    • World Collaborations Map
  • News
    • All News
    • Press Coverage
  • Events
  • Seminar
  • Calendar
  • Publications
  • Jobs
  • Workshop
  • Winter School
Home › News › Archive for Press Coverage

FLoC Olympic Games: 13 out of 43 medals go to Austrian researchers

More details at http://futurezone.at/science/oesterreicher-bei-olympischen-spielen-der-logik-erfolgreich/76.094.556

Auseinandersetzung mit Logik: “Vienna Summer of Logic” — vienna.at

http://www.vienna.at/auseinandersetzung-mit-logik-vienna-summer-of-logic-ab-9-juli/4003002

PDF

Gastkommentar: Das silberne Zeitalter der Logik — falter.at

PDF

“Vienna Summer of Logic”: Wien wird zum Logik-Woodstock — futurezone.at

PDF

“Boolean Satisfiability: Theory and Engineering” — Communications of ACM

Moshe Vardi on the worskshop co-organized by Armin Biere and RiSE:

… the gap between the impressive progress on the engineering side and very slow progress on the theory
side led to an unusual workshop, titled “Theoretical Foundations of Applied SAT Solving” …

PDF

“Zukunft der Forschung in Österreich” — falter.at

http://www.falter.at/heureka/2013/10/zukunft-der-forschung-in-oesterreich/

PDF

“Turing Machine Award” geht an Schüler — Computerwelt.at

PDF

Alle möglichen Fälle eines Programms — derStandard.at

PDF

Computerwissenschafter der TU Wien schreiben Turing Machine Award aus — derStandard.at

PDF

Den Heisenbugs auf die Schliche kommen — derStandard.at

PDF

‹ Older posts
Johannes Kepler University Linz Graz University of Technology Vienna University of Technology University of Salzburg Institute of Science and Technology Austria
Admin
  • Home
  • ARiSE – About the Society
  • RiSE – About the Network
  • Jobs
  • Press
  • Contact
© 2023 ARiSE
↑
Responsive Theme powered by WordPress