University of Cambridge > Talks.cam > FW26

FW26

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 146 talks in the archive.

Logic and Semantics Seminar (Computer Laboratory)

The way of the empty proof

UserJean-Louis Lassez.

HouseFW26.

ClockFriday 11 October 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Retrofitting Purity with Comonads and Capabilities

UserVikraman Choudhury, Indiana University / Cambridge.

HouseFW26.

ClockFriday 24 May 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

An Overview of the Flix Programming Language

UserMagnus Madsen, Aarhus University.

HouseFW26.

ClockThursday 09 May 2019, 13:45-14:45

Logic and Semantics Seminar (Computer Laboratory)

Resource-oriented programming with graded modal types

UserVilem Liepelt, University of Kent.

HouseFW26.

ClockThursday 18 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Uncertainty is hope: towards a unified foundation of gradual typing

UserJoshua Dunfield, Queen’s University, Canada.

HouseFW26.

ClockWednesday 17 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Excel Formulae: a PL perspective

UserBen Simner, Computer Laboratory.

HouseFW26.

ClockFriday 22 March 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Linear Capabilities: an overview

UserDominique Devriese, Vrije Universiteit Brussel.

HouseFW26.

ClockMonday 18 March 2019, 14:30-15:00

Logic and Semantics Seminar (Computer Laboratory)

Project Everest: towards a verified TLS ecosystem

UserJonathan Protzenko, MSR Redmond.

HouseFW26.

ClockFriday 30 November 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

PP is not a monad

UserBartek Klin, Warsaw University.

HouseFW26.

ClockTuesday 20 November 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Quasi-polynomial solutions for parity games and other problems

UserKaroliina Lehtinen, Christian-Albrechts University of Kiel.

HouseFW26.

ClockFriday 14 September 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Graphical Conjunctive Queries

UserPawel Sobocinski, University of Southampton.

HouseFW26.

ClockFriday 27 July 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Polynomial models of type theory

UserTamara von Glehn (DPMMS).

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

The direct approach to evaluation order

UserGuillaume Munch-Maccagnoni, INRIA.

HouseFW26.

ClockTuesday 19 June 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Quantitative equational reasoning

UserPrakash Panangaden, McGill University.

HouseFW26.

ClockThursday 24 May 2018, 13:45-14:45

Logic and Semantics Seminar (Computer Laboratory)

Scheduling Tasks for Reconfigurable Architecture

UserAmlan Chakrabarti, University of Calcutta.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Left Exact Modalities in Type Theory

UserEric Finster, INRIA Rennes.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Modular Algorithm Analysis

UserMichel Schellekens, University College Cork.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Atomicity Abstractions in Relaxed Memory Architectures

UserBrijesh Dongol, Brunel University London.

HouseFW26.

ClockFriday 26 January 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logic Programming, Semantics, and a Bit of Cleverness

UserWilliam Byrd, University of Alabama at Birmingham.

HouseFW26.

ClockTuesday 23 January 2018, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

A Geometric Theory of Program Testing.

UserTony Hoare, FRS FREng.

HouseFW26.

ClockFriday 19 January 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Linux Kernel Concurrency Model

UserAndrea Parri.

HouseFW26.

ClockThursday 07 December 2017, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Reasoning beyond data-race freedom

UserStephen Dolan, Ocaml Labs, University of Cambridge.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

NB: rescheduled from 2017/09/22

UserChung-Kil Hur, Seoul National University.

HouseFW26.

ClockFriday 29 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Event Correlation with Algebraic Effects

UserOliver Bracevac, University of Darmstadt.

HouseFW26.

ClockFriday 15 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A promising semantics for relaxed-memory concurrency

UserChung-Kil Hur, Seoul National University.

HouseFW26.

ClockFriday 08 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Semantics of Full Ground References

UserPaul Blain Levy (University of Birmingham).

HouseFW26.

ClockFriday 21 July 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Interleaved scope for games and automata

UserMurdoch Gabbay, Heriot-Watt University.

HouseFW26.

ClockFriday 09 June 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Concurrent Kleene Algebras and Pomset Languages

UserGeorg Struth, University of Sheffield.

HouseFW26.

ClockFriday 26 May 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

What does the Future of Programming Look Like?

UserDavid Pearce, Victoria University of Wellington, New Zealand.

HouseFW26.

ClockFriday 19 May 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Higher Categorical Structures, Type-Theoretically

UserNicolai Kraus, University of Nottingham.

HouseFW26.

ClockFriday 12 May 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Monads and Lenses

UserJames Cheney, University of Edinburgh.

HouseFW26.

ClockFriday 07 April 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Diagrammatic Operational Semantics for Digital Circuits

