Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

Lab Lunch by David Aspinall

Investigatory Powers and Responsibilities

Read More…

Lab Lunch by Wenfei Fan

Querying Big Graphs: Theory and Practice

Read More…

LFCS seminar by Ulfar Erlingsson (Google)

Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud

Read More…

Lab Lunch by Jonh Longley

The recursion hierarchy for PCF is strict

Read More…

Leonid Libkin: Atacama desert and incomplete information

Atacama desert is the driest place on earth and is so similar to Mars that Nasa uses it to test instruments for its Mars missions. As any other desert, it has oases which be used as nice escape places to discuss reseacrh. Running a workshop there would entail a not-so-short trip from Santiago (which takes a full day to get to from here), so I’ll tell you about the place first, and then briefly mention one question discussed there. It has to do with the old idea of connecting powerdomains with incompleteness in databases. It had to be revisited lately; I’ll tell you why, and then we’ll see how Gordon’s name (Plotkin powerdomain) appears in a somewhat unusual context.

Read More…

Lab Lunch Talk by Stratis Viglas

Write-limited sorts and joins for persistent memory

Read More…

LFCS Seminar: Mihalis Yannakakis

The Complexity of Non-Monotone Markets

Read More…

LFCS Seminar: Benoit Valiron

Quipper: A Scalable Quantum Programming Language.

Read More…

Lab Lunch Talk by Anastasis Georgoulas

Machine Learning for Formal Dynamical Systems

Read More…

Lab Lunch with Elham Kashefi

Elham Kashefi will join us at Lab Lunch to talk about Quantum-enhanced Secure Delegated Classical Computing. Biscuits will be provided.

Read More…

Lab Lunch by John Wilson-Kanamori

From writing fiction to writing papers: a personal tale

Read More…

Document Actions