GenCS II

General Information

Lecturer

Prof. Michael Kohlhase

Teaching Assistants

• Coordination:
  Christine Müller < c.mueller@jacobs-university.de>
  Vyacheslav Zholudev < v.zholudev@jacobs-university.de>,
  
• Tutors: Dimitar Asenov, Gordan Ristovski, Jana Giceva, Snezana Jovanoska, Anca Dragan, Lucia Ambrosova, Ankur Modi (tutorial groups and location of tutorials)

Announcements

Registration for Tutorials

Starting from Monday February 4th, you can register for tutorials. We offer seven tutorials at various times of the week. One tutorial session takes roughly as long as one lecture. Please register for exactly one of them by following these instructions:

1. Go to panta rhei.
2. You need to log in with your CLAMV account.
3. Register for one tutorial by replying to the respective postings.
4. If you accidentally registered for the wrong tutorial, please delete your posting and post a new one in the right spot.

The tutorials are offered on a first-come-first-serve basis. Once a tutorial is full, the name of the respective tutor will be announced. Please make sure you have registered for a tutorial before attending it.

Lecture Notes

I will try to have the new lecture notes accessible here. I have also generated a dependency graph of the course materials that you may find useful. I will try to keep these up to date as the course unfolds. If I forget, please e-mail me. Michael Kohlhase

SML introduction

Assignments

Please submit your solutions via Grader. You need to log in with your CLAMV account.
Homework is due one week after the publication of the assignments (at 23:59).
Slava Zholudev is responsible for creating the assignments, quizzes, and exams.
We have implemented the panta rhei system for you, please use the forum to ask question, your TAs and teacher will answer them there. Moreover, all further announcements will be made in panta rhei.