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

Subscribe to an always-updated feed of these search terms

Event LFCS seminar by Professor Benjamin Pierce
Micro-Policies: A Framework for Tag-Based Security Monitors
Event LFCS Seminar by Dr. Peter Richtarik
Accelerated, Parallel and Proximal Coordinate Descent
Event LFCS seminar: Yitong Yin: Local distributed sampling from locally-defined distribution
Event LFCS seminar: Tomas Petricek: Programming as human data interaction
Event LFCS seminar: Carl Hewitt: Scalable Intelligent Systems by 2025
Event LFCS seminar: Michel Schellekens: Modular algorithm analysis
Event LFCS Seminar: Jonathan Hayman
SPO semantics and filtered compression for Kappa
Event LFCS Seminar: Edwin Brady
Idris: General Purpose Programming with Dependent Types
Event LFCS seminar: Philip Scott: An introduction to many-valued logics and effect algebras
Event LFCS seminar: Justin Hsu: From Couplings to Probabilistic Relational Program Logics
Event LFCS seminar: Nada Amin (cancelled due to strike)
Event LFCS seminar: Andreas Galanis: Inapproximability of the independent set polynomial in the complex plane
Event LFCS seminar: Razvan Stanica: Spatio-temporal classification of mobile network traffic
Event LFCS Seminar: Christel Baier
Quantitative Analysis of Randomized Systems and Probabilistic Automata
Event LFCS/ICSA Joint Seminar: Laurence Tratt
Experiences of implementing a VM with RPython
Event LFCS Seminar: Rustan Leino
Building an SMT-based program verifier using Boogie
Event LFCS seminar by Colin Riba (ENS Lyon)
Forcing MSO on Infinite Words in Weak MSO
Event LFCS seminar by Michael Johnson: Information structure, three ways
Event LFCS seminar: Guillem Perarnau: Rapid mixing of Glauber dynamics for graph colorings
Event LFCS Seminar: Navin Goyal
Analysis of Thompson Sampling for the Multi-armed Bandit Problem
Event LFCS seminar: Juan Sequeda: Integrating Semantic Web in the Real World: A journey between two cities
Event LFCS seminar: Derek Dreyer: RustBelt: Logical Foundations for the Future of Safe Systems Programming
Event LFCS seminar: Luca Cardelli: Programming with chemical reactions
Event LFCS Seminar: Dmitrios Vytiniotis
Static contract checking for Haskell through FOL semantics
Event LFCS/ICSA Joint Seminar: Laurence Tratt, 29 Feb 2012
Domain specific languages: why? how? and where next?
Event LFCS seminar: Ross Duncan: Interacting Frobenius Algebras are Hopf but Quantum Theory is not Petri-nets
Event LFCS seminar: Mark de Berg: Fine-grained complexity analysis of two classic TSP variants
Event LFCS seminar: Rasmus Ibsen-Jensen: Faster algorithms for program analysis
Event LFCS seminar: Antonio Filieri: Probabilistic Symbolic Execution: Bringing quantitative analysis at code level
Event LFCS Seminar: Anindya Banerjee
Modular Reasoning about Object-based Programs