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

LFCS Seminars

See the new LFCS seminar webpage: http://web.inf.ed.ac.uk/lfcs/events/lfcs-seminars

 Title   Type 
Collection Upcoming LFCS Seminars Collection
Collection Previous LFCS Seminars Collection
Collection Seminar Archives Collection
Event LFCS seminar: Mihai Budiu: Visualizing billion-row datasets Event
Event LFCS seminar: Gunnar Wilken: Combining Howard’s ordinal assignment and Weiermann’s collapsing technique to analyse Gödel’s T Event
Event LFCS seminar: Verena Wolf: Generalized method of moments for estimating parameters of stochastic reaction networks Event
Event LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras Event
Event LFCS seminar: Stephen Dolan: Polymorphism, subtyping and type inference in MLsub Event
Event LFCS seminar: Martin Hofmann: Higher-order Buchi types Event
Event LFCS seminar: Zachary N. J. Peterson: Can games fix what's wrong with computer security education? Event
Event LFCS seminar: Laurence Tratt: Fine-grained language composition Event
Event LFCS seminar: Marcin Jurdzinski: Succinct progress measures and solving parity games in quasi-polynomial time Event
Event LFCS seminar: Luca Cardelli: Programming with chemical reactions Event
Event LFCS seminar: Jiawei Han: Mining structures from massive text data: a data-driven approach Event
Event LFCS seminar: Danupon Nanongkai: Challenges in distributed shortest paths algorithms Event
Event LFCS seminar: John Power: From finitary monads to Lawvere theories: Cauchy completions Event
Event LFCS seminar: Kitty Meeks: Solving hard stable matching problems involving groups of similar agents Event
Event LFCS seminar: Stuart Presnell: What is Homotopy Type Theory? Event
Event LFCS seminar: Razvan Stanica: Spatio-temporal classification of mobile network traffic Event
Event LFCS seminar: Maciej Piróg: Handle with care: relational interpretation of algebraic effects and handlers Event
Event LFCS seminar: Tom Schrijvers: Explicit effect subtyping Event
Event LFCS seminar: Karoliina Lehtinen: A modal mu perspective on solving parity games in quasi-polynomial time Event
Event LFCS seminar: Justin Hsu: From Couplings to Probabilistic Relational Program Logics Event
Event LFCS seminar: Nada Amin (cancelled due to strike) Event
Event LFCS seminar: Andreas Galanis: Inapproximability of the independent set polynomial in the complex plane Event
Event LFCS seminar: Alessandro Abate: Formal verification of complex systems: model-based and data-driven methods Event
Event LFCS seminar: Mark Jerrum: A polynomial-time approximation algorithm for all-terminal network reliability Event
Event LFCS seminar: Jessica Enright: Counting small subgraphs in multi-layer networks Event
Event LFCS seminar: Varun Kanade: Hierarchical clustering: Objective functions and efficient algorithms Event
Event LFCS seminar: Mihai Cucuringu: Robust ranking via eigenvector and semidefinite programming synchronization Event
Event LFCS seminar: Sayan Bhattacharya: Some Recent Advances in Dynamic Graph Algorithms Event
Event LFCS seminar: Prakash Panangaden: Quantitative equational reasoning Event
Event LFCS seminar: Ronald Garcia: Gradual Enforcement of Program Invariants Event
Event LFCS seminar: Ashley Montanaro: Opportunities and challenges for quantum algorithms for constraint satisfaction problems Event
Event LFCS seminar: Guillem Perarnau: Rapid mixing of Glauber dynamics for graph colorings Event
Event LFCS seminar: Georg Gottlob: General and Fractional Hypertree Decompositions: Hard and Easy Cases Event
Event LFCS seminar: Mitchell Wand: A Probabilistic Language with Continuous Random Variables and Recursion Event
Event LFCS seminar: Yitong Yin: Local distributed sampling from locally-defined distribution Event
Event LFCS seminar: Tomas Petricek: Programming as human data interaction Event
Event LFCS seminar: Carl Hewitt: Scalable Intelligent Systems by 2025 Event
Event LFCS seminar: Derek Dreyer: RustBelt: Logical Foundations for the Future of Safe Systems Programming Event
Event LFCS seminar: Matthew Jenssen: Algorithms for #BIS-hard problems on expander graphs Event
Event LFCS seminar: Juan Sequeda: Integrating Semantic Web in the Real World: A journey between two cities Event
Event LFCS seminar: Mourad Ouzzani: The Data Civilizer – Easing the Pain of Data Preparation Event
Event LFCS seminar: Lucian Popa: Human-in-the-Loop Entity Resolution for Knowledge Curation Event
Event LFCS seminar: Wang-Chiew Tan: Enabling search by experience Event
Event LFCS seminar: Robin Cockett: Abstract computability: unifying complexity and computability Event
Event LFCS seminar: David Tse and Pramod Viswanath Event
Event LFCS seminar: László Végh: Strongly polynomial algorithms for market equilibrium computation Event
Event LFCS seminar: Éric Tanter: Gradual Parametricity, Revisited Event
Event LFCS seminar: Jennifer Hackett: How to Replace Sharing with Fortune-Telling Event
Event LFCS seminar: Ranko Lazic: The Reachability Problem for Petri Nets is Not Elementary Event
Event LFCS seminar: Healfdene Goguen: Concurrency and Compositional Synchronization Event
Event LFCS seminar: Artur Czumaj: Round Compression for Parallel Matching Algorithms Event
Event LFCS seminar: Pan Peng: Graph Property Testing and Random Order Streams Event
Event LFCS seminar: Igor Carboni Oliveira: Randomness and Intractability in Kolmogorov Complexity Event
Event LFCS seminar: Ohad Kammar: A domain theory for statistical probabilistic programming. Event
Event LFCS seminar: Torsten Grust: Processing Data in its Own Habitat Event
Event LFCS seminar: Peter Thiemann: Label-Dependent Session Types Event
Event LFCS seminar: Sergey Goncharov: Towards Coherence for Guarded Traces Event
Event LFCS seminar: Bruce Kapron: Type-two feasibility via bounded query revision Event
Event LFCS seminar: Matija Pretnar: Bringing equations back to algebraic effect handlers Event
Event LFCS seminar: Samson Abramsky: Simulations of quantum resources and the degrees of contextuality Event
Event LFCS seminar: Glynn Winskel: From probabilistic to quantum strategies Event
Event LFCS seminar: Christian Ikenmeyer: Geometric Complexity Theory Event
Event LFCS seminar: James Noble: Holistic Specifications Event
Document Actions