[  ss21 | ws20 | ss20 | ws19 | ss19 | ws18 | ss18 | ws17 | ss17 | ws16 | ss16 | ws15 | ss15 | ws14 | ss14 | ws13 | ss13 | ws12 | ss12 | ws11 | ss11 | ws10 | ss10 | ws09 | ss09 | ws08 | ss08 | ws07 | ss07 | ws06 | ss06 | ws05 | ss05 | pwg ]

Prof. Armin Biere acts as dean of student affairs. More information regarding admission and credit affairs is available on our page on student affairs or at http://informatik.jku.at and http://cs.jku.at.

[ Bachelor | Master ]

Please also visit our projects page where we list past, open and ongoing bachelor and master projects.

Summer Semester 2021

• Formal Models
• Parallel Computing
• Seminar in Artificial Intelligence / Computational Engineering
• SAT Solving

Winter Semester 2020

• Model Checking
• Logic
• Seminar in Artificial Intelligence / Computational Engineering: Puzzling Dancing Links
• Planning and Reasoning in AI
• Debugging
• Isabelle

Summer Semester 2020

• Formal Models
• Parallel Computing

Winter Semester 2019

• Model Checking
• Logic
• Seminar Computational Engineering: The History of Logic
• SAT Solving

Summer Semester 2019

• Formal Models
• Parallel Computing

Winter Semester 2018

• Model Checking
• Logik (VL, UE)
• Seminar Computational Engineering: The Art of Computer Programming
  (course credites can automatically be used for the Seminar in Diskrete Mathematik und Algebra)
• Debugging
• Special Topics: Software Verification (KV)

Summer Semester 2018

• Formal Models
• Parallel Computing

Winter Semester 2017

• Model Checking
• Logik (VL, UE)
• Seminar Algebra und Diskrete Mathematik: The Art of Computer Programming
  (course credites can automatically be used for the Seminar in Computational Engineering)
• Debugging
• Special Topics: Decision Procedures and SMT (KV)

Summer Semester 2017

• Formal Models
• Parallel Computing

Winter Semester 2016

• Model Checking
• Logik (VL, UE)
• Seminar in Computational Engineering
• Special Topics: Decision Procedures and SMT (KV)

Summer Semester 2016

• Formal Models
• Special Topics: Satisfiability Modulo Theory (KV)
• Advanced Model Checking

Winter Semester 2015

• Model Checking
• Logik (VL, UE)
• Seminar in Computational Engineering

Summer Semester 2015

• Formal Models
• Advanced Topics in Informatics: Decision Procedures and SMT (KV)
• Advanced Model Checking

Winter Semester 2014

• Model Checking
• Logik (VL, UE)
• Seminar in Computational Engineering

Summer Semester 2014

• Formal Models
• Advanced Topics in Informatics: Decision Procedures and SMT (KV)
• Debugging

Winter Semester 2013

• Model Checking
• Logik (VL, UE)

Summer Semester 2013

• Formal Models
• Advanced Topics in Informatics: Decision Procedures and SMT (KV)
• Advanced Model Checking

Winter Semester 2012

• Debugging
• Model Checking
• Discrete Structures
• Advanced Topics in Informatics: Decision Procedures and SMT (KV)

Summer Semester 2012

• Formal Models
• Advanced Topics in Informatics: Reasoning with Quantfied Boolean Formulas (KV)
• Advanced Model Checking

Winter Semester 2011

• Debugging
• Model Checking
• Discrete Structures
• Seminar in Formal Verification

Summer Semester 2011

• Formal Models
• Advanced Topics in Informatics: Pthreads Programming in C (KV)
• Advanced Model Checking

Winter Semester 2010

• Debugging
• Model Checking
• Discrete Structures
• Evolutionary Algorithms
• Seminar in Formal Verification

Summer Semester 2010

• Formal Models
• Advanced Topics in Informatics: Parallel Programming with Cilk and Cuda (KV)
• Advanced Model Checking
• Spezielle Kapitel aus Informatik: Roboteranwendungen

Winter Semester 2009

• Debugging
• Discrete Structures
• Model Checking
• Seminar in Formal Verification
• Systems Programming

Summer Semester 2009

• Formale Modelle
• Advanced Topics in Informatics: Pthreads Programming in C (KV)
• Advanced Model Checking
• Spezielle Kapitel aus Informatik: Roboteranwendungen

Winter Semester 2008

• Debugging
• Discrete Structures
• Model Checking
• Seminar in Formal Verification
• Systems Programming

Summer Semester 2008

• Formale Modelle
• Advanced Topics in Informatics: Pthreads Programming in C (KV)
• Advanced Model Checking
• Spezielle Kapitel aus Informatik: Roboteranwendungen

Winter Semester 2007

• Advanced Topics in Applied Systemtheory: Debugging (KV)
• Model Checking
• Discrete Structures
• Systems Programming
• Seminar in Formal Verification
• Evolutionary Algorithms

Summer Semester 2007

• Formale Grundlagen 3 (Formale Modelle)

Winter Semester 2006

• Systemtheory 1 (Model Checking)

Summer Semester 2006

Winter Semester 2005

Summer Semester 2005

Project Oriented Subject (PWG)