Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

Lab Lunch by Alex Simpson

Fuzzy logic for parallel probabilistic systems

Read More…

FLoC 2010 (Federated Logic Conference)

The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science.

Read More…

LFCS Seminar: Alberto Policriti

The decidability of the Bernays-Schoenfinkel-Ramsey class in Set Theory

Read More…

Lab Lunch talk by Ilias Garnier

Application of space-partitioning techniques to ray-tracing.

Read More…

LFCS lunch to welcome PhD students

A second run at last Friday's event, with a new pizza supplier

Read More…

Lab Lunch with Nicolas Behr

Physicist-friendly computer science: nondeterminism via associative algebras

Read More…

Lab Lunch by Cristina-Adriana Alexandru

Using Modelling and Simulation to Predict the Efficiency of Telemedicine Systems in Different Deployments

Read More…

LFCS Seminar: Richard Mayr

Automata Minimization and Language Inclusion Checking

Read More…

Lab Lunch by SÅ‚awek Staworko

Between music and roller skating

Read More…

LFCS Seminar: Marta Kwiatkowska

Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking

Read More…

LFCS Seminar: Jamie Gabbay

Stone duality for first-order logic (a nominal approach)

Read More…

LFCS Seminar: Jean-Eric Pin

Equational descriptions of logic fragments

Read More…

LFCS Seminar: Ross Duncan

The ZX-Calculus: a graphical approach to quantum computing

Read More…

Document Actions