Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2011 / Oberseminar


Inhaltsbereich

Oberseminar

Das Oberseminar findet Freitag, 11-13 Uhr, im Raum L109 (alt: Z1.09), Oettingenstr. 67 statt.
Terminplanung und Hinweise
Vortragstermin-Planung und allgemeine Hinweise
Robert Grabowski: Verification of Universal Noninterference for JVM-like Bytecode 20.05.2011 von 11:15 bis 12:15 L109,
TCS Oberseminar, 20.05.2011 11:15 Uhr
Sebastian Maulat, Computing Resource Consumption of Imperative Programs 25.05.2011 von 11:15 bis 12:15 L109,
TCS Oberseminar, Mittwoch, 25.05.2011, 11 Uhr c.t.
Vivek Nigam, Bounded memory Dolev-Yao adversaries in collaborative systems 27.05.2011 von 11:15 bis 12:15 L109,
TCS Oberseminar, 27.05.2011, 11 Uhr c.t.
Ramyaa: Implicit Complexity for Corecursive functions 17.06.2011 von 11:15 bis 12:00 L109,
TCS Oberseminar, 17.06.2011, 11 Uhr c.t.
Martin Hofmann: Symmetric Lenses 24.06.2011 von 11:15 bis 12:15 L109,
TCS Oberseminar 24.06.2011 11:00 c.t.
Vladimir Komendantsky: A method of nested induction-coinduction illustrated on recursive subtyping. 01.07.2011 von 11:15 bis 12:30 L109,
TCS Oberseminar, 01.07.2011 11:15 Uhr
Dulma Rodriguez, An algorithm for solving constraints over regular infinite trees 08.07.2011 von 11:30 bis 12:30 L109,
TCS Oberseminar, 08.07.2011 11:30 Uhr
Gabriel Scherer: Universe subtyping in Martin-Löf Type Theory 22.07.2011 von 11:15 bis 12:15 L109,
TCS Oberseminar, 22.07.2011, 11:15
Vivek Nigam, Timed Collaborative Systems 12.08.2011 von 11:15 bis 12:15 L109,
TCS Oberseminar 12.08.2011 11 Uhr c.t.
Carolyn Talcott: A Distributed Logic for Networked Cyber-Physical Systems 19.08.2011 von 11:15 bis 12:15 L109,
TCS Oberseminar 19.08.2011 11:00 Uhr c.t.
On the Complexity of Linear Authorization Logics (Preliminary Results) 26.08.2011 von 11:15 bis 12:15 L109,
TCS Oberseminar, 26.08.2011 11 Uhr c.t.
Giselle Reis: Cut-elimination by resolution 02.09.2011 von 11:15 bis 12:30 L109,
TCS Oberseminar, 02.09.2011, 11:15 Uhr

Artikelaktionen


Funktionsleiste