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

Subscribe to an always-updated feed of these search terms

Event LFCS/CISA Joint Seminar: Stefan Hetzl
Algorithmic Introduction of Quantified Cuts
Event LFCS Seminar: Fritz Henglein
Towards generic distributive sorting and searching
Event LFCS Seminar: Philip Welch
Transfinite Time Computation and Determinacy
Event LFCS End-of-Year Quiz
Event LFCS seminar: Danupon Nanongkai: Challenges in distributed shortest paths algorithms
Event LFCS Seminar: Gerome Miklau
Managing Sensitive Personal Data: Protection or Profit?
Event LFCS Seminar: James Brotherston
Cyclic Abduction of Inductive Safety & Termination Preconditions
Event LFCS semianr by Stanislav Zivny: The complexity of finite-valued CSPs
The complexity of finite-valued CSPs Stanislav Zivny (Oxford) (based on work published at FOCS'12 and STOC'13, joint work with J. Thapper)
Event LFCS & Security seminar: Vincent Cheval: Timing attacks in security protocols: symbolic framework and proof techniques
Event LFCS & security seminar: Changyu Dong: Towards Practical Data-intensive Secure Computation
Event LFCS seminar: John Power: From finitary monads to Lawvere theories: Cauchy completions
Event LFCS seminar: Vivek Nigam: Slow TCAM exhaustion DDoS attack
Event LFCS Seminar: Alan Mislove: Measuring personalization of online services
Event LFCS Seminar: Conor McBride
Do Be Do Be Do (Smooth Effect and Value Polymorphism with Frank)
Event LFCS Seminar: Christian Urban
Formalising Regular Language Theory with Regular Expressions
Event Joint LFCS & ANC Seminar by Nathan Srebro: The Power of Asymmetry in Binary Hashing
Event LFCS Seminar: Julian Gutierrez
Determinacy for concurrent games on event structures
Event LFCS Seminar: Paolo Zuliani
Verification of Stochastic Systems by Statistical Model Checking
Event LFCS seminar: Nicolas Wu: Syntax and handlers for operations with scopes
Event LFCS Seminar: Fredrik Nordvall Forsberg: Inductive-inductive definitions in Type Theory
Fredrik Nordvall Forsberg, University of Strathclyde
Event LFCS Seminar: Jean-Raymond Abrial
Formalizing Hybrid Systems with Event-B
Event LFCS seminar: Aggelos Kiayias: End-to-end verifiable elections
Event LFCS Seminar: Ohad Kammar
Title: Algebraic Foundations to Effect-Dependent Optimisations
Event LFCS seminar: Prakash Panangaden: Quantitative equational reasoning
Event LFCS seminar: Ronald Garcia: Gradual Enforcement of Program Invariants
Event Random Coordinate Descent Methods for Minimizing Decomposable Submodular Functions
LFCS Seminar by Dr. Alina Ene (Warwick)
Event LFCS seminar: Paul Levy — Transition Systems over Games
Paul Levy (University of Birmingham)
Event LFCS Seminar: Dave Parker
Automatic Verification of Competitive Stochastic Systems.
Event LFCS seminar: Maciej Piróg: Handle with care: relational interpretation of algebraic effects and handlers
Event LFCS Seminar: Alessandro Panconesi
Algorithmic Aspects of Social Networks