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

Previous LFCS Seminars

 Title   Type 
Event LFCS seminar: Ashley Montanaro: Opportunities and challenges for quantum algorithms for constraint satisfaction problems Event
Event LFCS seminar: Prakash Panangaden: Quantitative equational reasoning Event
Event LFCS seminar: Sayan Bhattacharya: Some Recent Advances in Dynamic Graph Algorithms Event
Event LFCS seminar: Mihai Cucuringu: Robust ranking via eigenvector and semidefinite programming synchronization Event
Event LFCS seminar: Varun Kanade: Hierarchical clustering: Objective functions and efficient algorithms Event
Event LFCS seminar: Alessandro Abate: Formal verification of complex systems: model-based and data-driven methods Event
Event LFCS seminar: Andreas Galanis: Inapproximability of the independent set polynomial in the complex plane Event
Event LFCS seminar: Jessica Enright: Counting small subgraphs in multi-layer networks Event
Event LFCS seminar: Mark Jerrum: A polynomial-time approximation algorithm for all-terminal network reliability Event
Event LFCS seminar: Nada Amin (cancelled due to strike) Event
Event LFCS seminar: Michel Schellekens: Modular algorithm analysis Event
Event LFCS seminar: Ulrich Schöpp: Interaction semantics for low-level programming and compilation Event
Event LFCS seminar: Justin Hsu: From Couplings to Probabilistic Relational Program Logics Event
Event LFCS seminar: Karoliina Lehtinen: A modal mu perspective on solving parity games in quasi-polynomial time Event
Event LFCS seminar: Tom Schrijvers: Explicit effect subtyping Event
Event LFCS seminar: Oliver Bračevac: The marriage of effects and joins Event
Event LFCS seminar: Maciej Piróg: Handle with care: relational interpretation of algebraic effects and handlers Event
Event LFCS seminar: Chung-Kil Hur: A promising semantics for relaxed-memory concurrency Event
Event LFCS seminar: Danel Ahman: A fibrational view on computational effects Event
Event LFCS seminar: Noam Zeilberger: Lambda calculus and the four colour theorem Event
Document Actions