![JKU](https://fmv.jku.at/jkulogo.png)
TNF
/ INF
team
contact
software
publications
teaching
jobs
![GI-Dissertation Award 2020](https://fmv.jku.at/gi-dissertationaward-2020-icon.png)
![FMCAD'20 Student Forum Best Student Contribution](https://fmv.jku.at/fmcad20-phd-forum-best-contribution-icon.jpg)
![SAT'20 Best Presentation Award](https://fmv.jku.at/best-presentation-award-SAT20-icon.jpg)
![GCAI'19 Post and Interaction Award](https://fmv.jku.at/gcai19certificate-icon.jpg)
![IJCAI-JAIR 2019 Award](https://fmv.jku.at/ijcai-jair-2019-award-icon.jpg)
![SAT'19 Best Student Paper](https://fmv.jku.at/sat19-best-student-paper-award-icon.jpg)
![CAV'18 Award](https://fmv.jku.at/bmc/cav18award-icon.png)
![HVC'17 Best Paper](https://fmv.jku.at/hvc17-best-paper-award-icon.jpg)
![ETAPS'17 Test of Time Award](https://fmv.jku.at/etaps2017totaward.jpg)
![HVC'15 Award](https://fmv.jku.at/hvc15awardicon.jpg)
![FMCAD'17 Best Paper](https://fmv.jku.at/fmcad17-best-paper-award-icon.jpg)
![CADE'17 Best Paper](https://fmv.jku.at/cade17-best-paper-award-icon.jpg)
![BMC](https://fmv.jku.at/award-most-influential-paper-in-the-first-20-years-of-tacas-small.jpg)
![Handbook of Satisfiability](https://fmv.jku.at/hbsat.png)
![UML@Classroom](https://fmv.jku.at/uml-en.png)
![UML@Classroom](https://fmv.jku.at/uml-de.png)
![www.digitaltechnik.org](https://fmv.jku.at/dtbook.png)
|
[ 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 ]
Teaching
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.
|