Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.

2018-07-16

First a brief reminder to check the information field for the exam via TUMonline regarding the oral exam.

Second, here is some picture of the stuff you can do with some of the algorithms you have seen in the lecture, in particular what Philipp presented in the second half of the last lecture:

syntcomp 2018 final results

2018-03-28

Website created.