Lecture "Automated Reasoning SS08" - Exercises
Submit the solutions during the lecture on Thursdays.
The tutorial groups start in week 18 (beginning from 28th of April, respectively).
Monday 14-16, room has changed to 6th floor rotunda, Building E1.4, Tutor: Dilyana Dimova, Contact: dilyana[add at][add mpi-sb.mpg.de]
- Durdudiler, Demet
- Ehrbächer, Stephanie
- Eigner, Fabienne
- Guan, Haichao
- Kovalev, Mikhail
- Krauß, Christopher
- Neis, Georg
- Rangapuram, Syama Sundar
- Saliba, Bahjat
- Setz, Jochen
- Dai, Wenkai
Tuesday 12-14, Room 021, Building E1.4, Tutor: Manuel Lamotte, Contact: lamotte[add at][add mpi-inf.mpg.de]
- Feidt, Steffen
- Gianopoulos, Ioannis
- Haddad, Walid
- Kunz, Björn
-
- Le, Hong Anh
- Lu, Tianxiang
- Maaß, Sascha
- Metzger, Steffen
- Offenberg, Janosch
- Putz, Oliver
- Sander, Andreas
- Schuh, Stefan
- Staudt, Daniel
- Thirunavukkara, Sathess
- Tuerpe, Jonathan
- Velten, Michael
Thursday 12-14, Room 021, Building: E1.4, Tutor: Evgeny Kruglov, Contact: ekruglov[add at][add mpi-inf.mpg.de]
- Akkuzhyna, Yuliya
- Degenbaev, Ulan
- Isak-Geidel, Sergej
- Kehrer, Sascha
- Koshla, Megha
- Laetitia, Facchin
- Lorig, Daniel
- Loskyll, Matthias
- Mezzavilla, Sebastian
- Normann, Andreas
- Pacinda, Stefan
- Rizkallah, Christine
- Tang, Ching Hoo
