Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

LFCS Seminar: James Brotherston

Cyclic Abduction of Inductive Safety & Termination Preconditions

Read More…

Lab Lunch by Julian Bradfield

Theory teaching in third year.

Read More…

LFCS semianr by Stanislav Zivny: The complexity of finite-valued CSPs

The complexity of finite-valued CSPs Stanislav Zivny (Oxford) (based on work published at FOCS'12 and STOC'13, joint work with J. Thapper)

Read More…

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…

Document Actions