Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

Lab Lunch with Leonid Libkin

Leonid Libkin will be our speaker. Biscuits will be provided as usual.

Read More…

LFCS Seminar: Elias Koutsoupias

Near-optimal multi-unit auctions with ordered bidders

Read More…

LFCS Seminar: Eugene Asarin

Volume and entropy of regular timed languages

Read More…

LFCS Seminar: Neel Krishnaswami

Simple and Efficient Higher-Order Reactive Programming

Read More…

Lab Lunch with Brian Campbell

What language should you write your next online, in-the-cloud, get rich quick scheme in? I'll talk a little about why I find blockchain systems entertaining as an interested outsider. Then I'll discuss what they are used for, the main language used in the Ethereum system for smart contracts and its problems. As it's a trendy subject, I'll mention some research on it, then attempt to shoehorn some LFCS programming language related research into it.

Read More…

ICSA/LFCS Joint Colloquium: Laurence Tratt

Domain specific languages: why? how? and where next?

Read More…

Lab lunch by Adel Noureddine

Why algorithms should manage energy, not humans.

Read More…

Lab Lunch by Chris Heunen

The child's play of quantum informatics

Read More…

LFCS Seminar: Nitin Vaidya

TITLE: Network-Aware Distributed Algorithms

Read More…

CISA/LFCS Seminar: Georges Gonthier

Proof engineering, from the Four Color to the Odd Order Theorem.

Read More…

Document Actions