Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

LFCS Seminar: Danel Ahman

Normalization by evaluation and algebraic effects

Read More…

Lab lunch by Paul Jackson

Finding bugs in axioms used in formal software verification

Read More…

Document Actions