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 22 items matching your search terms

Subscribe to an always-updated feed of these search terms

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
Event LFCS seminar: Derek Dreyer: RustBelt: Logical Foundations for the Future of Safe Systems Programming
Event LFCS seminar: Carl Hewitt
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: 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