University of Cambridge > Talks.cam > Semantics Lunch (Computer Laboratory)

Semantics Lunch (Computer Laboratory)

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Semantics lunch is usually held from 12:45pm on Mondays in Room FW26 . There is usually an informal talk; many people bring a portable lunch. Talks start at 1pm. The meeting is associated with the Programming, Logic and Semantics group.

More details of the format are here.

Related series: Logic and semantics seminar | Mini courses | PRG seminar | ARG lunch | All CL talks | Categories seminar

Tell a friend about this list:

If you have a question about this list, please contact: Matthew Parkinson; Sam Staton; Peter Sewell. If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 87 talks in the archive.

Yet more animals: dynamic linkers and debuggers

UserStephen Kell (University of Cambridge).

HouseFW26.

ClockMonday 03 February 2014, 13:00-14:00

ABIs, linkers and other animals

UserStephen Kell, University of Cambridge.

HouseFW26.

ClockMonday 13 January 2014, 13:00-14:00

POPL PC workshop

UserSpeaker to be confirmed.

HouseLT1.

ClockTuesday 01 October 2013, 09:30-17:00

Sigma*: Symbolic Learning of Input-Output Specifications

UserMatko Botincan.

HouseFW26.

ClockMonday 14 January 2013, 13:00-14:00

High-Level Separation Logic for Low-Level Code

UserNick Benton, MSR Cambridge.

HouseFW26.

ClockMonday 10 December 2012, 13:00-14:00

Library Abstraction for C/C++ Concurrency

UserMark Batty.

HouseFW26.

ClockMonday 03 December 2012, 13:00-14:00

Full Abstraction for PCF with Names

UserSteffen Lösch, University of Cambridge.

HouseFW26.

ClockMonday 26 November 2012, 13:00-14:00

A Model-Learner Pattern for Bayesian Reasoning

UserAndy Gordon, Microsoft Research and University of Edinburgh.

HouseFW26.

ClockMonday 19 November 2012, 13:00-14:00

Putting the thrill back into computing at school

UserSimon Peyton Jones, MSR Cambridge.

HouseFW26.

ClockMonday 12 November 2012, 13:00-14:00

On distributed probabilistic strategies

UserGlynn Winskel.

HouseFW26.

ClockMonday 05 November 2012, 13:00-14:00

The Power of Parameterization in Coinductive Proof

This will be the first Semantics Lunch of the term - please do come along (or email Peter.Sewell@cl.cam.ac.uk) with offers of talks.

UserChung-Kil Hur, MSR.

HouseFW26.

ClockMonday 22 October 2012, 13:00-14:00

Containers, Comonads and Distributive Laws

UserDanel Ahman.

HouseFW26.

ClockMonday 25 June 2012, 12:45-14:00

Ribbon Proofs for Separation Logic

UserJohn Wickerson.

HouseFW26.

ClockWednesday 20 June 2012, 13:30-13:45

CerCo --- Certified Complexity

NB: Unusual day/time

UserDominic Mulligan (Bologna).

HouseFW26.

ClockThursday 31 May 2012, 11:00-12:00

A Concurrent Logical Relation

NB: changed (again!) unusual day/time

UserJacob Thamsborg (ITU).

HouseFW26.

ClockWednesday 30 May 2012, 14:30-15:30

Virtue of certified programming with decision procedures

NB: unusual day/time

UserVladimir Komendantsky (St Andrews).

HouseFW26.

ClockFriday 25 May 2012, 11:00-12:00

From threads to events through classical program transformations

NB: Unusual day/time

UserGabriel Kerneis (PPS, Université Paris Diderot).

HouseFW26.

ClockWednesday 23 May 2012, 11:00-12:00

Developing verified programs in Dafny

UserRustan Leino.

HouseFW26.

ClockMonday 27 February 2012, 12:45-14:00

RESCHEDULED to 20th Feb: GPUVerify: a modular verifier for GPU kernels

UserAlastair Donaldson, Imperial.

HouseFW26.

ClockMonday 20 February 2012, 12:45-14:00

Resource Sensitive Synchronisation Inference by Abduction

UserMike Dodds.

HouseFW26.

ClockMonday 05 December 2011, 12:45-14:00

Clarifying and Compiling C/C++ Concurrency: from C++11 to POWER

UserKayvan Memarian.

HouseFW26.

ClockMonday 28 November 2011, 12:45-14:00

Stop when you are Almost-Full: Adventures in Constructive Termination

UserDimitrios Vytiniotis.

HouseFW26.

ClockMonday 21 November 2011, 12:45-14:00

Understanding POWER Multiprocessors

UserSusmit Sarkar.

HouseFW26.

ClockMonday 14 November 2011, 12:45-14:00

The Importance of Being Linearizable

UserAlexey Gotsman, IMDEA Software Institute.

HouseFW26.

ClockMonday 07 November 2011, 12:45-14:00

Semantics of a DNA Strand Displacement Model

UserKathy Gray.

HouseFW26.

ClockMonday 24 October 2011, 12:45-14:00

Ribbon proofs for separation logic

