Talks

(subscribe: list, rss feed, calendar feed)
Feb
19

Roopsha Samanta

Succinct Representation of Concurrent Trace Sets

Feb
18

Iyad Kanj

On Bounded-Degree Plane Geometric Spanners

Jan
27

Helmut Seidl

Parametric Strategy Iteration

Dec
18

Gordon Cichon

Formal Semantics of Synchronous Transfer Architecture
Dec. 18, 2014

Dec
4

Christian Scheideler

Towards a rigorous base for the design of P2P systems
Thursday, December 4, 2014 at 17:00

Nov
27

Pavithra Prabhakar

Algorithmic Verification of Stability of Hybrid Systems
Thursday, November 27, 2014 at 17:00

News