Hallo Leute, insbesondere liebe Studierende,

falls noch jemand auf der Suche nach interessanten Veranstaltungen dieses Semester ist: Wir hätten einige Seminare und Praktika im Angebot. Mein Kollege Lorenzo Gheri und ich werden z.B. das Isabelle/HOL-Praktikums betreuen (Link siehe unten), aber auch die anderen Kollegen freuen sich immer über interessierte Studierende.

Viele Grüße Benjamin / Waldteufel

-------- Forwarded Message -------- Subject: Re: MAIS Kickoff Meeting for Labs and Seminars, SoSe2019 Date: Wed, 17 Apr 2019 16:24:22 +0200 From: Lorenzo Gheri gheri@mais.informatik.tu-darmstadt.de

Hello MAIS Students,

please don't miss the opportunity to attend the seminars and labs offered by MAIS! These will focus on different topics from prolific and research-active fields of computer science:

- Seminar: Current Topics in Secure Usage     http://www.mais.informatik.tu-darmstadt.de/ctsu-ss19.html - Seminar: Side-Channel Attacks on Software     http://www.mais.informatik.tu-darmstadt.de/scas-sem-ss19.html - Lab Course: Dynamic Enforcement for Software Security     http://www.mais.informatik.tu-darmstadt.de/dynamo-lab-ss19 - Lab Course: Formal Specification and Verification in Isabelle/HOL     http://www.mais.informatik.tu-darmstadt.de/isabelle-ss19.html

If interested please attend the kickoff meeting tomorrow, Thursday 18.04.2019, at 15:20 in room S2|02 A213. Should you not be able to attend the kickoff meeting, please inform as soon as possible the contact person of the lab or seminar you are interested in!

Looking forward to seeing you tomorrow!

Yours truly, the MAIS Team