Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

LFCS Seminar by Prof. James Worrell (Oxford)

Positivity Problems for Linear Recurrence Sequences

Read More…

LFCS Seminar: Gilles Dowek

Pre-Heyting algebras and proof normalization.

Read More…

Document Actions