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

Previous LFCS Seminars

 Title   Type 
Event LFCS seminar: Guillem Perarnau: Rapid mixing of Glauber dynamics for graph colorings Event
Event LFCS seminar: Mourad Ouzzani: The Data Civilizer – Easing the Pain of Data Preparation Event
Event LFCS seminar: Juan Sequeda: Integrating Semantic Web in the Real World: A journey between two cities Event
Event LFCS seminar: Tomas Petricek: Programming as human data interaction Event
Event LFCS seminar: Derek Dreyer: RustBelt: Logical Foundations for the Future of Safe Systems Programming Event
Event LFCS seminar: Yitong Yin: Local distributed sampling from locally-defined distribution Event
Event LFCS seminar: Ronald Garcia: Gradual Enforcement of Program Invariants Event
Event LFCS seminar: Mitchell Wand: A Probabilistic Language with Continuous Random Variables and Recursion Event
Event LFCS seminar: Georg Gottlob: General and Fractional Hypertree Decompositions: Hard and Easy Cases Event
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
Document Actions