UserDan Ghica, University of Birmingham.

HouseFW26.

ClockFriday 17 March 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Verified Characteristic Formulae for CakeML

UserMagnus Myreen, Chalmers University.

HouseFW26.

ClockFriday 03 March 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A monad for full ground reference cells

UserOhad Kammar, University of Oxford.

HouseFW26.

ClockFriday 17 February 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

One-Dimensional Higher Inductive Types

UserPeter Dybjer, Chalmers University of Technology.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Polymorphism, subtyping and type inference in MLsub

UserStephen Dolan, University of Cambridge.

HouseFW26.

ClockFriday 16 December 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A categorical perspective on type refinement systems

UserNoam Zeilberger, University of Birmingham.

HouseFW26.

ClockFriday 09 December 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Fencing off Go: Liveness and Safety for Channel-based Programming

UserNicholas Ng and Bernardo Toninho, Imperial College.

HouseFW26.

ClockFriday 11 November 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Context Equivalences and Metrics in Probabilistic Lambda-Calculi

UserUgo Dal Lago, University of Bologna.

HouseFW26.

ClockFriday 21 October 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

On Proofs of Equality as Paths

UserAndy Pitts, Computer Laboratory.

HouseFW26.

ClockFriday 07 October 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Making Reactive Programs Function

UserNeel Krishnaswami, University of Cambridge.

HouseFW26.

ClockFriday 09 September 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Classical Linear Logic considered as a programming language

UserRobert Atkey, University of Strathclyde.

HouseFW26.

ClockFriday 29 July 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Practical Statically-checked Deterministic Parallelism

UserRyan Newton, University of Indiana.

HouseFW26.

ClockFriday 01 July 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automatically comparing memory consistency models

UserJohn Wickerson, Imperial College.

HouseFW26.

ClockFriday 24 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Programming and Proving with Concurrent Resources

UserIlya Sergey, University College London.

HouseFW26.

ClockFriday 17 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Optimising star-convex functions

UserJasper Lee, Brown University.

HouseFW26.

ClockFriday 10 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automated Reasoning and AI for Large Formal Mathematics

UserJosef Urban, Czech Technical University in Prague.

HouseFW26.

ClockFriday 03 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Certified automated theorem proving for types

UserEkaterina Komendantskaya, Heriot-Watt University, Edinburgh.

HouseFW26.

ClockFriday 20 May 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The C standard formalized in Coq, what's next?

UserRobbert Krebbers, Aarhus University.

HouseFW26.

ClockFriday 13 May 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A rational reconstruction of homogeneous meta-programming

UserMartin Berger, University of Sussex.

HouseFW26.

ClockFriday 06 May 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Giry and the Machine

UserIlias Garnier, ENS Paris.

HouseFW26.

ClockFriday 29 April 2016, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Dependent types, linear types and operating systems

UserMatthew Danish (University of Cambridge).

HouseFW26.

ClockThursday 28 April 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Logical dependence via functional dependence

UserPaulo Oliva, Queen Mary, University of London.

HouseFW26.

ClockFriday 22 April 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Generating Gradual Typing Systems with the Gradualizer

UserJeremy Siek, Indiana University.

HouseFW26.

ClockFriday 08 April 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Comprehensive Parametric Polymorphism

UserFredrik Nordvall Forsberg, Mathematically Structured Programming Group at the University of Strathclyde.

HouseFW26.

ClockFriday 11 March 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Excuse My Extrusion

UserConor McBride, Mathematically Structured Programming Group, Department of Computer and Information Sciences, the University of Strathclyde.

HouseFW26.

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

REMS lunch

Cache Storage Channels: Alias-Driven Attacks

NON-STANDARD DAY: NEXT MONDAY

UserRoberto Guanciale, KTH.

HouseFW26.

ClockMonday 08 February 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Dependent Types and Fibred Computational Effects

UserDanel Ahman, University of Edinburgh, Scotland.

HouseFW26.

ClockFriday 22 January 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Graphical linear algebra and applications

UserPawel Sobocinski, School of Electronics and Computer Science, University of Southampton.

HouseFW26.

ClockFriday 15 January 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A continuation passing translation for functional session types

UserSam Lindley, LFCS, School of Informatics, University of Edinburgh, Scotland.

HouseFW26.

ClockFriday 04 December 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Typed realizability for first-order classical analysis

UserValentin Blot, Mathematical foundations group, computer science department, University of Bath.

HouseFW26.

ClockFriday 27 November 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Online Space Complexity

UserNathanaël Fijalkow, Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7.

HouseFW26.

ClockFriday 13 November 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Global Realisations of Local Specifications

