Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2009/10 / Oberseminar


Inhaltsbereich

Oberseminar

Das Oberseminar findet Di 10-12 und Fr 14-16 im Raum Z1.09 (neu: L109), Oettingenstr. 67 statt.
Hinweise
Allgemeine Hinweise zum TCS-Oberseminar
Jan Johannsen: Lower bounds for width-restricted clause learning 05.03.2010 von 14:15 bis 15:45 Z1.09 (neu: L109),
05.03.2010 14:15
Dulma Rodriguez: Towards Type Inference for RAJA (work in progress) 05.02.2010 von 14:15 bis 15:45 Z1.09 (neu: L109),
05.02.2010 14:15
Jan Hoffmann: Analyzing Sorting Algorithms with Resource Aware ML 02.02.2010 von 10:15 bis 11:45 Z1.09 (neu: L109),
02.02.2010 10:15
Martin Hofmann: What is a pure functional? 29.01.2010 von 14:15 bis 15:45 Z1.09 (neu: L109),
29.01.2010 14:15
Christian Spitschka: Vorstellung der Zulassungsarbeit 12.01.2010 von 10:15 bis 11:45 Z1.09 (neu: L109),
12.01.2010 10:15
Paul Harrenstein: Minimal Retentive Sets in Tournaments 18.12.2009 von 14:15 bis 15:45 Z1.09 (neu: L109),
18.12.2009 14:15
Haris Aziz: Wiretapping: the nucleolus of connectivity 04.12.2009 von 14:15 bis 15:45 Z1.09 (neu: L109),
04.12.2009 14:15
Robert Grabowski: Noninterference with dynamic security domains and policies 01.12.2009 von 10:15 bis 11:45 Z1.09 (neu: L109),
01.12.2009 10:15
Markus Brill: Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates 24.11.2009 von 10:15 bis 11:45 Z1.09 (neu: L109),
24.11.2009 10:15
Evangelia Pyrga (MPI Informatik, Saarbrücken): Contention Resolution under Selfishness 20.11.2009 von 14:15 bis 15:45 Z1.09 (neu: L109),
20.11.2009 14:15
Hans Georg Seedig: Network Flow Optimization with Minimum Quantities 17.11.2009 von 10:15 bis 11:45 Z1.09 (neu: L109),
17.11.2009 10:15
Troels Bjerre Sørensen: Computing strategies for poker 13.11.2009 von 14:15 bis 15:45 Z1.09 (neu: L109),
13.11.2009 14:15
Ulrich Schöpp: Functional Programming in Sublinear Space 06.11.2009 von 14:15 bis 15:45 Z1.09 (neu: L109),
06.11.2009 14:15
Martin Lange: Extended Computation Tree Logic 03.11.2009 von 10:15 bis 11:45 Z1.09 (neu: L109),
03.11.2009 10:15
Arist Kojevnikov: On Circuit Complexity of MOD-functions 30.10.2009 von 14:15 bis 15:45 Z1.09 (neu: L109),
30.10.2009 14:15
Dongyuan Yu: Algorithmen und Heuristiken für das Longest-Common-Substring-Problem 09.10.2009 von 14:15 bis 15:45 Z1.09,
09.10.2009 14:15
Edith Elkind (Nanyang Technological University, Singapore): Distance Rationalizability of Voting Rules 03.09.2009 von 15:00 bis 16:30 Z1.09,
03.09.2009 15:00

Artikelaktionen


Funktionsleiste