Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Wintersemester10/11 login

Wintersemester10/11



Vorlesungen
Programming Languages
Dozent:Kreiker
Ort/Zeit:Thursdays 12.15-1.45pm in Lecture Hall 3
ModulNummer:IN2113
Beschreibung:    We are discussing various programming paradigms illustrated by a number of real programming languages such as e.g. Haskell, Prolog, and others.
Einführung in die Informatik 1 für Ingenieure
Dozent:Prof. Seidl
Ort/Zeit:Mittwoch 12:00 -- 13:30Uhr im IAS
ModulNummer:IN8011
Beschreibung:    
Program Optimization
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Monday 12:30-14:00, Thursday 10:15-11:45 in seminar room MI 02.07.014
ModulNummer:IN2053
Beschreibung:    The lecture is meant for students in their Hauptstudium or in their Master studies who are interested in compiler technology. The lecture is part of practical computer science.
Praktika
Praktikum - Garbage Collection
Dozent:Flexeder/Petter
Ort/Zeit:Blockpraktikum
ModulNummer:IN2106, IN0012
Beschreibung:    Garbagecollectoren laufen in vielen Gebieten mittlerweile konventioneller Speicherverwaltung den Rang ab. Im Rahmen dieses Praktikums wollen wir unseren eigenen parallelen Garbage Collector implementiern.
Seminare
Programming Models and Code Generation
Dozent:Prof. Seidl, Prof. Gerndt
Ort/Zeit:Blockseminar
ModulNummer:IN 8901
Beschreibung:    
Automatische Verifikation von Software Contracts mit MS Clousot
Dozent:Manuel Fähndrich
Ort/Zeit:17.09.2010 Hörsaal 2, 14:00 Uhr
ModulNummer:Sondervortrag
Beschreibung:    Microsoft Research-Vortrag
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 7 ms