Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

Lab Lunch by Wei Chen

Towards Understanding Behaviours of Android Applications

Read More…

Lab Lunch by Kousha Etessami

The complexity of computing a (quasi-)perfect equilibrium for an n-player extensive form game of perfect recall.

Read More…

LFCS Seminar: Conor McBride

Do Be Do Be Do (Smooth Effect and Value Polymorphism with Frank)

Read More…

LFCS Seminar: Christian Urban

Formalising Regular Language Theory with Regular Expressions

Read More…

Lab Lunch by Stuart Anderson

Balancing foundational and translational research in School of Informatics

Read More…

LFCS Seminar: Julian Gutierrez

Determinacy for concurrent games on event structures

Read More…

LFCS Seminar: Paolo Zuliani

Verification of Stochastic Systems by Statistical Model Checking

Read More…

Lab Lunch by Perdita Stevens

What happens at an EPSRC prioritisation panel?

Read More…

Lab Lunch by Kyriakos Kalorkoti

Making Photographs in the Highlands in the Shadow of History

Read More…

Lab Lunch by Jiansen He

Having Cloud in Hand: Google vs Amazon

Read More…

Lab Lunch: Prof Andrew D. Gordon

Title: Experience with Verifying Cryptographic Software in C

Read More…

Lab Lunch by Karoliina Lehtinen

Eliminating complexity in modal mu calculus & a brief survey of folk dancing in Edinburgh and elsewhere.

Read More…

LFCS Seminar: Jean-Raymond Abrial

Formalizing Hybrid Systems with Event-B

Read More…

Document Actions