University of Cambridge > Talks.cam > FW11

FW11

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

Tell a friend about this venue:

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 52 talks in the archive.

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

UserChung-Kil Hur, Seoul National University.

HouseFW11.

ClockFriday 16 February 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Disjoint Semirings for Fractional Permissions

**NOTE NON-STANDARD DAY AND ROOM BOOKING**

UserAquinas Hobor, National University of Singapore.

HouseFW11.

ClockThursday 01 June 2017, 13:30-14:15

Logic and Semantics Seminar (Computer Laboratory)

Genus, Numerics and Architectural Level Optimisation

Joint Logic and Semantics and Computer Architecture Seminar

UserTheo Drane, Cadence Design Systems.

HouseFW11.

ClockFriday 27 January 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A new verified compiler backend for CakeML

**NOTE NON-STANDARD DATE, TIME, AND ROOM**

UserMagnus Myreen, Chalmers University, Sweden.

HouseFW11.

ClockThursday 18 August 2016, 15:00-16:00

REMS lunch

Compiling algebraic effects to Javascript in js_of_ocaml

UserArmaël Guéneau, ENS Lyon (visiting OCamllabs).

HouseFW11.

ClockWednesday 17 February 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Identity types in Algebraic Model Structures

NOTE UNUSUAL VENUE This is the second seminar this week.

UserAndrew Swan, The Logic Group, School of Mathematics, University of Leeds.

HouseFW11.

ClockFriday 12 February 2016, 14:00-15:00

REMS lunch

Not-quite-so-broken TLS 1.3 mechanised conformance checking

UserHannes Mehnert.

HouseFW11.

ClockWednesday 10 February 2016, 13:00-14:00

REMS lunch

Sync meeting and Stephen Kell talk: Towards a dynamic object model within Unix processes

REMS lunch *with lunch*. Back in Room FW11 (not SS03)

UserStephen Kell.

HouseFW11.

ClockWednesday 21 October 2015, 13:00-14:00

REMS lunch

REMS lunch - sync meeting

UserSpeaker to be confirmed.

HouseFW11.

ClockWednesday 14 October 2015, 13:00-14:00

REMS lunch

Algebraic Principles for Program Verification and Refinement Tools

UserVictor Gomes.

HouseFW11.

ClockThursday 17 September 2015, 14:30-15:30

REMS lunch

Rozzle: De-Cloaking Internet Malware

UserBen Livshits.

HouseFW11.

ClockWednesday 16 September 2015, 13:00-14:00

REMS lunch

Checking very long ARM traces - An informal introduction

UserAli Sezgin, University of Cambridge.

HouseFW11.

ClockWednesday 09 September 2015, 13:00-14:00

REMS lunch

Modelling pcap expressions

UserNik Sultana.

HouseFW11.

ClockWednesday 26 August 2015, 13:00-14:00

REMS lunch

Understanding Memory Model Performance

UserCarl Ritson (University of Kent).

HouseFW11.

ClockWednesday 22 July 2015, 13:00-14:00

REMS lunch

Kneecap: model-based generation and analysis of network traffic

UserNik Sultana, Computer Lab.

HouseFW11.

ClockWednesday 17 June 2015, 13:00-14:00

REMS lunch

The Problem of Programming Language Concurrency Semantics

UserJean Pichon-Pharabod.

HouseFW11.

ClockWednesday 08 April 2015, 13:00-14:00

REMS lunch

Processor Memory System Verification using DOGReL

UserDaryl Stewart, ARM.

HouseFW11.

ClockWednesday 25 March 2015, 13:00-14:00

REMS lunch

The CH2O project: making sense of the C standard

UserFreek Wiedijk.

HouseFW11.

ClockWednesday 04 March 2015, 13:00-14:00

REMS lunch

ARM semantics update

UserShaked Flur.

HouseFW11.

ClockWednesday 28 January 2015, 13:00-14:00

REMS lunch

Finding small counterexamples to memory correctness

UserMatt Naylor.

HouseFW11.

ClockWednesday 21 January 2015, 13:00-14:00

REMS lunch

TBC: status updates - h/w side

UserSpeaker to be confirmed.

HouseFW11.

ClockWednesday 14 January 2015, 13:00-14:00

REMS lunch

Lipton's Reduction for TSO

UserAli Sezgin.

HouseFW11.

ClockWednesday 05 November 2014, 13:00-14:00

REMS lunch

Towards architectural emulators for multiprocessors: PPCMEM2 status

UserPeter Sewell.

HouseFW11.

ClockWednesday 22 October 2014, 13:00-14:00

REMS lunch

Updates

UserSpeaker to be confirmed.

HouseFW11.

ClockWednesday 01 October 2014, 13:00-14:00

REMS lunch

Hypervisor Verification in the PROSPER and HASPOC projects

UserChristoph Baumann, KTH.

HouseFW11.

ClockWednesday 03 September 2014, 13:00-14:00

REMS lunch

High-assurance network protocols - implementations and tests

UserHannes Mehrnert / David Kaloper.

HouseFW11.

ClockWednesday 13 August 2014, 13:00-14:00

REMS lunch

First REMS lunch

UserSpeaker to be confirmed.

HouseFW11.

ClockWednesday 06 August 2014, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

A Core Quantitative Coeffect Calculus

UserMarco Gaboardi (University of Dundee).

HouseFW11.

ClockMonday 05 May 2014, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

A Core Quantitative Coeffect Calculus

UserMarco Gaboardi (University of Dundee).

HouseFW11.

ClockMonday 05 May 2014, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

Mezzo

UserJonathan Protzenko (from INRIA).

HouseFW11.

ClockTuesday 30 April 2013, 14:00-15:00

Computer Laboratory Security Seminar

Surveillance in Speculative Fiction: Have Our Artists Been Sufficiently Imaginative?

UserRoger Clarke, University of New South Wales.

HouseFW11.

ClockMonday 02 November 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Separation Logic Semantics for Communicating Processes

UserPeter O'Hearn, Queen Mary, University of London.

HouseFW11.

ClockFriday 09 November 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A unified model of class invariant verification frameworks

UserSophia Drossopoulou (Imperial College).

HouseFW11.

ClockFriday 06 July 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Proofs of Program Termination in Separation Logic

UserJames Brotherston, Imperial College.

HouseFW11.

ClockFriday 15 June 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Valiant's theory

UserGuillaume Malod (University of Mons-Hainaut, Belgium).

HouseFW11.

ClockFriday 08 June 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

An Executable Model of the JVM in Coq

UserRobert Atkey, LFCS, Edinburgh.

HouseFW11.

ClockFriday 18 May 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

When While is a Security Risk

UserPasquale Malacaria, Queen Mary, University of London.

HouseFW11.

ClockFriday 23 March 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Stone duality for bitopological spaces

UserAchim Jung, University of Birmingham.

HouseFW11.

ClockFriday 09 March 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Verification Across Intellectual Property Boundaries

UserHelmut Veith, Technische Universität München.

HouseFW11.

ClockFriday 02 March 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Logic of Reachable Patterns in Linked Data-Structures

UserGreta Yorsh (Tel Aviv University).

HouseFW11.

ClockFriday 23 February 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Verifying Object-Invariants in Spec#

UserWolfram Schulte (Microsoft Research Redmond).

HouseFW11.

ClockFriday 09 February 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Fine-grained concurrency with separation logic

(joint work with Kalpesh Kapoor and Kamal Lodaya)

UserUday Reddy, University of Birmingham.

HouseFW11.

ClockFriday 01 December 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A logical approach to data provenance.

UserJames Cheney, Informatics, University of Edinburgh.

HouseFW11.

ClockFriday 17 November 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Bialgebras and modal logic

UserBartek Klin, University of Edinburgh.

HouseFW11.

ClockFriday 10 November 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A structural proof of the soundness of rely/guarantee rules

UserCliff Jones, Newcastle University.

HouseFW11.

ClockFriday 27 October 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Collection and Contra-collection in Mathematics

UserPaulo Oliva, Queen Mary, University of London.

HouseFW11.

ClockFriday 06 October 2006, 14:00-15:00

Please see above for contact details for this list.

 

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