![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
OCaml Labs.
Tuesday 29 April 2014, 18:00-21:00
Room FW11, Computer Laboratory, William Gates Building
Contact: No managers listed
0 upcoming talks View 126 archived talks
Logic and Semantics Seminar (Computer Laboratory)
Halo: From Haskell to Logic through Denotational Semantics
Logic and Semantics Seminar (Computer Laboratory)
Abstraction and Invariance for Algebraically Indexed Types
Logic and Semantics Seminar (Computer Laboratory)
Safe Recursive Set Functions
Logic and Semantics Seminar (Computer Laboratory)
MELL in a free compact closure
Logic and Semantics Seminar (Computer Laboratory)
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Logic and Semantics Seminar (Computer Laboratory)
Expressiveness of real-time temporal logics
Logic and Semantics Seminar (Computer Laboratory)
On modal definability of first-order formulas with many free variables and its application to conjunctive query answering in description logics
Logic and Semantics Seminar (Computer Laboratory)
Iterative algorithms and Sherali-Adams linear programming relaxations of graph isomorphism
Logic and Semantics Seminar (Computer Laboratory)
Layered Fixed Point Logic
Logic and Semantics Seminar (Computer Laboratory)
Algebra unifies Calculi of programming
Logic and Semantics Seminar (Computer Laboratory)
Nash Equilibrium, Bekic's Lemma and Bar Recursion
Logic and Semantics Seminar (Computer Laboratory)
Almost always blue trees and bar induction
Logic and Semantics Seminar (Computer Laboratory)
Parameterized Complexity of some Problems in Concurrency and Verification
Logic and Semantics Seminar (Computer Laboratory)
Parallel Assertions for Debugging Parallel Programs
Logic and Semantics Seminar (Computer Laboratory)
Lightweight Monadic Programming in ML
Logic and Semantics Seminar (Computer Laboratory)
The Complexity of #CSP
Logic and Semantics Seminar (Computer Laboratory)
Isomorphisms of types in the presence of higher-order references
Logic and Semantics Seminar (Computer Laboratory)
Domination When the Stars Are Out β An algorithmization of Chudnovskyβs and Seymourβs Structure Theorem for Claw-Free Graphs
Logic and Semantics Seminar (Computer Laboratory)
Bisimulation and Model-Checking for Partial Order Models of Concurrency
Logic and Semantics Seminar (Computer Laboratory)
Approximating Labelled Markov Processes by Averaging
Logic and Semantics Seminar (Computer Laboratory)
Kleisli Arrows of Outrageous Fortune
Logic and Semantics Seminar (Computer Laboratory)
Selection functions everywhere
Logic and Semantics Seminar (Computer Laboratory)
Modular Reasoning for Deterministic Parallelism
Logic and Semantics Seminar (Computer Laboratory)
Automatic reduction of differential semantics for protein-protein interaction networks, by abstract interpretation
Logic and Semantics Seminar (Computer Laboratory)
A Framework for Incremental Modelling and Verification of On-Chip Protocols and Its Application to PCI Express
β οΈ Note the unusual time (13:00)
sps32's list
Side-Channel Attack Resistant ROM-Based AES S-Box
Logic and Semantics Seminar (Computer Laboratory)
Scalars & probabilities, monads & categories
Logic and Semantics Seminar (Computer Laboratory)
Algebraic Theories over Nominal Sets
Computer Laboratory Opera Group Seminars
Vital Responder - Monitoring Stress among First Responder Professionals
Computer Laboratory Opera Group Seminars
Model Driven Development in the Cloud
Logic and Semantics Seminar (Computer Laboratory)
Declassification Policy Inference
Computer Laboratory Opera Group Seminars
Distributed Decentralised Event Flow Control
Computer Laboratory Opera Group Seminars
Statistical modelling and analysis of transport traffic data in the TIME project
Logic and Semantics Seminar (Computer Laboratory)
Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors
Logic and Semantics Seminar (Computer Laboratory)
The Hybrid Systems Jigsaw: Bringing Together Computer Science, Dynamical Systems and Control Engineering.
Logic and Semantics Seminar (Computer Laboratory)
The Microcosm Principle and Coalgebraic Modeling of Component Calculi
Computer Laboratory Opera Group Seminars
Body Sensor Networks: Can we use them? - Architecture proposal for resource abstraction
Computer Laboratory Opera Group Seminars
The Elephant in the Room: Health Information System Security and the User-Level Environment
Computer Laboratory Opera Group Seminars
Anonymity properties of stored or transmitted data taken from Bluetooth scans
Logic and Semantics Seminar (Computer Laboratory)
A Theory of Indirection via Approximation
Computer Laboratory Opera Group Seminars
Round table discussion with Orval Wilbur
Computer Laboratory Opera Group Seminars
Research opportunities and problems in scalable social networking analysis
Computer Laboratory Opera Group Seminars
Round Table
Logic and Semantics Seminar (Computer Laboratory)
A Canonical Local Representation of Binding
Computer Laboratory Opera Group Seminars
Distributed Message Passing
Logic and Semantics Seminar (Computer Laboratory)
Explicit Stabilisation for Rely-Guarantee reasoning
Logic and Semantics Seminar (Computer Laboratory)
Inductive-recursive definitions
Logic and Semantics Seminar (Computer Laboratory)
Safety of program transformations in shared-memory concurrency
β οΈ NOTE UNUSUAL DAY AND TIME. There are two seminars this week, one on Wednesday, one on Friday.
Computer Laboratory Opera Group Seminars
Delta Transport Management
Logic and Semantics Seminar (Computer Laboratory)
Focalisation and Classical Realisability
Computer Laboratory Opera Group Seminars
Distributed Event Routing in Publish/Subscribe Systems
Computer Laboratory Opera Group Seminars
Norms, action ... - Talk Cancelled
Logic and Semantics Seminar (Computer Laboratory)
TALK CANCELLED: An overview of structural corecursion
β οΈ THIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term.
Computer Laboratory Opera Group Seminars
Event Processing β the next generation
Logic and Semantics Seminar (Computer Laboratory)
Structurally Recursive Descent Parsing
Logic and Semantics Seminar (Computer Laboratory)
Deciding Boolean BI (via Display Logic)
Computer Laboratory Opera Group Seminars
Vehicular Sensing
Computer Laboratory Opera Group Seminars
DTrace and Instrumenting Message-Oriented Middleware
Logic and Semantics Seminar (Computer Laboratory)
A game for a neutral approach to provability in MALL
Computer Laboratory Opera Group Seminars
Inference and optimal design for percolation and random graph models
Computer Laboratory Opera Group Seminars
Beyond Weiserβs Vision of Ubiquitous Computing
Logic and Semantics Seminar (Computer Laboratory)
Equideductive logic and CCCs with subspaces
β οΈ NOTE UNUSUAL DAY.
Computer Laboratory Opera Group Seminars
An overview of the Smart Flow project
Logic and Semantics Seminar (Computer Laboratory)
Nondeterminism: many questions and (maybe) some answers
Logic and Semantics Seminar (Computer Laboratory)
Dynamics, robustness and fragility of trust
β οΈ NOTE THE UNUSUAL TIME
Computer Laboratory Opera Group Seminars
Deontic logic for modelling data flow and use compliance
Logic and Semantics Seminar (Computer Laboratory)
Polynomial functors
Computer Laboratory Opera Group Seminars
SBUS Tutorial
Computer Laboratory Opera Group Seminars
Reading Group - Sinfonia: a new paradigm for building scalable distributed systems
Logic and Semantics Seminar (Computer Laboratory)
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Computer Laboratory Opera Group Seminars
SpaTeC: Spatio-Temporal Reasoning with Composite Events in Mobile Systems
Computer Laboratory Opera Group Seminars
SpaTeC : Spatio-Temporal Reasoning ***POSTPONED***
Logic and Semantics Seminar (Computer Laboratory)
Classical BI (A Logic for Reasoning About Dualising Resource)
Computer Laboratory Opera Group Seminars
Round Table - Start of Year
Logic and Semantics Seminar (Computer Laboratory)
The interpretation of intuitionistic type theory in locally cartesian closed categories: an intuitionistic approach
Computer Laboratory Opera Group Seminars
Five Lessons From My PhD
Computer Laboratory Opera Group Seminars
Peer-to-Peer File Systems Challenges
Logic and Semantics Seminar (Computer Laboratory)
Event structure semantics of the pi-calculus
Computer Laboratory Opera Group Seminars
Privacy-preserving datagram delivery for ubiquitous systems
Logic and Semantics Seminar (Computer Laboratory)
Extensional rewriting with sums
Logic and Semantics Seminar (Computer Laboratory)
Eriskay: a programming language based on game semantics.
Computer Laboratory Opera Group Seminars
Explorations in the Grid Computing Jungle
Logic and Semantics Seminar (Computer Laboratory)
Verification Based on Algebra and Automated Deduction
Computer Laboratory Opera Group Seminars
Systems support for deployed Ubiquitous Computing
Logic and Semantics Seminar (Computer Laboratory)
A language extension for provably safe exception handling
Logic and Semantics Seminar (Computer Laboratory)
Keep Off The Grass: Locking the Right Path for Atomicity
Computer Laboratory Opera Group Seminars
Reduced plug-in rules for learning
Computer Laboratory Opera Group Seminars
Active privilege management using publish/subscribe
Computer Laboratory Opera Group Seminars
Case studies of MS SQL Server tools
Computer Laboratory Opera Group Seminars
Get It Done! On Developing a Workload Model for Event-Based Middleware
Computer Laboratory Opera Group Seminars
The Open Microscopy Environment Analysis System: Workflow Composition and Enactment for Quantitative Pattern Analysis of Large Microscopy Datasets
Computer Laboratory Opera Group Seminars
Cobra - Building an Internet-Scale Publish/Subscribe System
Logic and Semantics Seminar (Computer Laboratory)
On Scalable Shape Analysis
Logic and Semantics Seminar (Computer Laboratory)
A completeness proof for bisimulation in the pi-calculus using Isabelle
β οΈ Note the unusual day.
Logic and Semantics Seminar (Computer Laboratory)
Logics for Coalgebras
Logic and Semantics Seminar (Computer Laboratory)
Category Theory and the Philosophy of Language
Computer Laboratory Opera Group Seminars
Making system composition flexible, automatic, safe, practical (but not necessarily all at the same time)
Computer Laboratory Opera Group Seminars
Context-dependent event detection in mobile wireless networks
Logic and Semantics Seminar (Computer Laboratory)
Model theoretic tools for deciding boundedness of fixed points
Logic and Semantics Seminar (Computer Laboratory)
Logical Reasoning for Higher-Order Functions with Local State
Computer Laboratory Opera Group Seminars
SPECjms2007 - A Novel Benchmark and Performance Analysis Framework for Message-Oriented Middleware
Computer Laboratory Opera Group Seminars
Opera Group Roundtable Meeting
Computer Laboratory Opera Group Seminars
Inter-domain communication in home healthcare environments
Computer Laboratory Opera Group Seminars
Computational specification for temporal abstraction in music
Computer Laboratory Opera Group Seminars
Alertme.com - implementing wireless home security 2.0
Computer Laboratory Opera Group Seminars
Hello my name is... Have you seen my sensors?
Computer Laboratory Opera Group Seminars
From Graspable Interfaces and Computer Games to Mobile phones and Sensors: My research past and present
Computer Laboratory Opera Group Seminars
Opera Group Internal Meeting
Computer Laboratory Opera Group Seminars
An Approach to Performance Modeling and Analysis of Distributed Event-Based Systems
Computer Laboratory Opera Group Seminars
Wired Geometric Routing
Computer Laboratory Opera Group Seminars
Complex Event Processing for Heterogeneous Sensor Networks
Computer Laboratory Opera Group Seminars
Network Architecture Research Considerations Or The Internet Conspiracy
Computer Laboratory Opera Group Seminars
Why Scheduling
Computer Laboratory Opera Group Seminars
Pervasive Messaging and Location-aware applications
Computer Laboratory Opera Group Seminars
Introductory talk: on my past, current and forthcoming research activities
Computer Laboratory Opera Group Seminars
Context-derived Pseudonyms for Protection of Privacy in Transport Middleware and Applications
Computer Laboratory Opera Group Seminars
Building distributed financial trading systems (Part 2)
Computer Laboratory Opera Group Seminars
A framework for extensible event-based middleware
Computer Laboratory Opera Group Seminars
Building distributed financial trading systems (Part 1)
Computer Laboratory Opera Group Seminars
Developing event-based middleware for sensor-based applications
Computer Laboratory Opera Group Seminars
Low-latency Atomic Broadcast in the Presence of Contention
Computer Laboratory Opera Group Seminars
Planning meeting
Computer Laboratory Security Seminar
Network Security Monitoring
Please see above for contact details for this list.