Discussion Groups

of the Lecture Formal Methods for Java.

The Discussion Groups take place in Room 00-016 in Building 052.

There are the following three Discussion Groups.

Tuesday, 14:15

• Matthias Heizmann
• Pascal Schmolck
• Justus Bisser

Thursday, 9:30

• Alexander Schimpf
• Arend von Reinersdorff
• Sebastian Huber
• Olena Barth
• Benedikt Becker

Thursday, 15:00

• Mohannad Zalloom
• Nithin Mathews
• Mohamad Rabbath
• Kais Haddadin
• Reza Omidi