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

Subscribe to an always-updated feed of these search terms

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: Dr. Chris Heunen: Approximating transition systems
Dr. Chris Heunen, Oxford University. Approximating transition systems
Event LFCS seminar: Kitty Meeks: Solving hard stable matching problems involving groups of similar agents
Event LFCS seminar: Stuart Presnell: What is Homotopy Type Theory?
Event LFCS seminar: Danel Ahman: A fibrational view on computational effects
Event LFCS seminar: Chung-Kil Hur: A promising semantics for relaxed-memory concurrency
Event LFCS seminar: Shan Lin: MPC for Urban Transportation Systems
Shan Lin, Deaprtment of ECE, Stony Brook University
Event LFCS Seminar: Jari Stenman
Timed Pushdown Automata
Event LFCS Seminar: Vashti Galpin
Stochastic HYPE: a stochastic hybrid process algebra
Event LFCS Seminar: Alessandro Abate: Computable analysis and control synthesis over complex dynamical systems via formal verification
Event LFCS Seminar: Riccardo Focardi: A semantic based tool for firewall configuration
Event LFCS seminar: Zhaohui Luo: Substructural calculi with dependent types
Event LFCS/CISA seminar: Stefania Dumbrava: Certifying deductive database engines with Coq/SSReflect
Event LFCS seminar: Amal Ahmed: Compositional compiler verification for a multi-language world