The central registration for all computer science proseminars will open on April 7th.
This system is used to distribute students among the available proseminars. To register for any of the other proseminars that are offered by the computer science department, you have to register here until April 17th 23:59 CET. You can select which proseminar you would like to take, and will then be automatically assigned to one of them on April 24th.
Please note the following:
The assignment will be automatically performed by a constraint solver on April 24th. You will be added to the respective proseminars automatically and be notified about this shortly thereafter. Please note that the assignment cannot be optimal for all students if you drop the assigned proseminar, i.e., make only serious choices to avoid penalty to others.
In comparison to the discussion "around AI and ethics", which is currently being conducted by stakeholders from industry and society in various committees, this seminar is distinguished by the fact that it aims to get closer to the bottom. We will approach things from a philosophical perspective and, as the title already suggests, we will incorporate aspects of the history of science, philosophy of nature and (this is self-evident) ethics. We will apply these principles in a more pragmatic part to the discussion "on AI and ethics".
But let's stick to the basics. Here we will begin by taking a look at the philosophy of evolution. Coming from there we will derive two views on the nature of humanity: First, a materialistic-reductionist view, which, in a very condensed form, states that consciousness is a more or less causal epiphenomenon that, at a certain point in time, emerged on our highly complex neocortex; and second, a view that sees the consciousness as the preceding, fundamental principle.
We will look at arguments for both views. For more, see http://www.dfki.de/~chmu01/
This proseminar is meant to provide students an overview over foundational results in the area of algorithms and complexity. As a proseminar's primary purpose is to learn presentation skills, the seminar will feature two presentations from each student.
Because of the Covid-19 situation, this proseminar will be organized via a visioconference system.
After each presentation, the fellow students and lecturers will provide feedback on how to improve the presentation. This general feedback must then be taken into account for the second block of the course, where again each student will present.
For the first presentation, the student will present one of the proposed topics (based on one or two of the suggested references).
To not bore the audience, the second presentation will be on a related topic and based on a different reference document (book or research article).
This second reference will be chosen by the students (not from the initial list of references) and the relevance of the choice will be part of the grading of the second presentation.
The first presentations will count towards 30% of the overall grade, the choice of the second reference will count for 30% and the second presentation itself will count for the remaining 40% of the overall grade. Attendance in the proseminar meetings is mandatory. Because of the block structure, any absence needs a doctor's note as justification.
Requirements: Knowledge of programming, algorithms and basic Algebra.
In this proseminar, we explore and evaluate automated techniques for testing and debugging software. We look at a number of classic approaches for generating software tests automatically, for finding errors and locating faults, and for having these two interact with each other. You will be
* reading the associated papers,
* presenting the associated work,
* possibly even with a demonstration of the technique.
For every technique, we will be providing you with the papers (and a reference or textbook implementation, if available). For the presentation, we use standard presentation software; for demonstrations, Python and Jupyter Notebooks have shown to be practical. During the seminar, you will refine your presentation and demonstration skills with us up to the final (and decisive) presentation.
For more details, see https://cms.cispa.saarland/debug20/
Requirements: Programming skills will be required for demonstrations. Knowledge of Python and experience with Jupyter Notebooks is helpful, but can be acquired during the proseminar.
There exist a multitude of cyber-physical system devices and applications deployed to serve critical roles, thus making security a crucial non-functional attribute of such systems. This proseminar is meant to provide students with an overview of recent advances in cyber-physical systems security.
We begin the proseminar in the kick-off day by assigning the papers to the students and providing some backgrounds about the proseminar. There will be two rounds of the presentations. In the first round, the students will present a classic paper in the field of cyber-physical systems security. At the end of each presentation, the audience will provide some insights to improve the presentation.
The students will present a state-of-the-art paper in the second round, in which the primary evaluation of the student’s performance will take place. We will encourage the students to prepare the slides in advance and discuss the slides with the advisor. It is helpful to arrange a dry-run of presentation to maintain the high quality of presentation.
Considering the current COVID-19 pandemic, the exact schedule of the course is not fixed yet. However, we will take the kick-off on the first Tuesday.
Course CMS: https://cms.cispa.saarland/cpss/
Requirements: Prior knowledge in information security.
Der berühmte Mathematiker Paul Erdös hatte die Idee, dass es ein Buch geben könnte, in dem zu jedem mathematischen Satz der perfekte Beweis zu finden sei („You don’t have to believe in God, but you should believe in The Book“). Martin Aigner und Günther Ziegler haben sich an einer Approximation zu diesem Buch versucht: Das Buch der Beweise (Proofs from the book), erschienen im Springer Verlag. In diesem Proseminar werden wir gemeinsam einen Teil dieser Beweise erarbeiten.
Requirements: Mathematik für Informatiker 1-3 oder vergleichbar
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 wird voraussichtlich am Montag der ersten Vorlesungswoche stattfinden. Genauere Informationen folgen, sobald die Lage absehbar ist.
Genauere Informationen finden Sie unter https://courses.ps.uni-saarland.de/fp_ss20/ .
Requirements: Das Seminar richtet sich an Studenten ab dem 2. Semester, die die Vorlesung Programmierung 1 erfolgreich besucht haben.
This proseminar is meant to provide students an overview over influential papers in the area of Web security. As a proseminar’s primary purpose is to learn presentation skills, the seminar will feature two presentations from each student.
Therefore, in the first half of the semester, we will have presentations of two topics each week (for 6 weeks). After each presentation, fellow students and lecturers will provide feedback on how to improve the presentation. This general feedback must then be taken into account for the second half of the semester, where again each student will present. To not bore the audience, though, this paper will be different from the previously presented one.
The *first presentations* will count towards 30% of the overall grade, the *second presentation* will count towards 70% of the overall grade. Attendance in the proseminar meetings is mandatory. At most one session can be skipped, after that you need to bring a doctor’s note to excuse your absence.
To ensure the quality of presentations is high, you have to set a meeting with the topic advisor one week before the first presentation to discuss the slides. For the second presentation, this meeting is optional, but if desired by the student must be a week before the meeting.
The date for the meeting is fixed to Tuesday, 14-16. After the kick-off on May 5, we will skip the meeting on May 12, so as to ensure sufficient time to prepare for the first set of presentations. From May 19 to July 21, we will then meet every week.
Requirements: Prior knowledge in Web Security is helpful, but not mandated.
Note that the talks *must* be given in English.
Machine learning has made great advances over the past year and many techniques have found their ways into applications. This leads to an increasing demand of techniques that not only perform well - but are also "trustworthy".
- Interpretability of the prediction
- Robustness against changes to the input, which occur naturally or with malicious intend
- Privacy preserving machine learning (e.g. when deadling with sensitive data such as in health applications)
The proseminar will take place thursdays at 2pm.
Requirements: Course on one of the following topics: machine learning, statistical learning, data science, AI.
In this proseminar we study a selection of seminal research works in cryptography—starting with the invention of public-key cryptography in the 1970s and making our way towards the present. We discuss the novelty of these research results when they were first published as well as how they have shaped our understanding of modern cryptography.
Each week one student presents their assigned paper, followed by a group discussion (it is highly encouraged that all students have read the paper).
Logistics: The seminar will be held remotely via Zoom. Note that the talks and the ensuing discussion *must* be in English.
The kick-off meeting (where we fix the weekly time slot and assign the topics) will be during the first week of lectures. Details follow as soon as possible.
The seminar is organised by Jacqueline Brendel and Cas Cremers.
Requirements: A basic understanding of cryptographic primitives such as encryption, signatures, and hash functions is required.
Artificial intelligence has gained momentum in software engineering.
In the past, AI has already shown to increase effectiveness and efficiency when appplying AI on various software engineering tasks.
The current state of AI could herald the start of a new era of "programming 2.0" where code is mainly written, tested, and maintained by AI systems.
Even better, AI affects the way software engineers plan, develop, acquire, deploy, test, and verify software.
Still, machine learning comes with its very own difficulties and pitfalls, so care has to be taken when applying several AI approaches solely "out of the box" on software engineering tasks.
In this course, we address and discuss past, recent, and future advancements through AI in the area of software engineering.
Kick-off and topic assignment will take place on May 7 at 12:15 in E1 1 Room 206.
Please note that the schedule can still change due to the current situation with the SARS-CoV-2 virus.
Requirements: Basic knowledge on software engineering and programming.