University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory)

Logic and Semantics Seminar (Computer Laboratory)

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

Logic and Semantics seminars are usually held at 2pm on Fridays in room FW11 . Talks are of relevance to the Programming, Logic and Semantics Group. Please contact the seminar organisers if you would like more information, would like to suggest a speaker, or would like to offer to talk yourself.

Useful links:

Related series: Semantics lunch | 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: Bjarki Holm; Anuj Dawar; Jonathan Hayman. If you have a question about a specific talk, click on that talk to find its organiser.

2 upcoming talks and 127 talks in the archive.

Rigid Graphs for Adaptive Networks, with Data

UserReiko Heckel, University of Leicester.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 05 December 2014, 16:00-17:00

Transition systems over games

UserPaul Levy, University of Birmingham.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 28 November 2014, 16:00-17:00

Senescent Ground Tree Rewrite Systems

UserMatthew Hague, Royal Holloway.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 21 November 2014, 16:00-17:00

Verification of quantum protocols using Coq

UserJaap Boender, Middlesex University.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 14 November 2014, 16:00-17:00

An Algorithmic Metatheorem for Directed Treewidth

UserMateus de Oliveria Oliveira, KTH, Stockholm.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 07 November 2014, 14:00-15:00

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

UserBenjamin C. Pierce, University of Pennsylvania.

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Representing conditional independence in probabilistic programming

UserDaniel Roy, Engineering Department, University of Cambridge.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 24 January 2014, 16:00-17:00

An algebraic theory of type-and-effect systems

UserOhad Kammar (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 13 December 2013, 13:00-14:00

Relational Programming in miniKanren

UserWilliam E. Byrd, University of Utah.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 06 December 2013, 16:00-17:00

Decision Problems for Linear Recurrence Sequences

UserJoel Ouaknine, University of Oxford.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 29 November 2013, 16:00-17:00

**TALK POSTPONED**

UserDaniel Roy, Engineering Department, University of Cambridge.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 01 November 2013, 16:00-17:00

Fibrational Parametricity

UserNeil Ghani, University of Strathclyde.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 25 October 2013, 16:00-17:00

Descriptive set theory and Computation theory

UserVictor Selivanov, Novosibirsk Pedagogical University.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 26 July 2013, 16:00-17:00

Semigroups with low difficulty word problem

UserMarkus Pfeiffer, St Andrew's.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 26 April 2013, 16:00-17:00

Cyclic Abduction of Inductive Termination Preconditions

UserJames Brotherston, University College London.

HouseRoom TBC. Microsoft Research, Station Road.

ClockFriday 01 March 2013, 16:00-17:00

Halo: From Haskell to Logic through Denotational Semantics

UserDimitrios Vytiniotis, MSR Cambridge.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 23 November 2012, 14:00-15:00

Abstraction and Invariance for Algebraically Indexed Types

UserAndrew Kennedy, Microsoft Research Cambridge.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Preservation under Substructures modulo Bounded Cores

Note special date and location (GC22)

UserAbhisekh Sankaran, IIT Bombay.

HouseRoom GC22, Computer Laboratory, William Gates Building.

ClockThursday 30 August 2012, 14:00-15:00

Bounds on proof size and distributive encryption

Note that this talk will be in FW26 rather than the usual room.

UserR. Ramanujam, Institute of Mathematical Sciences, Chennai.

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Safe Recursive Set Functions

UserArnold Beckmann, Swansea University.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 01 June 2012, 14:00-15:00

MELL in a free compact closure

UserEtienne Duchesne, LIPN, Université Paris 13.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Expressiveness of real-time temporal logics

UserPaul Hunter, University of Oxford.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Layered Fixed Point Logic

UserPiotr Filipiuk, Technical University of Denmark (DTU).

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Algebra unifies Calculi of programming

UserTony Hoare (Microsoft Research).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 02 December 2011, 14:00-15:00

Nash Equilibrium, Bekic's Lemma and Bar Recursion

UserPaulo Oliva - Queen Mary, University of London.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 25 November 2011, 14:00-15:00

Almost always blue trees and bar induction

UserTarmo Uustalu, Tallinn University of Technology.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 28 October 2011, 14:00-15:00

Parameterized Complexity of some Problems in Concurrency and Verification

UserPraveen Manjunatha, The Institute of Mathematical Sciences, Chennai.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Parallel Assertions for Debugging Parallel Programs

UserDaniel Schwartz-Narbonne, Princeton University.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 08 July 2011, 14:00-15:00

Lightweight Monadic Programming in ML

UserMichael Hicks, University of Maryland.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

The Complexity of #CSP

UserDavid Richerby, University of Liverpool.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Approximating Labelled Markov Processes by Averaging

UserPrakash Panangaden, McGill University.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 25 February 2011, 14:00-15:00

Kleisli Arrows of Outrageous Fortune

UserConor McBride, University of Strathclyde.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 11 February 2011, 14:00-15:00

Selection functions everywhere

UserMartín Escardó, University of Birmingham.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 28 January 2011, 14:00-15:00

Modular Reasoning for Deterministic Parallelism

UserMike Dodds, University of Cambridge.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 21 January 2011, 14:00-15:00

Towards Automatic Resource Consumption Certification

Note unusual time (11am) and room (SS03)

UserMarco Gaboardi, University of Bologna.

HouseRoom SS03, Computer Laboratory, William Gates Building.

ClockFriday 05 November 2010, 11:00-12:00

Characterizations of the Expressive Power of Logics over Trees

UserLuc Segoufin (INRIA and ENS, Cachan).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockThursday 09 September 2010, 15:00-16:00

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 3)

UserPierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

HouseComputer Laboratory, Room FW11.

ClockFriday 04 June 2010, 10:00-12:15

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 2)

UserPierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

HouseComputer Laboratory, Room FW11.

ClockThursday 03 June 2010, 10:00-12:15

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 1)

UserPierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

HouseComputer Laboratory, Room FW11.

ClockTuesday 01 June 2010, 10:00-12:15

Scalars & probabilities, monads & categories

UserBart Jacobs, Radboud University Nijmegen, The Netherlands.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 21 May 2010, 14:00-15:00

Algebraic Theories over Nominal Sets

UserAlexander Kurz (University of Leicester).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 14 May 2010, 14:00-15:00

Computer Laboratory Wednesday Seminars

From Separation Logic to Systems Code

UserPeter O'Hearn - Queen Mary University of London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 April 2010, 14:15-15:15

Declassification Policy Inference

UserJeff Vaughan (Harvard University).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 16 April 2010, 14:00-15:00

Undecidability of propositional separation logic and its neighbours

UserJames Brotherston, Imperial College London.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 12 March 2010, 14:00-15:00

Computer Laboratory Wednesday Seminars

Serializability Enforcement for Concurrent ML

UserSuresh Jagannathan - Purdue University, USA.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 04 November 2009, 14:15-15:15

NO LOGIC AND SEMANTICS SEMINAR TODAY

FW11 FW26 not available today

UserSpeaker to be confirmed.

HouseFW11 FW26 not available today.

ClockFriday 25 September 2009, 14:00-15:00

A Canonical Local Representation of Binding

UserMasahiko Sato (Graduate School of Informatics, Kyoto University).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 18 September 2009, 14:00-15:00

Explicit Stabilisation for Rely-Guarantee reasoning

UserJohn Wickerson (University of Cambridge).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 05 June 2009, 14:00-15:00

Inductive-recursive definitions

UserAnton Setzer (University of Swansea).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 29 May 2009, 14:00-15:00

Safety of program transformations in shared-memory concurrency

NOTE UNUSUAL DAY AND TIME. There are two seminars this week, one on Wednesday, one on Friday.

UserJaroslav Sevcik (visiting from Edinburgh).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockWednesday 27 May 2009, 11:00-12:00

TALK CANCELLED: An overview of structural corecursion

THIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term.

UserVenanzio Capretta (University of Nottingham).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 24 April 2009, 14:00-15:00

Structurally Recursive Descent Parsing

UserNils Anders Danielsson (University of Nottingham).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 20 March 2009, 14:00-15:00

Deciding Boolean BI (via Display Logic)

UserJames Brotherston, Imperial College London.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 06 March 2009, 14:00-15:00

A game for a neutral approach to provability in MALL

UserOlivier Delande, Laboratoire d'Informatique (LIX), Ecole Polytechnique.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 20 February 2009, 14:30-15:30

Equideductive logic and CCCs with subspaces

NOTE UNUSUAL DAY.

UserPaul Taylor.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockThursday 05 February 2009, 14:00-15:00

Mini Courses in Theoretical Computer Science

Call-by-push-value (part 2)

This is the second part of a two-part series

UserPaul Levy, University of Birmingham (visiting Cambridge until March 15).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockWednesday 04 February 2009, 16:15-17:00

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.

