Open main menu
Farben
Primärfarbe
Blau
Grau
Grün
Rot
Gelb
Petrol
Violett
Orange
Bordeaux
Maigrün
Türkis
Magenta
Lila
Sekundärfarbe
Blau
Grau
Grün
Rot
Gelb
Petrol
Violett
Orange
Bordeaux
Maigrün
Türkis
Magenta
Lila
Home
News
People
Teaching
Thesis Projects
Lectures
Concurrency Theory
Model Checking
Probabilistic Programming
Research
Publications
Projects
MOVES seminar
Tools
PRINSYS - PRobabilistic INvariant SYnthesiS
Prophesy
Smyle
Contact
Theory of Hybrid Systems
LuFG i2
Home
Teaching
Lectures
Probabilistic Programming
Probabilistic Programming
Schedule
Type
Day
Time
Room
Lecturer
Lecture
Wednesday
16:30-18:00
AH III
katoen
Thursday
8:30-10:00
AH I
katoen
Exercise
Wednesday
14:00-15:30
AH III
Haase
,
Schroer