Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

LFCS Seminar: Alin Stefanescu

Test generation and model learning for Event-B

Read More…

Lab Lunch with Andrea Weisse

Andrea Weisse will be speaking about a model of cellular growth. Biscuits and company will be provided as usual.

Read More…

Amelie Gheerbrant: Green Smoothie Tasting and Logics on Trees

The talk will starts with some green smoothie tasting. The green smoothie (banana, pear, spinash, ginger, lemon, spirulina) will be made on site with the help of my famous Vitamix blender. I will then use the energy boost provided by the beverage in order to expose a model theoretic technique that I developed in my PhD thesis. The technique combines methods from classical and from finite model theory and it can be used in order to show the completeness of axiomatizations of fragments of monadic second-order logic on finite trees. I will mention a recent follow up of that work, as well as some new directions I have in mind. Bring your glass!

Read More…

Document Actions