Seite 1 von 1

MAIS Courses in Summer Term 2018

Verfasst: 9. Apr 2018 09:21
von Markus Tasch
In the summer term 2018 MAIS is offering the following courses (http://www.mais.informatik.tu-darmstadt ... _SS18.html):
- Integrated Course: Formal Methods for Information Security (9CP)
- Lab: Reliable Software Security for Mobile Devices (6CP)
- Seminar: Current Topics in Concurrency and Parallelism (3CP)

The course language is Englisch for all courses. The joint mandatory preparation meeting for the seminar and lab takes place on Monday, 16.04, 16:15 in A313.
FMIS-Ad-SS18.png (241.67 KiB) 670 mal betrachtet
RSSMDLab-Ad-SS18.png (210.35 KiB) 670 mal betrachtet
CTCP2018.png (259.85 KiB) 670 mal betrachtet