Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

Lab Lunch by James Cheney

Inside the sausage factory, or: what it's like to be on a standards committee

Read More…

LFCS seminar: Alexander C. Russell: Cliptography: Clipping the Power of Kleptographic Attacks

Speaker: Alexander C. Russell, University of Connecticut Title: Cliptography: Clipping the Power of Kleptographic Attacks

Read More…

LFCS Seminar: Thomas Streicher

Computability in Quantum Theory

Read More…

Lab Lunch by Stephen Gilmore

Model-checking Edinburgh Buses

Read More…

Lab Lunch by Tamise Totterdell

Edinburgh Research Explorer, PURE and Research Data Management

Read More…

LFCS Seminar by Dr. Matteo Mio

Convex Bisimilarity and Probabilistic Concurrent Systems

Read More…

Document Actions