Proseminar Assignment Summer 2019

The registration for all computer science proseminars will open in April.

This system is used to distribute students among the available actual proseminars. To register for any of the other proseminars that are offered by the computer science department, you have to register here until April 10th 23:59 CEST. You can select which proseminar you would like to take, and will then be automatically assigned to one of them on April 12th. Please note that the assignment cannot be optimal for all students if you drop the assigned proseminar.

Please note the following:

• We aim to provide a fair mapping that respects your wishes, but at the same time also respects the preferences of your fellow students.
• Experience has shown that particular proseminars are more popular than others, yet these proseminars cannot fit all students. We thus encourage students to select their preferences for all available proseminars, which eases the process to assign students that do not fit the overly popular proseminars to another, less crowded one. Each student must therefore select at least two proseminars (with priority from "High" to "Low").
• If you are really dedicated to one particular proseminar, and you do not want any other proseminar, please select the "No proseminar" as second positive option. However, this may ultimately lead to the situation that you are not assigned to any proseminar. Also, choosing "No proseminar" as second option does not increase your chances of getting your first choice.

The assignment will be automatically performed by a constraint solver on April 12th, 2019. You will be added to the respective proseminars automatically and be notified about this shortly thereafter.

If you can't use the credit points of a proseminar (e.g. you're a master student or you have passed another proseminar) - please don't sign up.

Biomedical Privacy by Inken Hagestedt, Yang Zhang

This proseminar gives an overview about the latest research in the area of biomedical privacy.

Are you concerned about your privacy? You encrypt your computer's hard disk, delete your browsing cookies and avoid social networks? But what about the biological traces you leave behind, such as genome, epigenome, microbiome? Never thought about it? Then come to our seminar and learn about the latest attacks and defenses on biomedical data. Don't worry, you do not need any background on the biology, we will learn what we need in the first proseminar meetings.

You will read one research paper closely and prepare an oral presentation as well as a short, written summary of the paper. We meet once a week (every Friday at 2 pm) and listen and discuss presentations. The first few meetings will be devoted to getting some background in biomedical privacy, how to do a good presentation and how to write a good summary.

In case of questions, please contact Inken Hagestedt (inken.hagestedt@cispa.saarland) or have a look at our page in CMS https://cms.cispa.saarland/biomedpriv_19/.

Where: Fridays 2-4 pm, Room 0.06 in the Cispa Building E 9.1

Requirements: curiosity and motivation

Places: 15

Funktionale Programmierung by Prof. Gert Smolka, Fabian Kunze, and Kathrin Stark

In diesem Proseminar wollen wir uns mit "Perlen" der funktionalen Programmierung befassen:
- elegante Algorithmen und effiziente Datenstrukturen in funktionalen Programmiersprachen
- Domain-spezifische Programmbibliotheken (z.B. für Parsing)
- Herleitung von (effizienten) Programmen aus "offensichtlich korrekten", aber ineffizienten Beschreibungen
Die Vortragsthemen des Proseminars basieren größtenteils auf Forschungsartikeln, die als "Functional Pearls" in der Zeitschrift Journal of Functional Programming oder einer der großen Konferenzen im Bereich Programmiersprachen erschienen sind.

Einige dieser Arbeiten benutzen die Programmiersprache Haskell. Daher werden wir uns in den ersten Treffen etwas näher mit den Besonderheiten von Haskell im Vergleich zu Standard ML beschäftigen:
- bedarfsgesteuerte Auswertung und "unendliche" Datenstrukturen
- Haskell Typsystem, insbesondere Typklassen und monadische Typen

Das Kickoff-Meeting findet am Montag, den 15. April 2019 um 16:15 in Raum 528, E1.3 statt. Der wöchentliche Zeitslot wird dann in Absprache mit den Teilnehmern festgelegt.

Genauere Informationen finden Sie unter https://courses.ps.uni-saarland.de/fp_ss19/ .

Requirements: Das Seminar richtet sich an Studenten ab dem 2. Semester, die die Vorlesung Programmierung 1 erfolgreich besucht haben.

Places: 12

Hacking by Bugiel, Nürnberger, Sorge, Stock, Tippenhauer

Goal of this Proseminar is to give students a deeper understanding of the typical security problems and weaknesses that pervade all kinds of IT systems today. To provide a more solid understanding of the discussed attack techniques, this seminar strongly mixes theoretical and practical aspects. On the one hand, participants are conveyed the typical Proseminar learning contents (e.g., presentation techniques, etc.). On the other hand, the participants are required to also learn and apply established tools for exploiting and attacking IT systems in the context of capture-the-flag styled exercises.

