Oberseminar

Terminplanung und Hinweise

Vortragstermin-Planung und allgemeine Hinweise

Robert Grabowski: Verification of Universal Noninterference for JVM-like Bytecode (L109, from 20.05.2011 11:15 to 20.05.2011 12:15)

TCS Oberseminar, 20.05.2011 11:15 Uhr

Sebastian Maulat, Computing Resource Consumption of Imperative Programs (L109, from 25.05.2011 11:15 to 25.05.2011 12:15)

TCS Oberseminar, Mittwoch, 25.05.2011, 11 Uhr c.t.

Vivek Nigam, Bounded memory Dolev-Yao adversaries in collaborative systems (L109, from 27.05.2011 11:15 to 27.05.2011 12:15)

TCS Oberseminar, 27.05.2011, 11 Uhr c.t.

Ramyaa: Implicit Complexity for Corecursive functions (L109, from 17.06.2011 11:15 to 17.06.2011 12:00)

TCS Oberseminar, 17.06.2011, 11 Uhr c.t.

Martin Hofmann: Symmetric Lenses (L109, from 24.06.2011 11:15 to 24.06.2011 12:15)

TCS Oberseminar 24.06.2011 11:00 c.t.

Vladimir Komendantsky: A method of nested induction-coinduction illustrated on recursive subtyping. (L109, from 01.07.2011 11:15 to 01.07.2011 12:30)

TCS Oberseminar, 01.07.2011 11:15 Uhr

Dulma Rodriguez, An algorithm for solving constraints over regular infinite trees (L109, from 08.07.2011 11:30 to 08.07.2011 12:30)

TCS Oberseminar, 08.07.2011 11:30 Uhr

Gabriel Scherer: Universe subtyping in Martin-Löf Type Theory (L109, from 22.07.2011 11:15 to 22.07.2011 12:15)

TCS Oberseminar, 22.07.2011, 11:15

Vivek Nigam, Timed Collaborative Systems (L109, from 12.08.2011 11:15 to 12.08.2011 12:15)

TCS Oberseminar 12.08.2011 11 Uhr c.t.

Carolyn Talcott: A Distributed Logic for Networked Cyber-Physical Systems (L109, from 19.08.2011 11:15 to 19.08.2011 12:15)

TCS Oberseminar 19.08.2011 11:00 Uhr c.t.

On the Complexity of Linear Authorization Logics (Preliminary Results) (L109, from 26.08.2011 11:15 to 26.08.2011 12:15)

TCS Oberseminar, 26.08.2011 11 Uhr c.t.

Giselle Reis: Cut-elimination by resolution (L109, from 02.09.2011 11:15 to 02.09.2011 12:30)

TCS Oberseminar, 02.09.2011, 11:15 Uhr