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

Subscribe to an always-updated feed of these search terms

Event LFCS Seminar: Valentine Kabanets
Lower bounds against weakly uniform circuits
Event LFCS seminar: Martin Hofmann: Higher-order Buchi types
Event LFCS Seminar: Alberto Policriti
The decidability of the Bernays-Schoenfinkel-Ramsey class in Set Theory
Event LFCS Seminar: Richard Mayr
Automata Minimization and Language Inclusion Checking
Event LFCS Seminar: Marta Kwiatkowska
Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking
Event LFCS Seminar: Petra Berenbrink
Speeding up random walks
Event LFCS Seminar: Jamie Gabbay
Stone duality for first-order logic (a nominal approach)
Event LFCS Seminar: Jean-Eric Pin
Equational descriptions of logic fragments
Event LFCS Seminar: Ross Duncan
The ZX-Calculus: a graphical approach to quantum computing
Event LFCS seminar : Magnus Myreen: CakeML: a formally verified implementation of ML
Event LFCS seminar: Neelakantan (Neel) Krishnaswami: Curry-Howard for GUIs via Linear Temporal Classical Linear Logic
Event LFCS seminar by Matthew Anderson On Symmetric Circuits and Fixed-Point Logics
Title: On Symmetric Circuits and Fixed-Point Logics Speaker: Matthew Anderson, Cambridge venue: IF 4.31-4.33, 4:00pm, 11/2/2014
Event LFCS Seminar: Srikanth Srinivasan: Lower bounds for non-commutative skew circuits
Event LFCS Seminar: Istvan Gyongy: Nonlinear filtering and stochastic partial differential equations
Event LFCS Seminar: Francisco Ortin: Design and Implementation of an Efficient Hybrid Static and Dynamic Typing Language
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: 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: 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: Navin Goyal
Analysis of Thompson Sampling for the Multi-armed Bandit Problem
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?