Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

Lab Lunch by Domagoj Vrgoc

Containment of negative upward-downward fragments of conjunctive positive XPath with reverse axes

Read More…

Database Seminar: Nan Tang

Graph Pattern Matching: From Intractable to Polynomial Time

Read More…

LFCS Seminar: Gerome Miklau

Managing Sensitive Personal Data: Protection or Profit?

Read More…

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…

Document Actions