Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

LFCS Seminar: Rasmus M√łgelberg

Full Abstraction in a Metalanguage for State

Read More…

LFCS Seminar: Andrew McGregor

Data Streams, Dyck Languages, and Detecting Dubious Data Structures

Read More…

LFCS Seminar: Benny van Houdt

Fast Algorithms for Solving Structured Markov Chains: Theory and Software

Read More…

LFCS Seminar: David Xiao

Cryptography and NP-hardness

Read More…

LFCS PhD Lunch

Pizza Lunch and informal tutorial for all LFCS PhD students

Read More…

Document Actions