Completeness for algebraic theories of local state

Sam Staton (Computer Laboratory, University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 16 November 2009, 12:45-14:00

Structural recursion with pure local names

Andy Pitts (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 09 November 2009, 12:45-14:00

Dependent types and program equivalence

Stephanie Wierich, University of Pennsylvania.

Room FW26, Computer Laboratory, William Gates Building.

Monday 02 November 2009, 12:45-14:00

Verifying malloc using RGSep and 'Explicit Stabilisation'

John Wickerson (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 26 October 2009, 12:45-14:00

Locality and Footprints in Separation Logic

Mohammad Raza (Imperial College).

Room FW26, Computer Laboratory, William Gates Building.

Monday 19 October 2009, 12:45-14:00

F^o: Lightweight Linear F

Steve Zdancewic.

Room FW26, Computer Laboratory, William Gates Building.

Monday 12 October 2009, 12:45-14:00

Integration of Typed and Untyped Code in a Scripting Language

Francesco Zappa Nardelli.

Room FW26, Computer Laboratory, William Gates Building.

Monday 05 October 2009, 12:45-14:00

Higher Order Actions in Deny-Guarantee

Mike Dodds (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 29 June 2009, 12:45-14:00

Program Verification and Synthesis over Predicate Abstraction

Saurabh Srivastava (visiting from UMD).

Room FW26, Computer Laboratory, William Gates Building.

Monday 22 June 2009, 12:45-14:00

Reliable evidence: Auditability by typing

Nataliya Guts (visiting from INRIA).

Room FW26, Computer Laboratory, William Gates Building.

Monday 15 June 2009, 12:45-14:00

A Ubiquitous Abstract Machine

Robin Milner (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 08 June 2009, 12:45-14:00

Towards parametric direcursion: structured mixed-variant recursion with parameters

Johan Glimming (Visiting Research Fellow, University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 18 May 2009, 12:45-14:00

Scheduling meeting

Speaker to be confirmed.

Room FW26, Computer Laboratory, William Gates Building.

Monday 11 May 2009, 12:45-14:00

A unifying model for computational objects

Tony Hoare (Microsoft Research).

Room FW26, Computer Laboratory, William Gates Building.

Monday 06 April 2009, 12:45-14:00

Strongly-typed term representations in Coq

Andrew Kennedy (Microsoft Research).

Room FW26, Computer Laboratory, William Gates Building.

Monday 30 March 2009, 12:45-14:00

Segment logic (work in progress)

Viktor Vafeiadis (Microsoft Research Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 23 March 2009, 12:45-14:00

Biorthogonality, step-indexing and compiler correctness

Chung-Kil Hur (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 16 March 2009, 12:45-14:00

Deny-guarantee reasoning

NOTE THE UNUSUAL DAY AND VENUE. This talk is in the ARG lunch slot.

Mike Dodds (University of Cambridge).

Room SS03, Computer Laboratory, William Gates Building.

Tuesday 10 March 2009, 13:00-14:00

Resolving inductive definitions with binders

Matt Lakin (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 09 March 2009, 12:45-14:00

A Framework for Specification, Prototyping, and Reasoning

Andrew Gacek (University of Minnesota).

Room FW26, Computer Laboratory, William Gates Building.

Monday 02 March 2009, 12:45-14:00

Logics with Rank Operators

Bjarki Holm (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 23 February 2009, 12:45-14:00

Semantics lunch organisational meeting

Speaker to be confirmed.

FW26.

Monday 16 February 2009, 12:45-14:00

Secure Compilation of a Multi-Tier

Ioannis Baltopoulos.

FW26.

Monday 08 December 2008, 12:45-14:00

Title to be confirmed

Jon Hayman.

FW26.

Monday 01 December 2008, 12:45-14:00

Convergence of path-finding

Alex Gurney.

FW26.

Monday 24 November 2008, 12:45-14:00

Compiling Functional Types to Relational Specifications for Low Level Imperative Code

Nick Benton.

FW26.

Monday 17 November 2008, 12:45-14:00

Some notes on syntactic logical relations for pure System F

Dimitrios Vytiniotis, MSR.

FW26.

Monday 10 November 2008, 12:45-14:00

Deny-guarantee reasoning

Mike Dodds (University of Cambridge).

FW26.

Monday 03 November 2008, 12:45-14:00

Focusing on Pattern Matching

Neelakantan Krishnaswami, CMU.

FW26.

Monday 27 October 2008, 12:45-14:00

An Invitation to Nominal Domain Theory

Andrew Pitts, Computer Lab.

FW26.

Monday 20 October 2008, 12:45-14:00