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

Subscribe to an always-updated feed of these search terms

Event LFCS Seminar: Stephan Zdancewic
LolliProc: to Concurrency from Classical Linear Logic via Curry-Howard and Control
Event LFCS Seminar: Rasmus M√łgelberg
Full Abstraction in a Metalanguage for State
Event LFCS Seminar: Andrew McGregor
Data Streams, Dyck Languages, and Detecting Dubious Data Structures
Event LFCS Seminar: Benny van Houdt
Fast Algorithms for Solving Structured Markov Chains: Theory and Software
Event LFCS Seminar: David Xiao
Cryptography and NP-hardness
Event LFCS seminar: Marcin Jurdzinski: Succinct progress measures and solving parity games in quasi-polynomial time
Event LFCS seminar: Dan Olteanu: In-database factorized learning
Event LFCS seminar: Earl Barr: Automated Software Transplantation
Event LFCS Seminar by Sam Staton : Quantum computation, algebraic effects and linearity.
Event LFCS seminar: Georg Gottlob: General and Fractional Hypertree Decompositions: Hard and Easy Cases
Event LFCS seminar: Mitchell Wand: A Probabilistic Language with Continuous Random Variables and Recursion
Event LFCS seminar: Laurence Tratt: Fine-grained language composition
Event LFCS seminar: Edwin Brady: State machines all the way down
Event LFCS seminar: Casper Bach Poulsen: Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
Event LFCS seminar: Ornela Dardha: Session types revisited
Event LFCS seminar: Standa Zivny: Power and limits of convex relaxations
Event LFCS/CISA seminar: Ian Horrocks: Scalable reasoning for semantic technologies
Event LFCS Seminar: Andrew Drucker: Confident predictions against an adversary
Andy Drucker, University of Edinburgh. Confident predictions against an adversary.
Event LFCS Seminar: Sara Kalvala
Compilation Issues in Synthetic Biology
Event LFCS seminar: Antoine Cailliau: Software Requirements Engineering: A risk-driven approach
Event LFCS seminar: Karoliina Lehtinen: A modal mu perspective on solving parity games in quasi-polynomial time
Event LFCS seminar: Tarmo Uustalu: Dynamic programming and coalgebras with sharing
Event LFCS Seminar: Sven Schewe
Beautiful games you cannot stop playing
Event LFCS seminar: Mihai Budiu: Visualizing billion-row datasets
Event LFCS seminar: Sebastian Maneth: A survey of equivalence problems for tree transducers
Event LFCS seminar by Andy Gordon: Tabular: A Schema-Driven Probabilistic Programming Language
LFCS seminar by Andy Gordon
Event LFCS seminar: Murdoch Gabbay: Nominal techniques and the consistency of Quine's NF
Event LFCS seminar: Ohad Kammar: A monad for full ground reference cells
Event LFCS seminar: Lucian Popa: Human-in-the-Loop Entity Resolution for Knowledge Curation
Event LFCS seminar: Wang-Chiew Tan: Enabling search by experience