GenCS 1

General Information

Lecturer

Prof. Michael Kohlhase

Teaching Assistants

• Coordination:
  Vyacheslav Zholudev <v.zholudev@jacobs-university.de>
• Tutors: Dimitar Asenov, Gordan Ristovski, Lucia Ambrosova, Ankur Modi, V. Perleman, C. Stancumara, T. Chitiboi, Darko Makreshanski
  Use the the panta rhei forum to sign up for a tutorial slot!

Announcements

will be made on Panta-Rhei (use your pre-course account). In case of questions please contact Christine Müller <c.mueller@jacobs-university.de>

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

• Part 1
• Part 2

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).
We have implemented the panta rhei for you, please use the forum to ask question, your TAs and teacher will answer them there.
download at panta rhei