UserPaul Levy, University of Birmingham (visiting Cambridge until March 15).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 03 February 2009, 16:15-17:00

Nondeterminism: many questions and (maybe) some answers

UserPaul Levy, University of Birmingham (visiting Cambridge until March 15).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 30 January 2009, 14:00-15:00

Dynamics, robustness and fragility of trust

NOTE THE UNUSUAL TIME

UserDusko Pavlovic.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 28 November 2008, 14:45-15:45

Polynomial functors

UserNicola Gambino.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 21 November 2008, 14:00-15:00

NO LOGIC AND SEMANTICS SEMINAR TODAY

User.

HouseVenue to be confirmed.

ClockFriday 17 October 2008, 14:00-15:00

Computer Laboratory Wednesday Seminars

Practical Dynamic Software Updating for C

UserMichael Hicks - University of Maryland.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 15 October 2008, 14:15-15:15

Classical BI (A Logic for Reasoning About Dualising Resource)

UserJames Brotherston, Imperial College.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 10 October 2008, 14:00-15:00

Extensional rewriting with sums

UserSam Lindley, University of Edinburgh.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 16 May 2008, 14:00-15:00

Eriskay: a programming language based on game semantics.

UserJohn Longley, University of Edinburgh.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 09 May 2008, 14:00-15:00

Verification Based on Algebra and Automated Deduction

UserGeorg Struth, Sheffield University.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 02 May 2008, 14:00-15:00

A language extension for provably safe exception handling

UserBart Jacobs (Katholieke Universiteit Leuven).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 18 April 2008, 14:00-15:00

Keep Off The Grass: Locking the Right Path for Atomicity

UserDavid Cunningham (Imperial College).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 07 March 2008, 14:00-15:00

On Scalable Shape Analysis

UserHongseok Yang (Queen Mary, University of London).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 18 January 2008, 14:00-15:00

A completeness proof for bisimulation in the pi-calculus using Isabelle

Note the unusual day.

UserJesper Bengtson, Uppsala University.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockThursday 17 January 2008, 14:00-15:00

Logics for Coalgebras

UserAlexander Kurz, University of Leicester.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Category Theory and the Philosophy of Language

UserGraham White (Queen Mary).

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Separation Logic Semantics for Communicating Processes

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

HouseFW11.

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

Pointer Safety and Graph Grammars

UserMike Dodds (York).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 06 November 2007, 14:30-15:30

The Java Memory Model - the Good, the Bad and the Ugly

UserJaroslav Sevcik.

HouseFW11.

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

A unified model of class invariant verification frameworks

UserSophia Drossopoulou (Imperial College).

HouseFW11.

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

Cyclic Proofs of Program Termination in Separation Logic

UserJames Brotherston, Imperial College.

HouseFW11.

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

Valiant's theory

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

HouseFW11.

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

An Executable Model of the JVM in Coq

UserRobert Atkey, LFCS, Edinburgh.

HouseFW11.

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

Infinite-State System Verification via Tree Automata

UserWolfgang Thomas, RWTH Aachen.

HouseFW11.

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

When While is a Security Risk

UserPasquale Malacaria, Queen Mary, University of London.

HouseFW11.

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

Relational parametricity for computational effects.

UserRasmus Møgelberg, Edinburgh.

HouseFW11.

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

Stone duality for bitopological spaces

UserAchim Jung, University of Birmingham.

HouseFW11.

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

Verification Across Intellectual Property Boundaries

UserHelmut Veith, Technische Universität München.

HouseFW11.

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

A Logic of Reachable Patterns in Linked Data-Structures

UserGreta Yorsh (Tel Aviv University).

HouseFW11.

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

Verifying Object-Invariants in Spec#

UserWolfram Schulte (Microsoft Research Redmond).

HouseFW11.

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

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

A logical approach to data provenance.

UserJames Cheney, Informatics, University of Edinburgh.

HouseFW11.

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

Bialgebras and modal logic

UserBartek Klin, University of Edinburgh.

HouseFW11.

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

Reasoning about Code Pointers (Separation Logic for Higher-Order Store)

UserBernhard Reus, University of Sussex.

HouseFW11.

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

A structural proof of the soundness of rely/guarantee rules

UserCliff Jones, Newcastle University.

HouseFW11.

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

Logical equivalence for subtyping object and recursive types.

UserSteffen van Bakel.

HouseFW11.

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

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-2014 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity