Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

LFCS Seminar: Wan Fokkink

Executing Multi-cellular Development: Petri Net Model of the C.elegans Vulva

Read More…

LFCS Seminar: Stephan Zdancewic

LolliProc: to Concurrency from Classical Linear Logic via Curry-Howard and Control

Read More…

Document Actions