Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminars

LFCS Seminars

The LFCS organises a series of seminars by visiting speakers, covering a range of topics in theoretical computer science. Speakers in this series are asked to present talks suitable for the entire membership of LFCS, rather than only researchers in their field. These seminars are open to all and are usually held on Tuesday afternoons during term time, from 4-5pm in the Informatics Forum. The seminars are publicised on the lfcs-interest and seminars mailing lists. The seminar organiser is Heng Guo (hguo AT inf DOT ed DOT ac DOT uk). Please contact the organiser with suggestions for future speakers.

 Title   Type 
Collection Upcoming LFCS Seminars Collection
Collection Previous LFCS Seminars Collection
Collection Seminar Archives Collection
Event LFCS seminar: Mihai Budiu: Visualizing billion-row datasets Event
Event LFCS seminar: Gunnar Wilken: Combining Howard’s ordinal assignment and Weiermann’s collapsing technique to analyse Gödel’s T Event
Event LFCS seminar: Verena Wolf: Generalized method of moments for estimating parameters of stochastic reaction networks Event
Event LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras Event
Event LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub Event
Event LFCS seminar: Martin Hofmann: Higher-order Buchi types Event
Event LFCS seminar: Zachary N. J. Peterson: Can games fix what's wrong with computer security education? Event
Event LFCS seminar: Laurence Tratt: Fine-grained language composition Event
Event LFCS seminar: Marcin Jurdzinski: Succinct progress measures and solving parity games in quasi-polynomial time Event
Event LFCS seminar: Luca Cardelli: Programming with chemical reactions Event
Event LFCS seminar: Jiawei Han: Mining structures from massive text data: a data-driven approach Event
Event LFCS seminar: Danupon Nanongkai: Challenges in distributed shortest paths algorithms Event
Event LFCS seminar: John Power: From finitary monads to Lawvere theories: Cauchy completions Event
Event LFCS seminar: Kitty Meeks: Solving hard stable matching problems involving groups of similar agents Event
Event LFCS seminar: Stuart Presnell: What is Homotopy Type Theory? Event
Event LFCS seminar: Razvan Stanica: Spatio-temporal classification of mobile network traffic Event
Event LFCS seminar: Maciej Piróg: Handle with care: relational interpretation of algebraic effects and handlers Event
Event LFCS seminar: Tom Schrijvers: Explicit effect subtyping Event
Event LFCS seminar: Karoliina Lehtinen: A modal mu perspective on solving parity games in quasi-polynomial time Event
Event LFCS seminar: Justin Hsu: From Couplings to Probabilistic Relational Program Logics Event
Event LFCS seminar: Nada Amin (cancelled due to strike) Event
Event LFCS seminar: Andreas Galanis: Inapproximability of the independent set polynomial in the complex plane Event
Event LFCS seminar: Alessandro Abate: Formal verification of complex systems: model-based and data-driven methods Event
Event LFCS seminar: Mark Jerrum: A polynomial-time approximation algorithm for all-terminal network reliability Event
Event LFCS seminar: Jessica Enright: Counting small subgraphs in multi-layer networks Event
Event LFCS seminar: Varun Kanade: Hierarchical clustering: Objective functions and efficient algorithms Event
Event LFCS seminar: Mihai Cucuringu: Robust ranking via eigenvector and semidefinite programming synchronization Event
Event LFCS seminar: Sayan Bhattacharya: Some Recent Advances in Dynamic Graph Algorithms Event
Event LFCS seminar: Prakash Panangaden: Quantitative equational reasoning Event
Event LFCS seminar: Ronald Garcia Event
Event LFCS seminar: Ashley Montanaro: Opportunities and challenges for quantum algorithms for constraint satisfaction problems Event
Event LFCS seminar: Guillem Perarnau Event
Document Actions