Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

LFCS Seminar: Dave Parker

Automatic Verification of Competitive Stochastic Systems.

Read More…

Lab Lunch by James McKinna

Bidirectional transformations, from a dependently-typed perspective

Read More…

Lab Lunch talk by Dimitrios Milios

Markov Chain Simulation with Fewer Random Samples

Read More…

LFCS Seminar: Alessandro Panconesi

Algorithmic Aspects of Social Networks

Read More…

LFCS Seminar: Damian Niwinski

Complexity of infinite tree languages -- when automata meet topology

Read More…

LFCS Seminar: Dan Ghica

Towards a system-level semantics

Read More…

LFCS Seminar: Fred Long

The CERT Oracle Secure Coding Standard for Java

Read More…

LFCS Seminar: Andrei Sabelfeld

Tracking information flow in web applications

Read More…

Document Actions