+  | title: Computer Science 4  | 
+  | http://vvz.stefanheule.com/en/vvz/66/  | 
   |  | 
-  | title: Computer Science 3  | 
-  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/sucheLerneinhei ten.do?seite=1&semkez=2009W&abschnittId=35819&lang=de&ansich t=3  | 
   |  | 
   |  | 
-  | Numerische Methoden für CSE [Numerik]  | 
-  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=67904&semkez=2010W&lang=de  | 
+  | Data Modelling and Databases [DMDB]  | 
+  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=71811&semkez=2011S&lang=de  | 
   | (  | 
   | Main page  | 
-  | http://www.math.ethz.ch/education/bachelor/lectures/hs2010/m ath/nummath_cse  | 
-  | Prof. Dr. Ralf Hiptmair  | 
+  | https://www.systems.ethz.ch/education/fs11/data-modelling-db   | 
+  | Prof. Dr. Gustavo Alonso, Prof. Dr. Donald Kossmann  | 
+  | )  | 
   |  | 
-  | Exercise series  | 
-  | http://www.math.ethz.ch/education/bachelor/lectures/hs2010/m ath/nummath_cse/Exercises  | 
   |  | 
-  | Script and other documents  | 
-  | http://www.math.ethz.ch/education/bachelor/lectures/hs2010/m ath/nummath_cse/Scripts_and_more  | 
+  | Formal Methods and Functional Programming [FMFP]  | 
+  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=70557&semkez=2011S&lang=de  | 
+  | (  | 
+  | Main page  | 
+  | http://www.infsec.ethz.ch/education/ss11/fmfp  | 
+  | Prof. Dr. David Basin, Prof. Dr. Peter Müller  | 
   |  | 
-  | Script (up to date)  | 
-  | http://www.sam.math.ethz.ch/~hiptmair/tmp/NumCSE10.pdf  | 
+  | Course material  | 
+  | https://www1.ethz.ch/infsec/education/ss11/fmfp/fp_material_ secured  | 
   | )  | 
   |  | 
   |  | 
-  | Theoretische Informatik [TI]  | 
-  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=67539&semkez=2010W&lang=de  | 
+  | Operating Systems and Networks [OSaN]  | 
+  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=70014&semkez=2011S&lang=de  | 
   | (  | 
   | Main page  | 
-  | http://www.ita.inf.ethz.ch/theoInf10/index.html  | 
-  | Prof. Dr. Juraj Hromkovic / Prof. Dr. Emo Welzl  | 
-  |  | 
-  | Exercise series  | 
-  | http://www.ita.inf.ethz.ch/theoInf10/index.html  | 
+  | https://www.systems.ethz.ch/education/fs11/operating-systems -and-networks  | 
+  | Prof. Dr. Gustavo Alonso, Prof. Dr. Timothy Roscoe  | 
   | )  | 
   |  | 
   |  | 
-  | Wahrscheinlichkeit und Statistik [WuSt]  | 
-  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=68830&semkez=2010W&lang=de  | 
+  | Information Security [InfSec]  | 
+  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=71823&semkez=2011S&lang=de  | 
   | (  | 
   | Main page  | 
-  | http://www.math.ethz.ch/education/bachelor/lectures/hs2010/o ther/statistik_INFK  | 
-  | Prof. Dr. Martin Schweizer  | 
+  | https://www1.ethz.ch/infsec/education/ss11/infsec11  | 
+  | Prof. Dr. David Basin, Prof. Dr. Ueli Maurer  | 
   |  | 
-  | Exercise series  | 
-  | http://www.math.ethz.ch/education/bachelor/lectures/hs2010/o ther/statistik_INFK/uebungen  | 
+  | Course material  | 
+  | https://www1.ethz.ch/infsec/education/ss11/infsec11/material _secured  | 
   | )  | 
   |  | 
   |  | 
-  | Grundzüge des Rechts (GESS) [Recht]  | 
-  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=67272&semkez=2010W&lang=de  | 
+  | Software Architecture [SoftArch]  | 
+  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/lerneinheitPre. do?lerneinheitId=71824&semkez=2011S&lang=de  | 
   | (  | 
   | Main page  | 
-  | http://www.hertig.ethz.ch/GZ_2010/GZ_Recht_Schedule_Fall_201 0.htm  | 
-  | Prof. Gerard Hertig  | 
+  | http://se.inf.ethz.ch/teaching/2011-F/Soft_Arch-0050/index.h tml  | 
+  | Prof. Dr. Bertrand Meyer  | 
+  |  | 
+  | Slides  | 
+  | http://se.inf.ethz.ch/teaching/2011-F/Soft_Arch-0050/content _list_en.html  | 
   | )  | 
+  |  | 
   |  | 
   |  | 
   | Diverses [Div]  | 
   | (  | 
   | Vorlesungsverzeichnis  | 
   | http://www.vvz.ethz.ch/  | 
   |  | 
   | Vorlesungsverzeichnis  | 
-  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/sucheLerneinhei ten.do?seite=1&semkez=2010W&abschnittId=39924&lang=de&ansich t=1  | 
-  | 3. Semester Informatik - Herbst 2010  | 
+  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/sucheLehrangebo t.do?seite=1&semkez=2011S&abschnittId=42663&lang=de&ansicht= 1  | 
+  | 4. Semester Informatik - Frühling 2011  | 
+  |  | 
+  | Vorlesungsverzeichnis  | 
+  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/sucheLehrangebo t.do?seite=1&semkez=2011S&abschnittId=43143&lang=de&ansicht= 1  | 
+  | Vertiefungsfächer Informatik - Frühling 2011  | 
   |  | 
   | Vorlesungsverzeichnis  | 
-  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/sucheLerneinhei ten.do?seite=0&semkez=2010W&abschnittId=39767&lang=de&ansich t=1  | 
-  | Pflichtwahlfach GESS - Herbst 2010  | 
+  | http://www.vvz.ethz.ch/Vorlesungsverzeichnis/sucheLehrangebo t.do?seite=0&bereichAbschnittId=0&lang=de&ansicht=1&studieng angAbschnittId=41960&semkez=2011S&unterbereichAbschnittId=0  | 
+  | Pflichtwahlfach GESS - Frühling 2011  | 
   |  | 
   | Akademischer Kalender für Studierende  | 
   | http://www.rektorat.ethz.ch/calendar/students  | 
   |  |