Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

Lab Lunch Talk by Anastasis Georgoulas

Machine Learning for Formal Dynamical Systems

Read More…

Lab Lunch with Elham Kashefi

Elham Kashefi will join us at Lab Lunch to talk about Quantum-enhanced Secure Delegated Classical Computing. Biscuits will be provided.

Read More…

Lab Lunch by John Wilson-Kanamori

From writing fiction to writing papers: a personal tale

Read More…

LFCS Seminar: Luca Cardelli

The Cell Cycle Switch Computes Approximate Majority

Read More…

LFCS/CISA Joint Seminar: Stefan Hetzl

Algorithmic Introduction of Quantified Cuts

Read More…

LFCS Seminar: Fritz Henglein

Towards generic distributive sorting and searching

Read More…

LFCS Seminar: Philip Welch

Transfinite Time Computation and Determinacy

Read More…

Lab Lunch with Keith Edwards

Title: What your Business Development Executive (BDE) can do for you

Read More…

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…

Document Actions