Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

Lab Lunch Talk by Nassim Seghir

Nassim Seghir will give a lab lunch talk on Verification and Certification of Android Apps

Read More…

Lab Lunch Talk by Matteo Cavaliere

The Rise and Fall of Cooperative Communities (and why Prosperity may be Associated with Instability)

Read More…

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…

Document Actions