UserMartin Otto, Technische Universität Darmstadt, Germany.

HouseFW26.

ClockFriday 06 November 2015, 14:00-15:00

REMS lunch

Title to be confirmed

nonstandard room: SS03

UserSpeaker to be confirmed.

HouseFW26.

ClockTuesday 06 October 2015, 13:00-14:00

REMS lunch

POSTPONED: Abstract machines and certified compilers

UserMaciej Piróg.

HouseFW26.

ClockThursday 17 September 2015, 10:00-11:00

REMS lunch

Hardware Support for Compartmentalisation

UserRobert Norton.

HouseFW26.

ClockTuesday 15 September 2015, 14:00-15:00

REMS lunch

Verification Research + X = Impact

nonstandard room: FW26

UserDr John O’Leary.

HouseFW26.

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

REMS lunch

Title to be confirmed

nonstandard room: FW26

UserSpeaker to be confirmed.

HouseFW26.

ClockWednesday 06 May 2015, 13:00-14:00

REMS lunch

Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation

nonstandard room: FW26

UserDavid Kaloper Mersinjak.

HouseFW26.

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

REMS lunch

Linking and ELF

nonstandard room: FW26

UserStephen Kell / Dominic Mulligan.

HouseFW26.

ClockWednesday 11 February 2015, 13:00-14:00

REMS lunch

Principles of Shape Analysis

nonstandard room: FW26

UserMooly Sagiv, Tel Aviv University.

HouseFW26.

ClockWednesday 10 December 2014, 13:00-14:00

REMS lunch

Micro-Policies: A Framework for Tag-Based Security Monitors

Note in FW26

UserBenjamin C. Pierce, University of Pennsylvania .

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Yet more animals: dynamic linkers and debuggers

UserStephen Kell (University of Cambridge).

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

ABIs, linkers and other animals

UserStephen Kell, University of Cambridge.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

High-Level Separation Logic for Low-Level Code

UserNick Benton, MSR Cambridge.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Full Abstraction for PCF with Names

UserSteffen Lösch, University of Cambridge.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

A Model-Learner Pattern for Bayesian Reasoning

UserAndy Gordon, Microsoft Research and University of Edinburgh.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Putting the thrill back into computing at school

UserSimon Peyton Jones, MSR Cambridge.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

On distributed probabilistic strategies

UserGlynn Winskel.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

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

Semantics Lunch (Computer Laboratory)

Ribbon Proofs for Separation Logic

UserJohn Wickerson.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

CerCo --- Certified Complexity

NB: Unusual day/time

UserDominic Mulligan (Bologna).

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

A Concurrent Logical Relation

NB: changed (again!) unusual day/time

UserJacob Thamsborg (ITU).

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Virtue of certified programming with decision procedures

NB: unusual day/time

UserVladimir Komendantsky (St Andrews).

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

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

Semantics Lunch (Computer Laboratory)

Developing verified programs in Dafny

UserRustan Leino.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Understanding POWER Multiprocessors

UserSusmit Sarkar.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

The Importance of Being Linearizable

UserAlexey Gotsman, IMDEA Software Institute.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Ribbon proofs for separation logic

UserJohn Wickerson.

HouseFW26.

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

women@CL Big Sister Little Sister Events

All you ever wanted to know about Part II Projects

UserSpeaker to be confirmed.

HouseFW26.

ClockThursday 10 June 2010, 13:00-14:00

women@CL Big Sister Little Sister Events

women@CL - Welcome Event

This is also our first lunch series meeting with the new students in the CL.

UserSpeaker to be confirmed.

HouseFW26.

ClockTuesday 13 October 2009, 13:15-14:15

Semantics Lunch (Computer Laboratory)

Semantics lunch organisational meeting

UserSpeaker to be confirmed.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Secure Compilation of a Multi-Tier

UserIoannis Baltopoulos.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Title to be confirmed

UserJon Hayman.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Convergence of path-finding

UserAlex Gurney.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Some notes on syntactic logical relations for pure System F

UserDimitrios Vytiniotis, MSR.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Deny-guarantee reasoning

UserMike Dodds (University of Cambridge).

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

Focusing on Pattern Matching

UserNeelakantan Krishnaswami, CMU.

HouseFW26.

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

Semantics Lunch (Computer Laboratory)

An Invitation to Nominal Domain Theory

UserAndrew Pitts, Computer Lab.

HouseFW26.

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

Rainbow Interaction Seminars

Ubiquitous Tracking for Distributed Mixed Reality Environments

Room changed

UserJoseph Newman (University of Cambridge).

HouseFW26.

ClockThursday 29 May 2008, 14:15-15:15

Please see above for contact details for this list.

 

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