UserJohn Wickerson.

HouseFW26.

ClockMonday 17 October 2011, 12:45-14:00

Relating Two Semantics of Locally Scoped Names

Note unusual day, time and place: this will be in the ARG lunch slot

UserSteffen Lösch (University of Cambridge).

HouseRoom SS03, Computer Laboratory, William Gates Building.

ClockTuesday 30 August 2011, 13:00-14:00

Polarisation in classical realisability and delimited control

NOTE UNUSUAL TIME AND PLACE

UserGuillaume Munch-Maccagnoni.

HouseRoom SS03, Computer Laboratory, William Gates Building.

ClockTuesday 14 June 2011, 12:45-14:00

Composable Asynchronous Events/Formal Methods for Wireless Mesh Networks

Note unusual start time: talks at 12.50 prompt

UserSuresh Jagannathan/Peter Höfner.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 23 May 2011, 12:45-14:00

Logics with algebraic operators

UserBjarki Holm (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 13 December 2010, 12:45-14:00

A Language for Mathematics

UserMohan Ganesalingam (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 15 November 2010, 12:45-14:00

Andrew Kennedy

POSTPONED - no Semantics Lunch meeting this week

UserAndrew Kennedy.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 08 November 2010, 12:45-14:00

Finding best paths in difficult conditions

(Change of speaker - this replaces Eric's talk)

UserAlex Gurney.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 01 November 2010, 12:45-14:00

Separation Logic and Graphical Models

UserJohn Wickerson (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 25 October 2010, 12:45-14:00

Mathematizing C++ Concurrency

UserMark Batty (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 18 October 2010, 12:45-14:00

Let should not be generalised

UserSimon Peyton Jones (Microsoft Research).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 11 October 2010, 12:45-14:00

Abstract separation algebra

UserTony Hoare (Microsoft Research).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 04 October 2010, 12:45-14:00

Higher order reactive programming

UserNeel Krishnaswami.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 02 August 2010, 12:45-14:00

Every bit counts

UserAndrew Kennedy.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 12 July 2010, 12:45-14:00

Linear maps

UserDavid Walker (visiting from Princeton).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 28 June 2010, 12:45-14:00

New frontiers for Linear Temporal Logic

UserEric Koskinen (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 22 March 2010, 12:45-14:00

Coarse-grained transactions

UserEric Koskinen (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 30 November 2009, 12:45-14:00

A refinement of the state monad

UserJohannes Borgstrom (MSR Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 23 November 2009, 12:45-14:00

Completeness for algebraic theories of local state

UserSam Staton (Computer Laboratory, University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Structural recursion with pure local names

UserAndy Pitts (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Dependent types and program equivalence

UserStephanie Wierich, University of Pennsylvania.

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Verifying malloc using RGSep and 'Explicit Stabilisation'

UserJohn Wickerson (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Locality and Footprints in Separation Logic

UserMohammad Raza (Imperial College).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

F^o: Lightweight Linear F

UserSteve Zdancewic.

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Higher Order Actions in Deny-Guarantee

UserMike Dodds (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Program Verification and Synthesis over Predicate Abstraction

UserSaurabh Srivastava (visiting from UMD).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Reliable evidence: Auditability by typing

UserNataliya Guts (visiting from INRIA).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

A Ubiquitous Abstract Machine

UserRobin Milner (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Towards parametric direcursion: structured mixed-variant recursion with parameters

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

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Scheduling meeting

UserSpeaker to be confirmed.

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

A unifying model for computational objects

UserTony Hoare (Microsoft Research).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Strongly-typed term representations in Coq

UserAndrew Kennedy (Microsoft Research).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Segment logic (work in progress)

UserViktor Vafeiadis (Microsoft Research Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Biorthogonality, step-indexing and compiler correctness

UserChung-Kil Hur (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Deny-guarantee reasoning

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

UserMike Dodds (University of Cambridge).

HouseRoom SS03, Computer Laboratory, William Gates Building.

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

Resolving inductive definitions with binders

UserMatt Lakin (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

A Framework for Specification, Prototyping, and Reasoning

UserAndrew Gacek (University of Minnesota).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Logics with Rank Operators

UserBjarki Holm (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Semantics lunch organisational meeting

UserSpeaker to be confirmed.

HouseFW26.

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

Secure Compilation of a Multi-Tier

UserIoannis Baltopoulos.

HouseFW26.

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

Title to be confirmed

UserJon Hayman.

HouseFW26.

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

Convergence of path-finding

UserAlex Gurney.

HouseFW26.

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

Some notes on syntactic logical relations for pure System F

UserDimitrios Vytiniotis, MSR.

HouseFW26.

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

Deny-guarantee reasoning

UserMike Dodds (University of Cambridge).

HouseFW26.

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

Focusing on Pattern Matching

UserNeelakantan Krishnaswami, CMU.

HouseFW26.

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

An Invitation to Nominal Domain Theory

UserAndrew Pitts, Computer Lab.

HouseFW26.

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

Please see above for contact details for this list.

 

© 2006-2014 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity