Courses in summer term 2013

Computer Science Saarland University

Informa:k Universitt Saarland - Saarland

University Computer Science
Community Page about Computer Science

954
About

Photos

Likes

Map

Informa:k Universitt Saarland - Saarland University Computer Science

42 minutes ago

www.facebook.com/SaarlandUniversityCS

Computer science students like this

Sei unser Botschafter!

Wir wollen mehr Erstsemester, mehr Informatiker, mehr Frauen.
Wir suchen Talente aus Deiner Heimat und weltweit.

Wirb Du fr die Saarbrcker Informatik! Ob Vortrag oder Science Slam, ob

online oder offline, jede Idee ist willkommen.
Wir belohnen die besten Ideen mit Preisen von bis zu 1000 Euro.
saarland

university

computer science

Schick uns Dein Minikonzept

und sag uns, warum Du der
Richtige bist!
Punktet Dein Projekt, ist Geld
kein Problem.
botscha

fter@cs

.uni-saa

rland.d

Fragen? Infos?
Erich Reindel <reindel@cs.uni-saarland.de>,
Geb. E1 3, Raum 210

Be our ambassador!

We want more freshmen, more computer scientists, both male and female.
We are looking for talents from Germany and other countries.
Promote our computer science department. Whether through a talk or
a video, whether online or offline, every idea is highly appreciated.
We will reward the best ideas with prizes of up to 1000 Euros.
saarland

university

computer science

Send us a short text about your

idea and your motivation for
implementing it.
If your project succeeds, the
funding will be no problem.
ambass

ador@c

s.uni-sa

arland.d

Questions? Ask
Erich Reindel <reindel@cs.uni-saarland.de>,
Building E1 3, Room 210

AG Zeller

Software Engineering (Zeller)

executions

Generate test cases

to systematically
explore behavior

Assess executions
to learn about
software behavior

specifications

Software Engineering
(Zeller)

http://www.st.cs.uni-saarland.de/

Software Engineering (Zeller)

Lecture Automated Testing ( WS 2013/14)

Proseminar Software Testing (2x)
Software-Praktikum (02.09.11.10.)
Seminar Mobile Testing and Analysis
http://www.st.cs.uni-saarland.de/

Dr. Stefanie Wuhrer

Geometry of Non-Rigid Shapes

First Meeting
Where:
E 1 7, Rm. 0.08
When:
Mo, 22.4.2013,
10.00-12.00 h
Instructor: Stefanie Wuhrer

AG Wolf

Data Networks

MOSI Modelling and Simula9on

Core lecture, 9 ECTS points

Lectures: Tue 10-12 (changed!), Thu 12-14
Tutorial: Fri 12-14
More details about organization: mosi.cs.unisaarland.de -> teaching
What is the lecture about?
basic principles of data communication in
network and the protocols used
e.g. app layer protocols (HTTP, ...)
transport layer protocols (TCP,...)
network layer protocols (IP,...)

...
Literature:
Computer Networking by J.F Kurose and K.W. Ross,
6th edi9on (Chapter 1-6)
Data Networks by Dimitri P. Bertsekas and Robert
G. Gallager, 2nd edi9on (Chapter 3)

Seminar

MOSI Modelling and Simula9on

Parameter Es9ma9on for Markov Models

no more slots available

Dr. Tino Weinkauf, Dr. Stefanie Wuhrer

Dr. Tino Weinkauf, Dr. Stefanie Wuhrer

Seminar: Scientific Writing
Block course

AG Weickert

Mathematical Image Analysis Group www.mia.uni-saarland.de

Differential Equations in
Image Processing and Computer Vision

MI
A
1
2

Joachim Weickert
4 + 2 hours, 9 CP, advanced lecture / applied mathematics lecture
Three Teaching Awards (2003, 2006, 2009)

Classes:
Tue + Fri 1012, Building E1.3, Lecture Hall 003, starting Tue, April 16
Tutorials: Tue 1416, 1618, Wed 1416

deals with some of the best performing image analysis methods

Description

for denoising, restoration, segmentation, motion analysis, shape analysis

5
6

7
necessary for writing a master thesis in our group
8

Weickert: Differential Equations in Image Processing and Computer Vision

MI
A
1
2
3
4

Left: Original image. Right: After shadow removal with an osmosis method.

5
6
7
8

Mathematical Image Analysis Group www.mia.uni-saarland.de

Advanced Image Analysis

MI
A
1

Christian Schmaltz
2
2 + 2 hours, 6 CP, advanced lecture / applied mathematics lecture
Classes:
Thu 1012, Building E1.3, Lecture Hall 003, starting Thu, April 18
Tutorials: Mon 1416

covers advanced methods in image processing, computer vision, and graphics

Description

knowledge on image processing and computer vision useful

3
4
5

6
Examples:
super-resolution
focus stacking
panorama stitching
high dynamic range imaging

7
8

Schmaltz: Advanced Image Analysis

MI
A
1
2
3
4
5
6

Left: Exposure series produced by a hand-held camera. Right: HDR reconstruction without / with
alignment.

7
8

Mathematical Image Analysis Group www.mia.uni-saarland.de

Image Acquisition Methods

Pascal Peter and Joachim Weickert

MI
A
1
2

2+2 hours, 6 CP, advanced lecture / applied mathematics lecture

Classes:
Fri 1416, in E1.3, Lecture Hall 001, starting Fri, April 19
Tutorials: Tue 1618, in E1.3, Seminar Room 016

3
4

teaches how digital images are acquired, and what information they contain

covers many methods from medical imaging, material science, remote sensing ...

Description

physical foundations, mathematical models, technical aspects

5
6
7
8

Peter:

Image Acquisition Methods

MI
A
1
2
3
4
5
6
7

Terahertz screening of a person with concealed plastic object. The Terahertz radiation used is emitted
by the human body itself. (Images: ThruVision, http://www.thruvision.com)

Mathematical Image Analysis Group www.mia.uni-saarland.de

Seminar
Optimisation for Visual Computing

MI
A
1

Oliver Demetz and Simon Setzer

CP according to your course of study

Wed 1618, Building E1.7, Room SR 001, starting May 8

3
4
5
6
7
8

Mathematical Image Analysis Group www.mia.uni-saarland.de

Proseminar
Nichtnegative und total positive Matrizen

MI
A
1

Martin Schmidt und Joachim Weickert

CP gema Studienordnung
Dienstags 1618, Geb. E1.7, Raum 410

Noch Themen zu vergeben.

4
5
6
7
8

AG Wahlster

AG Wahlster
Seminar: Rapid Hardware Prototyping with .NET
Gadgeteer
Block course

AG Theobalt

Seminar Summer Semester 2013

Computer Vision for Computer Graphics

Organizer: Christian Theobalt, Co-organizer: James Tompkin
Intrinsic image decomposition

Performance capture

Video enhancement

Semantic video editing

Shape from shading

Facial performance capture

Time:
Tuesdays 16:00 c.t.
First meeting: April 16
Room:
Building E1.4 (MPI Informatik), Room 019

Fabian Suchanek

Information Extraction
and the Semantic Web
Elvis comes to
Saarbruecken
in Summer 2013.

Summer 2013

2 SWS
Thu 14:00-16:00

Dr. Ingmar Steiner

mngu0.org

speech.
umaryland.edu

ling.su.se

Articulatory Speech Analysis

mngu0.org

coli.uni-sb.de

sabia.tic.udc.es

How do we speak? Analyze speech production data from X-ray,

ultrasound, MRI, optical motion capture, articulography, dental
scans. Fuse data and build articulatory models.
goo.gl/Noz6A
I. Steiner <steiner@coli.uni-sb.de>

Reinhard Spurk

Reinhard Spurk
Unix-Kurs
Fri 14:00-16:00, Building E1 3, Room 003

AG Smolka

AG Smolka
Proseminar: Funktionale Programmierung
ab 29.04.13 Mo 16:00-18:00, Geb. E1 3 Raum 528
Vorbesprechung: Fr 19.04.13 12:15-13.00
Geb. E1 3 Raum 528

Introduc)on*to*

Computa(onal+Logic*
Gert*Smolka*and*Chad*Brown

Develop+mathema(cal+theories+
using+a+computer+
Deni)ons,*theorems,*proofs*
Computer*assists*in**
construc)on*of*proofs*
Computer*guarantees**
correctness*of*proofs*
We*use*the*proof*assistant*Coq*

Understand+founda(ons+of++
programming+languages,+proof+
systems,++and+verica(on+
+

Understand+theore(cal+
background+

Construc)ve*type*theory**
Mathema)cal*language*
Proof*systems**
Models*
Set*theory*

9*CP,*Core*Course,*
Mon.*and*Wed.,*12.15I13.45*
Gnter*Hotz*Lecture*Hall*(here)*
Starts*this*Wednesday,*12.15*

www.ps.uniIsaarland.de/courses/clIss13*

AG Slusallek

AG Slusallek
Advanced Lecture: Realistic Image Synthesis
Mon 10:00-12:00, Building E1 3, Room 001
Wed 10:00-12:00, Building E1 3, Room 001

AG Siekmann

Seminar: Technology-Enhance Learning

7 credits
Instructors:
Dr. Sergey Sosnovsky
Eric Andres
Porf. Dr. Christoph Igel
Prof. Dr. Jrg Siekmann

Kick-O Mee+ng:
DFKI Reuse room
(Main Building -2.17)
19 Apr. 2012 12:00-14:00

Course Website:
h8p://+nyurl.com/TEL2013

For registra+on:
eric.andres@celtech.del.com

AG Schrder

CRYPTOGRAPHIC PROTOCOLS
y

f(x,y)

f(x,y)

Lecturer: Dominique Schroeder

When: Tuesdays (10-12) and Thursdays (14-16)
Where: E1 7 Room 0.01
WWW: www.ca.cs.uni-saarland.de

Security model: semi-honest, malicious

Tools: zero-knowledge, non-interactive
zero-knowledge,...

FIRST LECTURE
16.4.2013

Techniques: Yao GC, GMW compiler,...

AG Schreyer

Thementabelle - Arbeitsthemen in der AG Schreyer

http://www.math.uni-sb.de/ag/schreyer/home/arbeitsthemen/...

Arbeitsthemen in der AG Schreyer

Direktlinks: Einleitung | Themenbersicht

Eine knappe bersicht ber mgliche Themenbereiche fr Bachelor- / Master- / und

Staatsexamensarbeiten in Mathematik oder Informatik
Um mehr ber die jeweiligen Themengebiete zu erfahren, klicken Sie bitte einfach auf die links in der untenstehenden
Tabelle. Zu manchen Themen gibt es noch keine nhere Erluterung; wir werden diese nach und nach ergnzen.
Diese bersicht befindet sich noch im Aufbau!
Methodik: Theorie

Konstruktion

Computation

Anwendungen

Kurven

-Green - Vermutung
-Spezielle BrillNoetherKonfigurationen

-Kurven mit
speziellen
Linearscharen

-Syzygien
-Kanonische Modelle
-Experimente

-Koppler-Kurven in
der Mechanik

Flchen

-Birationale
Klassifikation

-Hilbertschemata
-Flchen mit vielen
Singularitten

-Minimale Modelle
-Parametrisierung
-Visualisierung

-C.A.D.
-Architektur

-FanoMannigfaltigkeiten
Hherdimensionale
-Calabi-Mirrorpaare
Varietten
Yau-Mannigfaltigkeiten
-Torische Geometrie

-Tropische
Mirrorsymmetrie

-Stringtheorie

Klassische
Varietten

-Sekantenvarietten
-Chowformen

-Defekt
-Ullrichgarben

-Tropische
Sekantenformeln
-Tateauflsung

-Algebraic
Statistics,
Computational
Biology
-Resultantenformeln

Parameterrume

-Modulrume

-Existenz- und
-Lokale Eigenschaften
Unirationalittsfragen

-Overconstraint
Mechanisms

Diskrete
Mathematik

-Kombinatorik und
Homologische Algebra

-Graph mit hoher

Castelnuovo Mumford Regulatitt

-Graph - Algorithmen
-Cellular Resolutions

-Graphentheorie

Dynamische
Geometrie und
Automatisches
Beweisen

-Zirkel und Lineal

Konstruierbarkeit

-Visualisierung
klassischer
geometrischer
Zusammenhnge

-Anbindung von
Computeralgebra und
algebraischer
-Schule
Visualisierungssoftware
an Dynamische
Geometrie Software

Grbnerbasen

-Stabilitt von
Hilbertpunkten

-Grbnerfans

-Syzygien

-Universell

Numerische
Algebraische
Geometrie

-Monodromie
-General Position

-Test- and
Challenging
Problems

-Deflation, Bertini

-Universell

Objekt:

Direktlinks: Einleitung | Themenbersicht

1 von 1

12.04.13 11:01

AG Schreyer
Core Lecture: Computer Algebra
Wed 14:00-16:00, Building E1 3, Room 001
Fri 10:00-12:00, Building E1 3, Room 001

Dr. Michael Schmitz

Dr. Michael Schmitz

Proseminar: Technologies of Play

Jens Schmidt, Artur Jez

Graph Theory

Topic: First course in graph theory.

Traditional toolbox and recent advances.
Connectivity, matchings
Coloring
Planar Graphs
Graph minor theorem (applications)
Great fun and science for 200 years!

Prerequisites: Basics (some: discrete math, probability, calculus)

Credit: 4+2 hours => 9 CP; written exam at end of term

Lecturers: Artur Je, Jens M. Schmidt

Tutors: Andreas Schmid, Harry Zisopoulos

Lectures: (in english) Tue + Thu 14-16 in E1.4 (MPI-INF), room 024
Tutorials:
Wed 14-16 room 023, Fri 12-14 room 022

Artur

Jens

AG Schiele

High-Level Computer Vision

Lecturers: Prof. Dr. Bernt Schiele Dr. Mario Fritz

Semantic Image Analysis

State-of-the-art techniques
relevant to:
robotics, driver assistance,
multimedia retrieval, ...

Hands-on experience in
exercises

Object recognition and

detection

http://www.d2.mpi-inf.mpg.de/cv

AG Reineke

Design and Analysis of Real-Time Systems

?
|=

Our Vision: PRET Machines

PREcision-Timed processors: Performance & Predicability

+
Lecturer:
When:
Where:
Web:

= PRET

Jan Reineke
Thursday, 2-4(Image:
pmJohn+Harrisons
2 hours
ofto solve
tutorials
H4, first clock
longitude problem)
Lecture hall (Hrsaal) 003 in E1 3
http://embedded.cs.uni-saarland.de/realtime.php

Precision-Timed (PRET) Machines p

Dr. Antti Oulasvirta

User Interface Op.miza.on and Adapta.on

An# Oulasvirta, Gilles Bailly

Menu systems
Gestural interfaces

43.1
43.9
WPM

43.8

43.9

Keyboards
Smartphone
app menus

Websites

AG Mehlhorn

AG Mehlhorn
Seminar: Reading Group in Algorithms (C)
Wed 16:15-17:45, Building E1 4, Room 024

GREAT IDEAS
In Theoretical Computer Science

Advanced Course, SS 2013

Saarland University

Great Ideas That

have big influence in CS
provide deep understanding
give computer scientists
intuitions
create excitement

TOPICS
The Millionaire Problem
Streaming Algorithms
Randomness, Hardness, and Approximation
How to talk about a secret?
One topic per week
You only need to know basic
algorithms before the class

Cryptography: From Art to Science

Linear Programming
Learning

and More

COURSE INFORMATION
Lectures
Prof. Kurt Mehlhorn
Director of Max Planck Institute for Informatics

Dr. He Sun
Senior Researcher at Max Planck Institute for Informatics

Time: Monday 4-6 pm

First Lecture: April 22
Location: Room 024, MPII building
Campus E1.4

AG Lengauer

The Elements of Statistical Learning I

Lecturer: Thomas Lengauer

TA: Prabhav Kalaghatgi

Key principles of Machine Learning and statistical inference

Subsequent lecture in WS 2013/14 The Elements of Statistical Learning II
o Theory and practice (R statistical programming language)
o Literature:
Selected topics
o Regression
o Classification

o
o

Model selection
Applications in the real world

Language:

English

Time:

Wednesday, 10:00 - 12:00, in E2.1 room 007

First lecture on April 17, 2013 in E2.1

Tutorials:

TBA

Prerequisites:

Linear algebra, basic statistics

Advanced students in bioinformatics, CS, math,

Credits:

5 CP (Spezialvorlesung)
Oral exam (prerequisite: 50% on problem sets)

Website:

http://bioinf.mpi-inf.mpg.de/teaching/sl1_2013.php
SS 2013

AG Krger

Ubiquitous Media Technology

Prof. Antonio Krger, Frederic Kerber und Pascal Lessel

6 ETCS, 2+2, nchste Woche: 24.4.

Mittwochs, 12-14 Uhr, HS 3

Studiengang BSc Medieninformatik

Andere Studiengnge: freie Punkte

Kontakt: pascal.lessel@dfki.de, frederic.kerber@dfki.de

User Interface Design

Saarbrcken HCI Crew , 
Frederic Kerber und Pascal Lessel

9 ETCS, 4+2, start: 16.4.

Tuesday, 16-18, Wednesday, 14-16, HS 03

BSc Medieninformatik

Other Study programmes: free points

Contact: pascal.lessel@dfki.de, frederic.kerber@dfki.de

Course language: English + German

Seminar on 
Design Principles in HCI
Florian Daiber & Sven Gehring
Practical seminar about:

Principles of User Centered

Design (UCD)

Designing and implementing
Interactivity

Designing and conducting user 
studies in HCI

AG Klakow

Statistical Natural Language Processing

Lecture V22

Topics
1. Natural Language as a Sequence of Symbols
2. Basics of Language Modeling
3. Entropy
4. Backing-Off Language Modeling
5. Text Classification
6. Word Sense Disambiguation
7. Information Retrieval
8. Topic Detection and Tracking
9. Part-Of-Speech Tagging
10. Named Entity Tagging
Lecture:

Friday 8:30-10:00
Location: Seminar Room in C72
Starts 19.4
Tutorials: by arrangement

bl
a
bl
abl
abl

?
?

Speech Recognition
Inform
ation
Retrie
val
Computer Linguistics

?
Everything else

Digital Signal Processing

Lecture V2

Topics
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.

Introduction
Signal Representations
Microphone Arrays
Filtering and Smoothing
Feature Extraction from Images: Color, Texture, Edges
Feature Extraction from Speech Signals
Musical Genre Classification
Speaker Recognition
KL-Transform and Linear Discriminant Analysis
Linear Predictive Coding
Wiener Filter
Spectral Subtraction

Lecture:

Monday 10:15-11:45
Location: A53 HS -1.03
Starts 22.4
Tutorials: by arrangement

Neural Networks
Proseminar

Selected topics from

Plan:
-

Kick-Off meeting (doodle for date)

-

During semester:
-

assignment of topics
Individual meetings to prepare talks

Semester break:
-

Dry run presentations (doodle dates)

Final presentations (doodle dates)

Recent Trends in Machine Learning for

Natural Language Processing
Seminar, with Benjamin Roth

Topic areas:
1.
2.
3.

Evaluation metrics and ranking

Learning relations from text
Neural networks and autoencoders

Plan:
-

Kick-Off meeting (doodle for date)

-

During semester:
-

assignment of topics
Individual meetings to prepare talks

Semester break:
-

Dry run presentations (doodle dates)

Final presentations (doodle dates)

Dr. Aniket Kate, Dr. Matteo Maffei

Advanced Course:

Privacy Enhancing Technologies

Instructors:

Dr. Matteo Maffei & Dr. Aniket Kate

Organizational Meeting: Thursday 18 April, 2013 16:15 hr

Place:

E 1.3 Room 003.1

Web page:

See the teaching section in the web pages of our groups

Do you want to learn about privacy in the digital society?

What does privacy mean?
How to achieve it?
Selected topics:

Differential Privacy

Online Advertising

Zero-Knowledge Proofs

Anonymity

Trusted Computing

Censorship Resistance

IMPRS

Sprachkurse / Language Classes

6 CP (ungraded)
6 Levels
Initial Placement Tests (next test: April 17th)

Register Online:
http://www.imprs-cs.de/campus/language.html

Further Information:
IMPRS Office
0681 9325 1800
imprs@mpi-inf.mpg.de
MPI-INF, Room 115 B

PD Dr. Helmut Horacek

Helmut Horacek

Natural language generation

Natural Language Generation

(http://www.dfki.de/~horacek/NLG.html)
Ort und Zeit: Mi., 16-18 Seminarraum 001, Geb. E1.7
(Beginn 17.4.)
Language: English or German (according to demand)
Content:
Suitability of text generation as information presentation methods
Architecture of generation systems - phases and processing methods
Application of generation methods and embedding in larger systems
Helmut Horacek
DFKI old building, 1.16, Tel: 85775-2450
email: helmut.horacek@dfki.de

DFKI, Language Technology

SS 2013

AG Hoffmann

AG Hoffmann
Seminar: Advanced Results on Distance Estimation in
Planning
Tue 14:00-16:00, Building E1 1, Room 3.06

Prof. Hoffmann, FAI Group: Core Course Artificial Intelligence

Methods for taking intelligent decisions about action: Search, CSP,
propositional/predicate logic reasoning, planning, probabilistic reasoning.

Prof. Hoffmann, FAI Group: Core Course Artificial Intelligence

Methods for taking intelligent decisions about action: Search, CSP,
propositional/predicate logic reasoning, planning, probabilistic reasoning.
Route Planning

Network Security

Traveling Tournament Problem

Chess

Dr. Martin Hoefer

Dr. Martin Hoefer

Advanced Lecture: Learning, Game Theory and
Optimization
Wed 10:00-12:00, Building E1 4, Room 0.24

Dr. Klaus Hildebrandt, Dr. Michael Wand,

Dr. Tino Weinkauf

Lecture: Geometric Modeling

Klaus Hildebrandt, Tino Weinkauf, Michael Wand

Part I: Geometric Modeling Techniques

Splines, curves and surfaces
Bezier splines, B-Splines, NURBS, implicit functions

Part II: Geometry Processing

Processing of 3D scanner data
Registration, reconstruction, data fitting

What else?
Mathematical background: the big picture
Practical skills: how to implement this in practice

Time & Date:

Tuesdays 14-16h, E1.4 (MPI-Inf), Room 021
Thursdays 16-18h, E1.4 (MPI-Inf), Room 024
Tutorials: Fridays 10-12h or 12-14h, E1.4 (MPI-Inf), Room 021

AG Hermanns

Q i i Model
Quantitative
M d l Checking
Ch ki
Advanced
Ad
d LLecture
t
Block Course in September
More Info follows
Brought to you by Lei Song, Holger Hermanns

L
Love
andd C
Concurrency
Die Vorlesung
di glcklich
die
l kli h macht
ht
S l h MMulticores
Sinnliche
l
Thilo (23):
I h war wie
i elektrisiert
l kt i i t
Ich
Alle Tipps fr Nebenlufigkeit und sensible Haut

AG Herfet

Telecommunications Lab
Lehrstuhl Nachrichtentechnik
http://www.nt.uni-saarland.de/education

Telecommunications II
Audio/Visual Communication and Networks
4V2, Start April 16th (exercise April 24th)
Tu: 12:1513:45
We: 8:3010:00 (adaptable!)

Wireless Transmission, Multiple Access Systems

TDMA, (O)FDMA, CDMA, MIMO
Example: IEEE 802.11n WLAN
Uses FDMA, TDMA, OFDM and MIMO

(Pro-)Seminar Digital Data Communications

Computer Networks, course with practical elements
We: 14:00-16:00 (start April 17th)

Bachelor- and Masterseminars

Preparation for your thesis work
15.04.2013

Lehrveranstaltungen SS13

Dr. Alexis Heloir

Dr. Alexis Heloir

Seminar: 3D interfaces and 2D interfaces for 3D
modeling and animation
Wed 16:00-18:00, Building E1 1, Room 1.21

AG Hammer

AG Hammer
Seminar: Hot Topics in Language Security
The initial meeting is Mo, 22th April 2013 - 12:00,
Building E1 1 - Room 206

Dr. Rainer Gemulla, Dr. Pauli Miettinen

Dr. Rainer Gemulla, Dr. Pauli Miettinen

Advanced Lecture: Data Mining and Matrices
Thu 10:00-12:00, Building E1 4, Room 021

Pawel Gawrychowski

Algorithms on
The most natural problem concerning processing texts?
Given a text t and a pattern p, does p occur in t?
For instance, find kjfdkasl in:
rokjfdkjncbvdkojsdlkjsldskjxlkalkjfslakjlkxxc
epofikflskdjflskjvnlmnapodierpereporipojdpdaj
kjrtrgdkjfdkaslkdjoretieodflkgjsnlgkjdslgkjld
riudkxdjwoisdoiwlkmssoiwoiosdkjwoixkcjksjdkjw
wjnswoislkcxlkqpodskjzlapoqlksdxcmdfepowepofd
zirpotdpoitgiouyoewpoiewlkjdklnkjfdkaslldkjgr
oieorisdlkweoidssdlkweoidscxmnosdwoioweiwoiwo
eopripowedkljskljwekljsdldkjsxmcnweioiewdlskj
rotirlekdlsdfdwmcslkcsdpowkdwpodkwpoekwpopore
eporjmkjfdkaslpwiowjsklncxmncsldkwpoeiwpoikwe
ojreoijdkmndkjnfekreopreojkslkdjsapowi2poqwiq
dlfkjhero9u4olekjfdljknxkldsodopreweipowiwpof
I
I
I
I

Simple, but what if...

I

we have gigabytes of texts,

and megabytes of patterns,

we allow some mismatches,

many queries for a fixed text,

the text is compressed?

everything is in 2D.

Format: advanced course, 2+2, 6 credit points.

Lectures: Wednesday, 10:15-12:00, room 023, starting April 17.
Lecturer: Pawe Gawrychowski, postdoc at Max-Planck-Institut fur
Informatik.
http://www.mpi-inf.mpg.de/departments/d1/teaching/ss13/strings/.

AG Finkbeiner

AG Finkbeiner: Reactive Systems

Algorithms, data structures, and tools for

automated verification and automated synthesis

Proseminar
Proseminar
TIME MACHINE
Wie modelliert man Zeit?
Welche Eigenschaften sind
entscheidbar?
Darf Zeit stehen bleiben?
Wie gewinnt man ein Spiel
gegen die Zeit?

Vorbesprechung: Mittwoch, 24.4., 14 Uhr, Raum E1.3/528

react.uni-saarland.de/teaching

Stammvorlesung
Core Lecture
VERIFICATION
Aim: Automatically proving the correctness of
software and hardware systems
Focus: Model Checking, Deductive Verification, Tools

AG Druschel

AG Druschel
Core Lecture: Operating Systems
Tue 12:00-14:00, Building E1 3, Room 001
Fri 12:00-14:00, Building E1 3, Room 001

AG Dittrich

se

Current Research in
(Big) Data Management

in

m
ar

infosys.uni-saarland.de/crsem13.php

Bjrn Brandenburg, Allen Clement

Bjrn Brandenburg, Allen Clement

Seminar: Fault-Tolerant Distributed Real-Time Systems
Tue 16:00-18:00, Building E1 5

AG Blser

AG Blser
Advanced Lecture: Fast matrix multiplication
Thu 10:00-12:00, Building E1 3, Room 0.16

AG Blser
Proseminar: Berechenbarkeits- und Komplexittstheorie
Blockseminar in den Semesterferien
Vorbesprechung: Do 18.04.13, Geb. E1 3 Raum 415

Dr. Klaus Berberich, Johannes Hoffart,

Stephan Seufert, Mohamed Yahya

Fron%ers in Web Search

(Seminar)

Was sind aktuelle Forschungsthemen in der Websuche?

Themen: ads, crowd sourcing, eciency, microblogs, seman7c search,
structured data, ques7on answering, user experience, ...

Ort & Zeit:
- Donnerstags 14:00 16:00 Uhr in Raum 023 Gebude E1.4 (MPI-INF)
- Kick-O am 18. April 2012 (mit Anmeldung und Themenvergabe)

Dozenten: Dr. Klaus Berberich
Johannes Hoart

Stephan Seufert
Mohamed Yahya

{kberberi,jhoart,sseufert,myahya}@mpi-inf.mpg.de

h9p://bit.ly/ss13-ws

AG Backes

Private data

Smartphone Security Lab

Practical course (Master-Praktikum)
Prof. Michael Backes
April 15, 2013

Smartphone Security Lab

Smartphone Security Lab

Practical course

Smartphone security related programming projects

(No fixed classes!)
Focus on the open-source Android OS

Credits: 6 CP
Kick-off meeting
April 29 from 14:00 17:00 oclock at Campus E1 1, Room 2.06
Intro to Android, Malware Hands-on Exercise, Registration & Team
building
Further organizational details at:

http://www.infsec.cs.unisaarland.de/teaching/13SS/SmartphoneSecurityLab/
Image: http://myandroidgadgets.com/wp-content/uploads/2012/03/wpid-security-notice-your-app-is-being-monitored.jpg

Smartphone Security Lab

Smartphone Security Lab

Exemplary projects:

Extending Android with

Mandatory Access Control
Inlined Reference Monitoring

Ethical hacking:
Intelligent malware design and implementation

Image: http://www.digitaltrends.com/wp-content/uploads/2011/09/Smartphone-security-tips.jpg

Smartphone Security Lab

informatik-vortrag!

SOFTWARE FR DAS ALL!

18. april !
16 c.t. !
hrsaal 2
E1 3 !

Professor Joost-Pieter Katoen!

von der RWTH Aachen erklrt, wie die !
Theoretische Informatik Raumfahrt zuverlssiger macht. !

research talk !

SOFTWARE IN SPACE!

18 april !
16 c.t. !
hs 2, E1 3 !

Professor Joost-Pieter Katoen!

of RWTH Aachen explains, how theoretical!
computer science boosts the reliability of space flight. !

Computer Science Saarland University

Informa:k Universitt Saarland - Saarland

University Computer Science
Community Page about Computer Science

954
About

Photos

Likes

Map

Informa:k Universitt Saarland - Saarland University Computer Science

42 minutes ago

www.facebook.com/SaarlandUniversityCS

Computer science students like this