LFCS Seminar: Tuesday 14 October: Bruno Cavalar

Title and abstract: TBD