@@ 32,7 32,7 @@ type: "plain"
* [Randomized Algorithms and Probabilistic Methods](https://www.cadmo.ethz.ch/education/lectures/HS19/RandAlg/index.html)
* [Algorithms Lab](https://www.cadmo.ethz.ch/education/lectures/HS19/algolab/index.html), [Moodle](https://moodle-app2.let.ethz.ch/course/view.php?id=11262)
* [Network Security](https://netsec.ethz.ch/courses/netsec-2019/)
-* [Einfhrung in die Programmierung](https://www.lst.inf.ethz.ch/education/einfuehrung-in-die-programmierung-i--252-0027-.html)
+* [Einführung in die Programmierung](https://www.lst.inf.ethz.ch/education/einfuehrung-in-die-programmierung-i--252-0027-.html)
## FS 2019
@@ 55,6 55,13 @@ type: "plain"
* [Computer Networks](https://ndal.ethz.ch/courses/networks.html)
* [Data Modelling and Databases](https://www.systems.ethz.ch/courses/spring2018/data_mod_db)
-* [Information Security](http://www.infsec.ethz.ch/education/ss2018/infsec.html)
-* [Formal Methods and Functional Programming](http://www.infsec.ethz.ch/education/ss2018/fmfp.html)
+* [Information Security](http://infsec.ethz.ch/education/recent_semsters/ss2018/infsec.html)
+* [Formal Methods and Functional Programming](https://infsec.ethz.ch/education/recent_semsters/ss2018/fmfp.html)
* [Probability and Statistics](https://metaphor.ethz.ch/x/2018/fs/401-0614-00L/)
+
+## HS 2017
+
+## FS 2017
+
+## HS 2016
+