![[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)
Michal Zajac - Head of Research at Nethermind.
Tuesday 29 November 2022, 13:05-13:55
Room FW26, Computer Laboratory, William Gates Building
Contact: No managers listed
0 upcoming talks View 111 archived talks
Technical Talks - Department of Computer Science and Technology
Nethermind: Zero-knowledge proofs. From theory to practice in less than 40 years
Technical Talks - Department of Computer Science and Technology
Utterberry: Data and Data Sustainability
Technical Talks - Department of Computer Science and Technology
Gearset: Lessons from life as a junior software engineer
Technical Talks - Department of Computer Science and Technology
Avos: Looking back 15 years: the technological changes leading to the Zoom Cat Lawyer
Technical Talks - Department of Computer Science and Technology
Monumo: Engineering Simulation and Design: New Opportunities for Computer Science
Technical Talks - Department of Computer Science and Technology
Jane Street: One log to rule them all – How to keep state straight in distributed systems
Technical Talks - Department of Computer Science and Technology
GSA Capital: Staying Competitive
Technical Talks - Department of Computer Science and Technology
Reply: Introduction to Post-Quantum Cyber Security
Computer Laboratory Security Seminar
Cyberinsurance: good for your company, bad for your country?
Computer Laboratory Security Seminar
Identification and Investigation of Cyber Risk Hotspots in a Large Computer Network
Computer Laboratory Security Seminar
Decertifying the Worst Voting Machine in the US: Lessons Learned and Looking Forward
Computer Laboratory Security Seminar
Making Better Privacy Decisions in Ubiquitous Computing Environments
Computer Laboratory Security Seminar
Insecure processing of cookies in modern web applications and browsers
Logic and Semantics Seminar (Computer Laboratory)
Generic Computational Models
Logic and Semantics Seminar (Computer Laboratory)
New reasoning techniques for monoidal algebras
Logic and Semantics Seminar (Computer Laboratory)
Rigid Graphs for Adaptive Networks, with Data
Logic and Semantics Seminar (Computer Laboratory)
Transition systems over games
Logic and Semantics Seminar (Computer Laboratory)
Senescent Ground Tree Rewrite Systems
Logic and Semantics Seminar (Computer Laboratory)
Verification of quantum protocols using Coq
Logic and Semantics Seminar (Computer Laboratory)
An Algorithmic Metatheorem for Directed Treewidth
Logic and Semantics Seminar (Computer Laboratory)
Micro-Policies: A Framework for Tag-Based Security Monitors
Logic and Semantics Seminar (Computer Laboratory)
Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction
Logic and Semantics Seminar (Computer Laboratory)
Why Isn’t Verification Standard Practice?
Logic and Semantics Seminar (Computer Laboratory)
Modeling a Practical Combination of Delimited Continuations, Exceptions, Dynamic-Wind Guards, Dynamic Binding, and Stack Inspection
Logic and Semantics Seminar (Computer Laboratory)
Representing conditional independence in probabilistic programming
Logic and Semantics Seminar (Computer Laboratory)
An algebraic theory of type-and-effect systems
Logic and Semantics Seminar (Computer Laboratory)
Relational Programming in miniKanren
Logic and Semantics Seminar (Computer Laboratory)
Decision Problems for Linear Recurrence Sequences
Logic and Semantics Seminar (Computer Laboratory)
Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle.
Logic and Semantics Seminar (Computer Laboratory)
**TALK POSTPONED**
Logic and Semantics Seminar (Computer Laboratory)
Fibrational Parametricity
Logic and Semantics Seminar (Computer Laboratory)
Descriptive set theory and Computation theory
Logic and Semantics Seminar (Computer Laboratory)
An overview of nominal algebra, lattice, representation and dualities for computer science foundations
Logic and Semantics Seminar (Computer Laboratory)
**Cancelled** Logic of Hybrid Games
Logic and Semantics Seminar (Computer Laboratory)
Multiparty session types and their application in large distributed systems
Logic and Semantics Seminar (Computer Laboratory)
Barrier Invariants : a Shared State Abstraction for Data-dependent GPU Kernels >
Logic and Semantics Seminar (Computer Laboratory)
Semigroups with low difficulty word problem
Logic and Semantics Seminar (Computer Laboratory)
Malware Analysis with Tree Automata Inference
Logic and Semantics Seminar (Computer Laboratory)
Bounds on proof size and distributive encryption
⚠️ Note that this talk will be in FW26 rather than the usual room.
Computer Laboratory Opera Group Seminars
Run-time behavioural models for error detection, fault diagnosis, and self-recovery
women@CL Big Sister Little Sister Events
Welcome Event for New Students
Semantics Lunch (Computer Laboratory)
Composable Asynchronous Events/Formal Methods for Wireless Mesh Networks
⚠️ Note unusual start time: talks at 12.50 prompt
Computer Laboratory Computer Architecture Group Meeting
The Berkeley Parallel Computing Laboratory
Semantics Lunch (Computer Laboratory)
Relaxed-Memory Concurrency and Verified Compilation / Mathematizing C++0x concurrency
Semantics Lunch (Computer Laboratory)
Logics with algebraic operators
Semantics Lunch (Computer Laboratory)
Formalizing Domains, Ultrametric Spaces and Semantics of Programming Languages
Semantics Lunch (Computer Laboratory)
Making Prophecies with Decision Predicates
Semantics Lunch (Computer Laboratory)
Relaxed-Memory Concurrency and Verified Compilation
Semantics Lunch (Computer Laboratory)
A Language for Mathematics
Semantics Lunch (Computer Laboratory)
Andrew Kennedy
⚠️ POSTPONED - no Semantics Lunch meeting this week
Semantics Lunch (Computer Laboratory)
Finding best paths in difficult conditions
⚠️ (Change of speaker - this replaces Eric's talk)
Semantics Lunch (Computer Laboratory)
Separation Logic and Graphical Models
Semantics Lunch (Computer Laboratory)
Mathematizing C++ Concurrency
Semantics Lunch (Computer Laboratory)
Let should not be generalised
Semantics Lunch (Computer Laboratory)
Abstract separation algebra
Logic and Semantics Seminar (Computer Laboratory)
Characterizations of the Expressive Power of Logics over Trees
Semantics Lunch (Computer Laboratory)
Concurrent abstract predicates
Semantics Lunch (Computer Laboratory)
Interoperability in a Scripted World
Semantics Lunch (Computer Laboratory)
Probabilistic languages for inference
Semantics Lunch (Computer Laboratory)
Higher order reactive programming
Semantics Lunch (Computer Laboratory)
Proving safety of asynchronous multi-core programs
Semantics Lunch (Computer Laboratory)
Hoopl: modular library for dataflow analysis/transformation
Semantics Lunch (Computer Laboratory)
Every bit counts
Semantics Lunch (Computer Laboratory)
Linear maps
Semantics Lunch (Computer Laboratory)
A polarised calculus of delimited control
Semantics Lunch (Computer Laboratory)
New frontiers for Linear Temporal Logic
Semantics Lunch (Computer Laboratory)
The Thorn Programming Language: Robust Distributed Scripting
Logic and Semantics Seminar (Computer Laboratory)
Undecidability of propositional separation logic and its neighbours
Semantics Lunch (Computer Laboratory)
Coarse-grained transactions
Semantics Lunch (Computer Laboratory)
A refinement of the state monad
Semantics Lunch (Computer Laboratory)
Completeness for algebraic theories of local state
Semantics Lunch (Computer Laboratory)
Structural recursion with pure local names
Semantics Lunch (Computer Laboratory)
Dependent types and program equivalence
Semantics Lunch (Computer Laboratory)
Verifying malloc using RGSep and 'Explicit Stabilisation'
Semantics Lunch (Computer Laboratory)
Locality and Footprints in Separation Logic
Semantics Lunch (Computer Laboratory)
F^o: Lightweight Linear F
Semantics Lunch (Computer Laboratory)
Integration of Typed and Untyped Code in a Scripting Language
Semantics Lunch (Computer Laboratory)
Higher Order Actions in Deny-Guarantee
Computer Laboratory Opera Group Seminars
Enabling secure inter-domain interoperability through attribute conversion
Semantics Lunch (Computer Laboratory)
Program Verification and Synthesis over Predicate Abstraction
Semantics Lunch (Computer Laboratory)
Reliable evidence: Auditability by typing
Semantics Lunch (Computer Laboratory)
A Ubiquitous Abstract Machine
Semantics Lunch (Computer Laboratory)
Towards parametric direcursion: structured mixed-variant recursion with parameters
Computer Laboratory Opera Group Seminars
Content Based Routing Structures: from trees to mobile approaches
Semantics Lunch (Computer Laboratory)
Scheduling meeting
Computer Laboratory Computer Architecture Group Meeting
Flow-Aware Allocation for On-Chip Networks
⚠️ Note unusual time and venue
Computer Laboratory Opera Group Seminars
Start of Term - Status
Semantics Lunch (Computer Laboratory)
A unifying model for computational objects
Semantics Lunch (Computer Laboratory)
Strongly-typed term representations in Coq
Semantics Lunch (Computer Laboratory)
Segment logic (work in progress)
Semantics Lunch (Computer Laboratory)
Biorthogonality, step-indexing and compiler correctness
Semantics Lunch (Computer Laboratory)
Resolving inductive definitions with binders
Semantics Lunch (Computer Laboratory)
A Framework for Specification, Prototyping, and Reasoning
Semantics Lunch (Computer Laboratory)
Logics with Rank Operators
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 2)
⚠️ This is the second part of a two-part series
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 1)
⚠️ This is the first part of a two-part series. Part 2 is on Wed 4th Feb.
Computer Laboratory Opera Group Seminars
Round Table
Computer Laboratory Opera Group Seminars
Reading Group - Network Applications of Bloom Filters: A Survey
Logic and Semantics Seminar (Computer Laboratory)
Nominal terms and one-and-a-half level Curry-Howard
Computer Laboratory Opera Group Seminars
Event-Driven Database Information Sharing
Computer Laboratory Opera Group Seminars
Towards Autonomic QoS Management in Event-based and Service-Oriented Environments
Computer Laboratory Opera Group Seminars
CPU Scheduling for Staged Servers
Computer Laboratory Opera Group Seminars
Data control through publish-subscribe mechanisms
Computer Laboratory Opera Group Seminars
GateKeeper: Making Streaming Overlays Bandwidth Aware
Logic and Semantics Seminar (Computer Laboratory)
Pointer Safety and Graph Grammars
Computer Laboratory Opera Group Seminars
Kilim: Concurrency-Oriented Programming for Java
Crucible/Microsoft HCI Reading Group
Moving on from Weiser's Vision of Calm Computing: engaging UbiComp experiences
Computer Laboratory Opera Group Seminars
Integrating Databases and Publish/Subscribe
Computer Laboratory Opera Group Seminars
Progress Apama 3.0 - Delivering an event-based development platform
Computer Laboratory Opera Group Seminars
Towards first-class status for multicast and mobility
Computer Laboratory Opera Group Seminars
TIME-EACM Middleware Report
Please see above for contact details for this list.