Note that this proseminar requires much more effort than a regular proseminar. Please only choose this if you are able to commit significant effort to the course. The slot is fixed for Wednesdays 12-14 (every other week).

Requirements: Knowledge of basic security concepts required, either by having attended Foundations of Cybersecurity 1 and 2 or the Security core lecture.

Places: 20

Human-Centered Design for Virtual Reality by Marco Speicher, Dr. Florian Daiber

The Proseminar will be hold in German only!

****

ACHTUNG:

Aufgrund von kurzfristigen Komplikationen und Terminkonflikten des neuen Systems müssen wir den Kick-off Termin um eine Woche auf den __ 18.04.2019 12:00 (c.t.) __ verschoben.

Der Raum bleibt gleich:
Raum Reuse, DFKI (Hauptgebäude, -2.17)

****

Seit Beginn der 1990er Jahre eröffnen sich durch immer fortschrittlichere Technologien immer mehr Möglichkeiten im Bereich der Human-Computer-Interaction (HCI) und Virtual Reality (VR). Daraus ist ein Bedarf für neue Umgebungen und Szenarien entstanden, nicht nur für Experten in den jeweiligen Bereichen, sondern auch für den Endkunden. In immer mehr Umgebungen, ob zuhause, im Auto oder im öffentlichen Raum, sind Benutzer mittlerweile mit gängigen 2D und 3D Interaktionen vertraut; seien es nun Interaktionen mit dem eigenen Smartphone oder optischen Tracking-Systemen an heimischen Spielkonsolen (wie z.B. Kinect oder Wii Remote), an TV-Geräten oder auch großen öffentlichen Displaywänden.

Mit der ständigen Weiterentwicklung und besseren Verfügbarkeit der einzelnen Technologien in den verschiedensten Bereichen der HCI wird der Markt derzeit überflutet mit neuartigen, sogar für den Endkunden bezahlbaren, Ein- und Ausgabemedien, wie z.B. Smartphones, Smartwatches, Smart Clothing, VR-Brillen oder Smart Lighting. Dadurch eröffnen sich in der Realität viele Fragen, z.B. wie man aus dem großen Fundus neuer Technologien einen echten Nutzen für den Verbraucher generieren kann. Seien es Verbesserungen von traditionellen und dem Verbraucher schon vertrauten oder völlig neue auf ein spezielles Szenario zugeschnittene Interaktionstechniken.

Das Kickoff-Meeting findet am * Montag, den 18. April 2019 um 12:00 (c.t.) in Raum Reuse, DFKI (Hauptgebäude, -2.17) * statt.

Genauere Informationen finden Sie unter:
https://umtl.cs.uni-saarland.de/teaching/summer-2019/proseminar-human-centered-design-for-virtual-reality.html

Requirements: Keine.

Places: 20

Privacy by Design by Prof. Christoph Sorge

The term "privacy by design" (or "data protection by design") implies that the privacy of individuals has to be considered in the design of IT systems. The concecpt is very broad, as it can apply to databases, communication systems, and numerous applications. The proseminar deals with privacy-enhancing solutions in various application domains; it also looks at privacy notions in different fields. Examples of proseminar topics:
* Onion routing and hidden services
* Privacy aspects of electronic identity cards
* Privacy notions in communication systems
* Law-compliant anonymization in databases

Places: 10

Softwarezuverlässigkeit by Prof. Bernd Finkbeiner, Norine Coenen, Christopher Hahn, Jana Hofmann

Wie kann sichergestellt werden, dass Software zuverlässig funktioniert? Durch die steigende Komplexität von Software wird es für Entwickler immer schwieriger, diese vollständig zu überblicken und ihre Korrektheit zu garantieren. In diesem Proseminar beschäftigen wir uns mit formalen Methoden zur Sicherstellung von Softwarezuverlässigkeit.

Weitere Informationen finden Sie auf der Webseite des Proseminars (https://courses.react.uni-saarland.de/softrel_19/).

Das Kickoff-Meeting findet am 15. April um 16:00 in Raum 1.06 in Gebäude E1 1. Der wöchentliche Zeitslot wird dann in Absprache mit den Teilnehmern festgelegt.

Requirements: Das Proseminar richtet sich an Studenten, die die Vorlesung Programmierung 1 bestanden haben.

Places: 10