Personal tools
You are here: Home

Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 31 items matching your search terms

Subscribe to an always-updated feed of these search terms

Event LFCS seminar: Healfdene Goguen: Concurrency and Compositional Synchronization
Event LFCS seminar: Ranko Lazic: The Reachability Problem for Petri Nets is Not Elementary
Event LFCS seminar: Jennifer Hackett: How to Replace Sharing with Fortune-Telling
Event LFCS seminar: Éric Tanter: Gradual Parametricity, Revisited
Event LFCS seminar: László Végh: Strongly polynomial algorithms for market equilibrium computation
Event LFCS seminar: David Tse and Pramod Viswanath
Event LFCS seminar: Robin Cockett: Abstract computability: unifying complexity and computability
Event LFCS seminar: Lucian Popa: Human-in-the-Loop Entity Resolution for Knowledge Curation
Event LFCS seminar: Wang-Chiew Tan: Enabling search by experience
Event LFCS seminar: Mourad Ouzzani: The Data Civilizer – Easing the Pain of Data Preparation
Event LFCS seminar: Juan Sequeda: Integrating Semantic Web in the Real World: A journey between two cities
Event LFCS seminar: Matthew Jenssen: Algorithms for #BIS-hard problems on expander graphs
Event LFCS seminar: Derek Dreyer: RustBelt: Logical Foundations for the Future of Safe Systems Programming
Event LFCS seminar: Tomas Petricek: Programming as human data interaction
Event LFCS seminar: Yitong Yin: Local distributed sampling from locally-defined distribution
Event LFCS seminar: Carl Hewitt: Scalable Intelligent Systems by 2025
Event LFCS seminar: Mitchell Wand: A Probabilistic Language with Continuous Random Variables and Recursion
Event LFCS seminar: Georg Gottlob: General and Fractional Hypertree Decompositions: Hard and Easy Cases
Event LFCS seminar: Guillem Perarnau: Rapid mixing of Glauber dynamics for graph colorings
Event LFCS seminar: Ashley Montanaro: Opportunities and challenges for quantum algorithms for constraint satisfaction problems
Event LFCS seminar: Ronald Garcia: Gradual Enforcement of Program Invariants
Event LFCS seminar: Prakash Panangaden: Quantitative equational reasoning
Event LFCS seminar: Sayan Bhattacharya: Some Recent Advances in Dynamic Graph Algorithms
Event LFCS seminar: Mihai Cucuringu: Robust ranking via eigenvector and semidefinite programming synchronization
Event LFCS seminar: Varun Kanade: Hierarchical clustering: Objective functions and efficient algorithms
Event LFCS seminar: Jessica Enright: Counting small subgraphs in multi-layer networks
Event LFCS seminar: Mark Jerrum: A polynomial-time approximation algorithm for all-terminal network reliability
Event LFCS seminar: Alessandro Abate: Formal verification of complex systems: model-based and data-driven methods
Event LFCS seminar: Andreas Galanis: Inapproximability of the independent set polynomial in the complex plane
Event LFCS seminar: Nada Amin (cancelled due to strike)
Event LFCS seminar: Justin Hsu: From Couplings to Probabilistic Relational Program Logics