Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

Lab Lunch by Andrew Drucker

Limits to Efficient Preprocessing

Read More…

Lab Lunch by Rik Sarkar

Small sets from big data: Identifying representative elements through optimization and filtration

Read More…

Lab Lunch by Perdita Stevens

Beating https://xkcd.com/1319/ or, Lecturer Efficiency: automating feedback and tracking or, Writing perl is a lot more fun than marking

Read More…

Lab Lunch with Fabian Nigel

At the usual time, in the usual place, Fabian Nigel will speak about code generation for efficient query processing in managed runtimes. The usual biscuits will be provided.

Read More…

Lab Lunch by Patrick Totzke

Hack your inbox: building alot for notmuch

Read More…

Lab Lunch by Chiranjit Chakraborty

Instance compression and Counting hierarchy

Read More…

Lab Lunch - Petros Wallden

What is quantum non-locality and how to use it to maintain privacy when you don't trust your own devices.

Read More…

Lab Lunch - Michael Fourman

Quantifying inequality in the distribution of a binary advantage.

Read More…

Lab Lunch - Paul Jackson

Creating finite-state abstractions of continuous systems

Read More…

Document Actions