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

Previous LFCS Seminars

 Title   Type 
Event LFCS seminar: László Végh: Strongly polynomial algorithms for market equilibrium computation Event
Event LFCS seminar: David Tse and Pramod Viswanath Event
Event LFCS seminar: Healfdene Goguen: Concurrency and Compositional Synchronization Event
Event LFCS seminar: Robin Cockett: Abstract computability: unifying complexity and computability Event
Event LFCS seminar: Carl Hewitt: Scalable Intelligent Systems by 2025 Event
Event LFCS seminar: Ranko Lazic: The Reachability Problem for Petri Nets is Not Elementary Event
Event LFCS seminar: Matthew Jenssen: Algorithms for #BIS-hard problems on expander graphs Event
Event LFCS seminar: Wang-Chiew Tan: Enabling search by experience Event
Event LFCS seminar: Lucian Popa: Human-in-the-Loop Entity Resolution for Knowledge Curation Event
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
Document Actions