COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
Logic and Semantics Seminar (Computer Laboratory)
Add to your list(s)
Send you e-mail reminders
Further detail
Logic and Semantics seminars are usually held at 2pm on Fridays during term time. 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:
If you have a question about this list, please contact: Jamie Vicary; James Matheson. If you have a question about a specific talk, click on that talk to find its organiser. 1 upcoming talk and 281 talks in the archive. Decoding Nets: A Formal Take on Address TranslationBen Fiedler, ETH. FW26. Thursday 28 July 2022, 16:00-17:00 Decoding Nets: A Formal Take on Address TranslationBen Fiedler, ETH. FW26. Thursday 28 July 2022, 16:00-17:00 Finite-state polynomial computationMikołaj Bojanczyk, University of Warsaw. SS03. Friday 17 June 2022, 14:00-15:00 Symmetries in quantitative semanticsHugo Paquet, University of Oxford. SS03. Friday 10 June 2022, 14:00-15:00 Symmetries in Reversible ProgrammingVikraman Choudhury, University of Indiana. SS03. Friday 27 May 2022, 14:00-15:00 Title to be confirmedVikraman Choudhury, University of Indiana. SS03. Friday 27 May 2022, 14:00-15:00 Game comonads, FVM theorems, and bilinear mapsDan Marsden, University of Oxford. SS03. Friday 06 May 2022, 14:00-15:00 The complexity of counting problemsDavid Richerby, University of Essex. SS03. Friday 29 April 2022, 14:00-15:00 Cyclic Implicit ComplexityAnupam Das, University of Birmingham. FW26. Friday 11 March 2022, 14:00-15:00 How undecidable are HyperLTL and HyperCTL*?Marie Fortin, University of Liverpool. FW26. Friday 04 March 2022, 14:00-15:00 A categorical view of conditional expectationPrakash Panangaden, McGill University and University of Edinburgh. FW26. Friday 25 February 2022, 14:00-15:00 CANCELLED -- The complexity of counting problemsDavid Richerby, University of Essex. FW26. Friday 18 February 2022, 14:00-15:00 Relational databases versus relational modelsAlex Gurney, WebFlow. FW26. Friday 11 February 2022, 14:00-15:00 Categorical Foundations of Gradient-Based LearningFabio Zanasi, UCL. FW26. Friday 04 February 2022, 14:00-15:00 Theorem Provers to Protect Democracy: Formally Verified Vote-Counting-SoftwareMukesh Tiwari, University of Cambridge. tba. Friday 21 January 2022, 14:00-15:00 Comparing general definitions of type theoriesPeter LeFanu Lumsdaine, Stockholm University. FW26. Friday 03 December 2021, 14:00-15:00 A computational method for left adjointnessSimon Forest, University of Aix-Marseille. FW26. Friday 26 November 2021, 14:00-15:00 Towards a geometry for syntaxJon Sterling, University of Aarhus. SS03. Friday 19 November 2021, 14:00-15:00 Enriched categories for optimal transportSimon Willerton, University of Sheffield. FW26. Friday 12 November 2021, 14:00-15:00 A formal context for metric semanticsRadu Mardare, University of Strathclyde. FW26. Friday 05 November 2021, 14:00-15:00 The Semantics of Shared Memory in Intel CPU/FPGA SystemsDan Iorga, Imperial College London. FW26. Friday 29 October 2021, 14:00-15:00 CaTT, a type-theory to describe weak omega-categoriesThibaut Benjamin, CEA Tech. FW26. Friday 22 October 2021, 14:00-15:00 Quantum Software in 2021: Patterns and ProblemsRoss Duncan, Cambridge Quantum Computing. FW26. Friday 15 October 2021, 14:00-15:00 Promising ARMv8/RISC-V relaxed memoryChristopher Pulte, University of Cambridge. Friday 29 January 2021, 14:00-15:00 Fully Abstract Models of Call-by-Value Languages, à la O'Hearn & RieckePhilip Saville, University of Edinburgh. Friday 20 November 2020, 14:00-15:00 Lovász' Theorem and Comonads in Finite Model TheoryTomas Jakl, University of Cambridge. Friday 13 November 2020, 14:00-15:00 Free Commutative Monoids in Homotopy Type TheoryVikraman Choudhury, University of Indiana. Friday 06 November 2020, 14:00-15:00 Symmetric Arithmetic CircuitsGregory Wilsenach, University of Cambridge. Friday 30 October 2020, 14:00-15:00 Axiomatic Concurrency Semantics for Full-Scale ARMv8-A using Symbolic ExecutionAlasdair Armstrong, University of Cambridge. Friday 23 October 2020, 14:00-15:00 Incrementality xor currency for monotone fixed pointsMichael Arntzenius, University of Cambridge. Friday 16 October 2020, 14:00-15:00 Higher Algebra in Computer ScienceEric Finster, University of Cambridge. Friday 09 October 2020, 14:00-15:00 A Syntactic View of Computational AdequacyMarco Devesas Campos, University of Birmingham. Thursday 12 March 2020, 13:00-13:20 Tests and Proofs in IsabelleYakoub Nemouchi, University of York. Tuesday 10 March 2020, 14:30-14:50 Aspects of my formal development workBoris Djalal, OpenAirInterface Software Alliance. Thursday 05 March 2020, 10:00-10:20 Automating proof by induction in Isabelle/HOL using domain-specific languagesYutaka Nagashima, Czech University in Prague (CTU) & University of Innsbruck. Wednesday 04 March 2020, 10:00-10:20 Formal Foundations for Provably Safe Web ComponentsMichael Herzberg, University of Sheffield. Tuesday 03 March 2020, 10:00-10:20 A duality theoretic view on limits of finite structuresTomáš Jakl, Computer Lab. Computer Laboratory, room SS03. Friday 28 February 2020, 14:00-15:00 Cerberus C semantics & pointer provenanceKayvan Memarian (University of Cambridge). Computer Laboratory, room SS03. Friday 28 February 2020, 13:00-14:00 Computation via SubstructuresRamanathan S. Thinniyam, MPI-SWS. Computer Laboratory, room SS03. Monday 24 February 2020, 14:00-15:00 Quantum things 3 - Resources and Co-resourcesAnuj Dawar (University of Cambridge). Computer Laboratory, Room FW26. Friday 06 December 2019, 14:00-15:00 Modular Relaxed Dependencies in Weak Memory ConcurrencyMarco Paviotti. Computer Laboratory, Room FW11. Thursday 05 December 2019, 14:00-15:00 Quantum Things 2 - The quantum monad on relational structuresNadish de Silva (University of Cambridge). SS03. Friday 15 November 2019, 14:00-15:00 Quantum Things 1 - Monads, comonads, and resource-limited computationAdam ó Conghaile (University of Cambridge). MR9 Centre for Mathematical Sciences. Thursday 14 November 2019, 14:15-15:15 Local reasoning for robust observational equivalenceKoko Muroya. FW26. Thursday 12 September 2019, 13:45-14:45 Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision AvoidanceJean-Baptiste Jeannin, University of Michigan. FW26. Monday 17 June 2019, 14:00-15:00 Retrofitting Purity with Comonads and CapabilitiesVikraman Choudhury, Indiana University / Cambridge. FW26. Friday 24 May 2019, 14:00-15:00 Hardness magnification near state-of-the-art lower boundsJan Pich, Oxford. FW26. Friday 10 May 2019, 14:00-15:00 An Overview of the Flix Programming LanguageMagnus Madsen, Aarhus University. FW26. Thursday 09 May 2019, 13:45-14:45 Resource-oriented programming with graded modal typesVilem Liepelt, University of Kent. FW26. Thursday 18 April 2019, 14:00-15:00 Uncertainty is hope: towards a unified foundation of gradual typingJoshua Dunfield, Queen’s University, Canada. FW26. Wednesday 17 April 2019, 14:00-15:00 Push versus Pull-Based Loop Fusion in Query EnginesAmir Shaikhha, Oxford. FW26. Friday 12 April 2019, 14:00-15:00 Stacked Borrows: An Aliasing Model for RustRalf Jung, MPI-SWS. FW26. Tuesday 02 April 2019, 14:00-15:00 Excel Formulae: a PL perspectiveBen Simner, Computer Laboratory. FW26. Friday 22 March 2019, 14:00-15:00 Linear Capabilities: an overviewDominique Devriese, Vrije Universiteit Brussel. FW26. Monday 18 March 2019, 14:30-15:00 Linear capabilities for fully abstract compilation of separation-logic-verified codeThomas Van Strydonck, KU Leuven. FW26. Monday 18 March 2019, 11:45-12:15 StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear CapabilitiesLau Skorstengaard, Aarhus University. FW26. Monday 18 March 2019, 11:15-11:45 A domain theory for statistical probabilistic programmingOhad Kammar, Edinburgh. FW26. Friday 22 February 2019, 15:00-16:00 Project Everest: towards a verified TLS ecosystemJonathan Protzenko, MSR Redmond. FW26. Friday 30 November 2018, 14:00-15:00 Verifying Concurrent Search Structure TemplatesSiddharth Krishna, NYU. SS03. Monday 26 November 2018, 15:00-16:00 Lower bound for arithmetic circuits via Hankel matrixPierre Ohlmann, IRIF, Université Paris 7. SS03. Friday 16 November 2018, 14:15-15:15 Quasi-polynomial solutions for parity games and other problemsKaroliina Lehtinen, Christian-Albrechts University of Kiel. FW26. Friday 14 September 2018, 14:00-15:00 Beyond Polarity: Towards A Multi-Discipline Intermediate Language with SharingPaul Downen, University of Oregon. FW26. Tuesday 11 September 2018, 14:00-15:00 Graphical Conjunctive QueriesPawel Sobocinski, University of Southampton. FW26. Friday 27 July 2018, 14:00-15:00 Automated Full-Stack Memory Model Verification with the Check suiteYatin Manerkar, Princeton University. FW26. Thursday 19 July 2018, 14:00-15:00 Types and Safety of Lock-free Data StructuresElias Castegren, MSR. FW26. Friday 29 June 2018, 14:00-15:00 The direct approach to evaluation orderGuillaume Munch-Maccagnoni, INRIA. FW26. Tuesday 19 June 2018, 14:00-15:00 Compositional Compiler Verification for a Multi-Language WorldAmal Ahmed, Northeastern University. FW26. Friday 15 June 2018, 14:00-15:00 From global to local state in game semantics via the sequoidJames Laird, University of Bath. FW26. Friday 01 June 2018, 14:00-15:00 Quantitative equational reasoningPrakash Panangaden, McGill University. FW26. Thursday 24 May 2018, 13:45-14:45 Scheduling Tasks for Reconfigurable ArchitectureAmlan Chakrabarti, University of Calcutta. FW26. Friday 18 May 2018, 14:00-15:00 Lecture 3: Logic for Program Development, Verification and Implementation.Tony Hoare, FRS FREng. FW26. Friday 04 May 2018, 14:00-15:00 One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive QueriesHubert Chen, Birkbeck University of London. FW26. Friday 27 April 2018, 14:00-15:00 Left Exact Modalities in Type TheoryEric Finster, INRIA Rennes. FW26. Friday 09 March 2018, 14:00-15:00 Modular Algorithm AnalysisMichel Schellekens, University College Cork. FW26. Friday 23 February 2018, 14:00-15:00 Lightweight verification of separate compilationChung-Kil Hur, Seoul National University. FW11. Friday 16 February 2018, 14:00-15:00 Lecture 2: Algebraic Theory of Program TransformationTony Hoare, FRS FREng. FW26. Tuesday 13 February 2018, 14:00-15:00 Atomicity Abstractions in Relaxed Memory ArchitecturesBrijesh Dongol, Brunel University London. FW26. Friday 26 January 2018, 14:00-15:00 Computer Laboratory Programming Research Group Seminar Energy Efficient Compilation of Irregular Task-Parallel LoopsKrishna Nandivada, IIT Madras, India. GS15. Thursday 25 January 2018, 14:00-15:00 Logic Programming, Semantics, and a Bit of ClevernessWilliam Byrd, University of Alabama at Birmingham. FW26. Tuesday 23 January 2018, 11:00-12:00 A Geometric Theory of Program Testing.Tony Hoare, FRS FREng. FW26. Friday 19 January 2018, 14:00-15:00 Effective Stateless Model Checking for C/C++ ConcurrencyViktor Vafeiadis, MPI-SWS. FW26. Tuesday 05 December 2017, 10:30-11:30 On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited controlSam Lindley, University of Edinburgh. FW26. Friday 01 December 2017, 14:00-15:00 Reasoning beyond data-race freedomStephen Dolan, Ocaml Labs, University of Cambridge. FW26. Friday 10 November 2017, 14:00-15:00 Designing Verifiable Cache Coherence ProtocolsDaniel Sorin, Duke University. Friday 10 November 2017, 13:00-14:00 Lightweight verification of separate compilationNB: rescheduled from 2017/09/22 Chung-Kil Hur, Seoul National University. FW26. Friday 29 September 2017, 14:00-15:00 Event Correlation with Algebraic EffectsOliver Bracevac, University of Darmstadt. FW26. Friday 15 September 2017, 14:00-15:00 A promising semantics for relaxed-memory concurrencyChung-Kil Hur, Seoul National University. FW26. Friday 08 September 2017, 14:00-15:00 Semantics of Full Ground ReferencesPaul Blain Levy (University of Birmingham). FW26. Friday 21 July 2017, 14:00-15:00 Applications of Finite Model Theory in Graph Isomorphism Testing and Propositional Proof ComplexityWied Pakusa, University of Oxford. FW26. Friday 16 June 2017, 14:00-15:00 Interleaved scope for games and automataMurdoch Gabbay, Heriot-Watt University. FW26. Friday 09 June 2017, 14:00-15:00 Disjoint Semirings for Fractional Permissions**NOTE NON-STANDARD DAY AND ROOM BOOKING** Aquinas Hobor, National University of Singapore. FW11. Thursday 01 June 2017, 13:30-14:15 Concurrent Kleene Algebras and Pomset LanguagesGeorg Struth, University of Sheffield. FW26. Friday 26 May 2017, 14:00-15:00 What does the Future of Programming Look Like?David Pearce, Victoria University of Wellington, New Zealand. FW26. Friday 19 May 2017, 14:00-15:00 Higher Categorical Structures, Type-TheoreticallyNicolai Kraus, University of Nottingham. FW26. Friday 12 May 2017, 14:00-15:00 Diagrammatic Operational Semantics for Digital CircuitsDan Ghica, University of Birmingham. FW26. Friday 17 March 2017, 14:00-15:00 Verified Characteristic Formulae for CakeMLMagnus Myreen, Chalmers University. FW26. Friday 03 March 2017, 14:00-15:00 A monad for full ground reference cellsOhad Kammar, University of Oxford. FW26. Friday 17 February 2017, 14:00-15:00 Genus, Numerics and Architectural Level OptimisationJoint Logic and Semantics and Computer Architecture Seminar Theo Drane, Cadence Design Systems. FW11. Friday 27 January 2017, 14:00-15:00 One-Dimensional Higher Inductive TypesPeter Dybjer, Chalmers University of Technology. FW26. Friday 20 January 2017, 14:00-15:00 Polymorphism, subtyping and type inference in MLsubStephen Dolan, University of Cambridge. FW26. Friday 16 December 2016, 14:00-15:00 A categorical perspective on type refinement systemsNoam Zeilberger, University of Birmingham. FW26. Friday 09 December 2016, 14:00-15:00 Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network ProgrammingAlexandra Silva ( University College London). FW26. Friday 02 December 2016, 14:00-15:00 A compositional account of Herbrand's theorem via concurrent gamesNOTE NON-STANDARD ROOM BOOKING Pierre Clairambault, ENS Lyon. SS03. Friday 18 November 2016, 14:00-15:00 Fencing off Go: Liveness and Safety for Channel-based ProgrammingNicholas Ng and Bernardo Toninho, Imperial College. FW26. Friday 11 November 2016, 14:00-15:00 Context Equivalences and Metrics in Probabilistic Lambda-CalculiUgo Dal Lago, University of Bologna. FW26. Friday 21 October 2016, 14:00-15:00 An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic StructuresMarcelo Fiore, University of Cambridge. FW26. Friday 14 October 2016, 14:00-15:00 On Proofs of Equality as PathsAndy Pitts, Computer Laboratory. FW26. Friday 07 October 2016, 14:00-15:00 Analysing Goedel’s T by means of ordinal assignment and collapsingNOTE NON-STANDARD ROOM BOOKING Gunnar Wilken, Okinawa Institute of Science and Technology. SS03. Friday 16 September 2016, 14:00-15:00 Making Reactive Programs FunctionNeel Krishnaswami, University of Cambridge. FW26. Friday 09 September 2016, 14:00-15:00 A new verified compiler backend for CakeML**NOTE NON-STANDARD DATE, TIME, AND ROOM** Magnus Myreen, Chalmers University, Sweden. FW11. Thursday 18 August 2016, 15:00-16:00 Classical Linear Logic considered as a programming languageRobert Atkey, University of Strathclyde. FW26. Friday 29 July 2016, 14:00-15:00 A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised DataSandrine Blazy, University of Rennes 1. FW26. Friday 08 July 2016, 14:00-15:00 Practical Statically-checked Deterministic ParallelismRyan Newton, University of Indiana. FW26. Friday 01 July 2016, 14:00-15:00 Automatically comparing memory consistency modelsJohn Wickerson, Imperial College. FW26. Friday 24 June 2016, 14:00-15:00 Programming and Proving with Concurrent ResourcesIlya Sergey, University College London. FW26. Friday 17 June 2016, 14:00-15:00 Optimising star-convex functionsJasper Lee, Brown University. FW26. Friday 10 June 2016, 14:00-15:00 Automated Reasoning and AI for Large Formal MathematicsJosef Urban, Czech Technical University in Prague. FW26. Friday 03 June 2016, 14:00-15:00 Certified automated theorem proving for typesEkaterina Komendantskaya, Heriot-Watt University, Edinburgh. FW26. Friday 20 May 2016, 14:00-15:00 The C standard formalized in Coq, what's next?Robbert Krebbers, Aarhus University. FW26. Friday 13 May 2016, 14:00-15:00 A rational reconstruction of homogeneous meta-programmingMartin Berger, University of Sussex. FW26. Friday 06 May 2016, 14:00-15:00 Logical dependence via functional dependencePaulo Oliva, Queen Mary, University of London. FW26. Friday 22 April 2016, 14:00-15:00 Generating Gradual Typing Systems with the GradualizerJeremy Siek, Indiana University. FW26. Friday 08 April 2016, 14:00-15:00 Comprehensive Parametric PolymorphismFredrik Nordvall Forsberg, Mathematically Structured Programming Group at the University of Strathclyde. FW26. Friday 11 March 2016, 14:00-15:00 THIS TALK HAS BEEN CANCELLED/POSTPONEDTHIS TALK HAS BEEN CANCELLED/POSTPONED Martín Escardó, School of Computer Science, University of Birmingham. SS03. Thursday 03 March 2016, 14:00-15:00 A call-by-value realizability model for PMLNOTE UNUSUAL VENUE Rodolphe Lepigre, Laboratoire de Mathématiques, Université de Savoie. SS03. Friday 26 February 2016, 14:00-15:00 Excuse My ExtrusionConor McBride, Mathematically Structured Programming Group, Department of Computer and Information Sciences, the University of Strathclyde. FW26. Friday 19 February 2016, 14:00-15:00 Identity types in Algebraic Model StructuresNOTE UNUSUAL VENUE This is the second seminar this week. Andrew Swan, The Logic Group, School of Mathematics, University of Leeds. FW11. Friday 12 February 2016, 14:00-15:00 What is an Algorithm?NOTE UNUSUAL TIME, DAY, AND VENUE. There are two seminars this week (Tuesday and Friday) Yuri Gurevich, Microsoft Research Redmond, USA. SW01. Tuesday 09 February 2016, 16:00-17:00 Effects as sessions, sessions as effectsNOTE UNUSUAL VENUE Dominic Orchard, Computer Laboratory. SS03. Friday 05 February 2016, 14:00-15:00 Interacting Hopf monoids: the algebra of signal flow diagramsNOTE UNUSUAL VENUE Fabio Zanasi, Radboud University of Nijmegen, Netherlands. SS03. Friday 29 January 2016, 14:00-15:00 Dependent Types and Fibred Computational EffectsDanel Ahman, University of Edinburgh, Scotland. FW26. Friday 22 January 2016, 14:00-15:00 Graphical linear algebra and applicationsPawel Sobocinski, School of Electronics and Computer Science, University of Southampton. FW26. Friday 15 January 2016, 14:00-15:00 A continuation passing translation for functional session typesSam Lindley, LFCS, School of Informatics, University of Edinburgh, Scotland. FW26. Friday 04 December 2015, 14:00-15:00 Typed realizability for first-order classical analysisValentin Blot, Mathematical foundations group, computer science department, University of Bath. FW26. Friday 27 November 2015, 14:00-15:00 Online Space ComplexityNathanaël Fijalkow, Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7. FW26. Friday 13 November 2015, 14:00-15:00 Global Realisations of Local SpecificationsMartin Otto, Technische Universität Darmstadt, Germany. FW26. Friday 06 November 2015, 14:00-15:00 Heat kernels in graphs: A journey from random walks to geometry, and backHe Sun, University of Bristol. FW26. Friday 12 June 2015, 14:00-15:00 Consistency of Quine's NF using nominal techniquesJamie Gabbay, Heriot-Watt . Computer Laboratory, William Gates Building, Room FW11. Friday 29 May 2015, 14:00-15:00 From Communicating Machines to Graphical ChoreographiesNobuko Yoshida and Julien Lange. Computer Laboratory, William Gates Building, Room FW11. Friday 22 May 2015, 14:00-15:00 Generic Computational ModelsNachum Dershowitz, Tel Aviv University. Room FW26, Computer Laboratory, William Gates Building. Wednesday 20 May 2015, 11:00-12:00 Locally Finite Constraint Satisfaction ProblemsJoanna Ochremiak, University of Warsaw. Computer Laboratory, William Gates Building, Room FW11. Friday 15 May 2015, 14:00-15:00 Linear numeral systemsIan Mackie, University of Sussex. Computer Laboratory, William Gates Building, Room FW11. Friday 20 March 2015, 14:00-15:00 Game Semantics for Interface Middleweight JavaAndrzej Murawski, University of Warwick. Computer Laboratory, William Gates Building, Lecture Theatre 2. Friday 13 February 2015, 14:00-15:00 New reasoning techniques for monoidal algebrasAleks Kissinger, University of Oxford. Room FW26, Computer Laboratory, William Gates Building. Friday 16 January 2015, 16:00-17:00 Rigid Graphs for Adaptive Networks, with DataReiko Heckel, University of Leicester. Room FW26, Computer Laboratory, William Gates Building. Friday 05 December 2014, 16:00-17:00 Transition systems over gamesPaul Levy, University of Birmingham. Room FW26, Computer Laboratory, William Gates Building. Friday 28 November 2014, 16:00-17:00 Senescent Ground Tree Rewrite SystemsMatthew Hague, Royal Holloway. Room FW26, Computer Laboratory, William Gates Building. Friday 21 November 2014, 16:00-17:00 Verification of quantum protocols using CoqJaap Boender, Middlesex University. Room FW26, Computer Laboratory, William Gates Building. Friday 14 November 2014, 16:00-17:00 An Algorithmic Metatheorem for Directed TreewidthMateus de Oliveria Oliveira, KTH, Stockholm. Room FW26, Computer Laboratory, William Gates Building. Friday 07 November 2014, 14:00-15:00 Micro-Policies: A Framework for Tag-Based Security MonitorsBenjamin C. Pierce, University of Pennsylvania. Room FW26, Computer Laboratory, William Gates Building. Wednesday 10 September 2014, 13:00-14:00 Backward Analysis via Over-Approximate Abstraction and Under-Approximate SubtractionAlexey Bakhirkin, MSR/University of Leicester. Room FW26, Computer Laboratory, William Gates Building. Friday 22 August 2014, 16:00-17:00 Why Isn’t Verification Standard Practice?Steve Crocker, ICANN. Room FW26, Computer Laboratory, William Gates Building. Tuesday 01 July 2014, 14:00-15:00 Modeling a Practical Combination of Delimited Continuations, Exceptions, Dynamic-Wind Guards, Dynamic Binding, and Stack InspectionMatthew Flatt, University of Utah. Room FW26, Computer Laboratory, William Gates Building. Friday 23 May 2014, 16:00-17:00 On-the-fly garbage collection: issues and opportunitiesRichard Jones, University of Kent. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 25 April 2014, 16:00-17:00 Representing conditional independence in probabilistic programmingDaniel Roy, Engineering Department, University of Cambridge. Room FW26, Computer Laboratory, William Gates Building. Friday 24 January 2014, 16:00-17:00 Automating reasoning tasks for separation logicJuan A. Navarro Pérez, UCL. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 17 January 2014, 16:00-17:00 An algebraic theory of type-and-effect systemsOhad Kammar (University of Cambridge). Room FW26, Computer Laboratory, William Gates Building. Friday 13 December 2013, 13:00-14:00 Relational Programming in miniKanrenWilliam E. Byrd, University of Utah. Room FW26, Computer Laboratory, William Gates Building. Friday 06 December 2013, 16:00-17:00 Decision Problems for Linear Recurrence SequencesJoel Ouaknine, University of Oxford. Room FW26, Computer Laboratory, William Gates Building. Friday 29 November 2013, 16:00-17:00 Language based web security: the operational semantics approachSergio Maffeis, Imperial College, London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 22 November 2013, 16:00-17:00 Weighted relational models of typed lambda-calculiGuy McCusker, University of Bath. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 15 November 2013, 16:00-17:00 Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle.Tom Ridge, University of Leicester. Room FW26, Computer Laboratory, William Gates Building. Friday 08 November 2013, 16:00-17:00 **TALK POSTPONED**Daniel Roy, Engineering Department, University of Cambridge. Room FW26, Computer Laboratory, William Gates Building. Friday 01 November 2013, 16:00-17:00 Fibrational ParametricityNeil Ghani, University of Strathclyde. Room FW26, Computer Laboratory, William Gates Building. Friday 25 October 2013, 16:00-17:00 Descriptive set theory and Computation theoryVictor Selivanov, Novosibirsk Pedagogical University. Room FW26, Computer Laboratory, William Gates Building. Friday 26 July 2013, 16:00-17:00 An overview of nominal algebra, lattice, representation and dualities for computer science foundationsJamie Gabbay. Room FW26, Computer Laboratory, William Gates Building. Tuesday 02 July 2013, 14:00-15:00 **Cancelled** Logic of Hybrid GamesAndre Platzer, CMU. Room FW26, Computer Laboratory, William Gates Building. Friday 28 June 2013, 16:00-17:00 A few lessons that I learnt about interprocedural program analysesHongseok Yang, University of Oxford. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 07 June 2013, 16:00-17:00 Multiparty session types and their application in large distributed systemsRaymond Hu and Nobuko Yoshida, Imperial College. Room FW26, Computer Laboratory, William Gates Building. Friday 17 May 2013, 16:00-17:00 Barrier Invariants : a Shared State Abstraction for Data-dependent GPU Kernels >Nathan Chong, Imperial College, London. Room FW26, Computer Laboratory, William Gates Building. Friday 03 May 2013, 16:00-17:00 Semigroups with low difficulty word problemMarkus Pfeiffer, St Andrew's. Room FW26, Computer Laboratory, William Gates Building. Friday 26 April 2013, 16:00-17:00 Malware Analysis with Tree Automata InferenceDomagoj Babic. Room FW26, Computer Laboratory, William Gates Building. Tuesday 12 March 2013, 14:00-15:00 Cyclic Abduction of Inductive Termination PreconditionsJames Brotherston, University College London. Room TBC. Microsoft Research, Station Road. Friday 01 March 2013, 16:00-17:00 Halo: From Haskell to Logic through Denotational SemanticsDimitrios Vytiniotis, MSR Cambridge. Room FW11, Computer Laboratory, William Gates Building. Friday 23 November 2012, 14:00-15:00 Abstraction and Invariance for Algebraically Indexed TypesAndrew Kennedy, Microsoft Research Cambridge. Room FW11, Computer Laboratory, William Gates Building. Friday 09 November 2012, 14:00-15:00 Preservation under Substructures modulo Bounded CoresNote special date and location (GC22) Abhisekh Sankaran, IIT Bombay. Room GC22, Computer Laboratory, William Gates Building. Thursday 30 August 2012, 14:00-15:00 Bounds on proof size and distributive encryptionNote that this talk will be in FW26 rather than the usual room. R. Ramanujam, Institute of Mathematical Sciences, Chennai. Room FW26, Computer Laboratory, William Gates Building. Friday 08 June 2012, 14:00-15:00 Safe Recursive Set FunctionsArnold Beckmann, Swansea University. Room FW11, Computer Laboratory, William Gates Building. Friday 01 June 2012, 14:00-15:00 MELL in a free compact closureEtienne Duchesne, LIPN, Université Paris 13. Room FW11, Computer Laboratory, William Gates Building. Friday 18 May 2012, 14:00-15:00 First steps in synthetic guarded domain theory: step-indexing in the topos of treesRasmus Møgelberg, IT University, Copenhagen. Room FW11, Computer Laboratory, William Gates Building. Friday 13 April 2012, 14:00-15:00 Expressiveness of real-time temporal logicsPaul Hunter, University of Oxford. Room FW11, Computer Laboratory, William Gates Building. Friday 23 March 2012, 14:00-15:00 On modal definability of first-order formulas with many free variables and its application to conjunctive query answering in description logicsStanislav Kikot, University of London Birkbeck College. Room FW11, Computer Laboratory, William Gates Building. Friday 09 March 2012, 14:00-15:00 Iterative algorithms and Sherali-Adams linear programming relaxations of graph isomorphismElitza Maneva, Universitat de Barcelona (UB). Room FW11, Computer Laboratory, William Gates Building. Friday 03 February 2012, 14:00-15:00 Layered Fixed Point LogicPiotr Filipiuk, Technical University of Denmark (DTU). Room FW11, Computer Laboratory, William Gates Building. Friday 20 January 2012, 14:00-15:00 Algebra unifies Calculi of programmingTony Hoare (Microsoft Research). Room FW11, Computer Laboratory, William Gates Building. Friday 02 December 2011, 14:00-15:00 Nash Equilibrium, Bekic's Lemma and Bar RecursionPaulo Oliva - Queen Mary, University of London. Room FW11, Computer Laboratory, William Gates Building. Friday 25 November 2011, 14:00-15:00 Almost always blue trees and bar inductionTarmo Uustalu, Tallinn University of Technology. Room FW11, Computer Laboratory, William Gates Building. Friday 28 October 2011, 14:00-15:00 Parameterized Complexity of some Problems in Concurrency and VerificationPraveen Manjunatha, The Institute of Mathematical Sciences, Chennai. Room FW11, Computer Laboratory, William Gates Building. Tuesday 30 August 2011, 14:00-15:00 Parallel Assertions for Debugging Parallel ProgramsDaniel Schwartz-Narbonne, Princeton University. Room FW11, Computer Laboratory, William Gates Building. Friday 08 July 2011, 14:00-15:00 Lightweight Monadic Programming in MLMichael Hicks, University of Maryland. Room FW11, Computer Laboratory, William Gates Building. Friday 01 July 2011, 14:00-15:00 The Complexity of #CSPDavid Richerby, University of Liverpool. Room FW11, Computer Laboratory, William Gates Building. Friday 20 May 2011, 14:00-15:00 Isomorphisms of types in the presence of higher-order referencesPierre Clairambault, University of Bath. Room FW11, Computer Laboratory, William Gates Building. Friday 06 May 2011, 14:00-15:00 Domination When the Stars Are Out – An algorithmization of Chudnovsky’s and Seymour’s Structure Theorem for Claw-Free GraphsMatthias Mnich, International Computer Science Institute, Berkeley. Room FW11, Computer Laboratory, William Gates Building. Friday 08 April 2011, 14:00-15:00 Bisimulation and Model-Checking for Partial Order Models of ConcurrencyJulian Gutierrez, University of Edinburgh. Room FW11, Computer Laboratory, William Gates Building. Friday 11 March 2011, 14:00-15:00 Approximating Labelled Markov Processes by AveragingPrakash Panangaden, McGill University. Room FW11, Computer Laboratory, William Gates Building. Friday 25 February 2011, 14:00-15:00 Kleisli Arrows of Outrageous FortuneConor McBride, University of Strathclyde. Room FW11, Computer Laboratory, William Gates Building. Friday 11 February 2011, 14:00-15:00 Selection functions everywhereMartín Escardó, University of Birmingham. Room FW11, Computer Laboratory, William Gates Building. Friday 28 January 2011, 14:00-15:00 Modular Reasoning for Deterministic ParallelismMike Dodds, University of Cambridge. Room FW11, Computer Laboratory, William Gates Building. Friday 21 January 2011, 14:00-15:00 Automatic reduction of differential semantics for protein-protein interaction networks, by abstract interpretationJerome Feret, ENS, Paris. Room FW11, Computer Laboratory, William Gates Building. Friday 19 November 2010, 14:00-15:00 Towards Automatic Resource Consumption CertificationNote unusual time (11am) and room (SS03) Marco Gaboardi, University of Bologna. Room SS03, Computer Laboratory, William Gates Building. Friday 05 November 2010, 11:00-12:00 A Framework for Incremental Modelling and Verification of On-Chip Protocols and Its Application to PCI ExpressNote the unusual time (13:00) Peter Boehm, Oxford University. Room FW11, Computer Laboratory, William Gates Building. Friday 29 October 2010, 13:00-14:00 Characterizations of the Expressive Power of Logics over TreesLuc Segoufin (INRIA and ENS, Cachan). Room FW26, Computer Laboratory, William Gates Building. Thursday 09 September 2010, 15:00-16:00 Mini Courses in Theoretical Computer Science Mini course on proof theory (Part 3)Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA. Computer Laboratory, Room FW11. Friday 04 June 2010, 10:00-12:15 Mini Courses in Theoretical Computer Science Mini course on proof theory (Part 2)Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA. Computer Laboratory, Room FW11. Thursday 03 June 2010, 10:00-12:15 Mini Courses in Theoretical Computer Science Mini course on proof theory (Part 1)Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA. Computer Laboratory, Room FW11. Tuesday 01 June 2010, 10:00-12:15 Scalars & probabilities, monads & categoriesBart Jacobs, Radboud University Nijmegen, The Netherlands. Room FW11, Computer Laboratory, William Gates Building. Friday 21 May 2010, 14:00-15:00 The Scott model of Linear Logic is the extensional collapse of its relational modelThomas Ehrhard, Université Paris Diderot. MR4, Centre for Mathematical Sciences. Thursday 20 May 2010, 10:00-11:00 Algebraic Theories over Nominal SetsAlexander Kurz (University of Leicester). Room FW11, Computer Laboratory, William Gates Building. Friday 14 May 2010, 14:00-15:00 Computer Laboratory Wednesday Seminars From Separation Logic to Systems CodePeter O'Hearn - Queen Mary University of London. Lecture Theatre 1, Computer Laboratory. Wednesday 28 April 2010, 14:15-15:15 Declassification Policy InferenceJeff Vaughan (Harvard University). Room FW11, Computer Laboratory, William Gates Building. Friday 16 April 2010, 14:00-15:00 Undecidability of propositional separation logic and its neighboursJames Brotherston, Imperial College London. Room FW26, Computer Laboratory, William Gates Building. Friday 12 March 2010, 14:00-15:00 Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore ProcessorsAlastair Donaldson (University of Oxford). Room FW11, Computer Laboratory, William Gates Building. Friday 15 January 2010, 14:00-15:00 The Hybrid Systems Jigsaw: Bringing Together Computer Science, Dynamical Systems and Control Engineering.Eva Navarro López, School of Computer Science, Manchester.. Room FW11, Computer Laboratory, William Gates Building. Friday 04 December 2009, 14:00-15:00 The Microcosm Principle and Coalgebraic Modeling of Component CalculiIchiro Hasuo, Kyoto. Room FW11, Computer Laboratory, William Gates Building. Friday 27 November 2009, 14:00-15:00 Computer Laboratory Wednesday Seminars Serializability Enforcement for Concurrent MLSuresh Jagannathan - Purdue University, USA. Lecture Theatre 1, Computer Laboratory. Wednesday 04 November 2009, 14:15-15:15 A Theory of Indirection via ApproximationAquinas Hobor. Room FW11, Computer Laboratory, William Gates Building. Tuesday 27 October 2009, 15:00-16:00 NO LOGIC AND SEMANTICS SEMINAR TODAYFW11 FW26 not available today Speaker to be confirmed. FW11 FW26 not available today. Friday 25 September 2009, 14:00-15:00 A Canonical Local Representation of BindingMasahiko Sato (Graduate School of Informatics, Kyoto University). Room FW11, Computer Laboratory, William Gates Building. Friday 18 September 2009, 14:00-15:00 Explicit Stabilisation for Rely-Guarantee reasoningJohn Wickerson (University of Cambridge). Room FW11, Computer Laboratory, William Gates Building. Friday 05 June 2009, 14:00-15:00 Inductive-recursive definitionsAnton Setzer (University of Swansea). Room FW11, Computer Laboratory, William Gates Building. Friday 29 May 2009, 14:00-15:00 Safety of program transformations in shared-memory concurrencyNOTE UNUSUAL DAY AND TIME. There are two seminars this week, one on Wednesday, one on Friday. Jaroslav Sevcik (visiting from Edinburgh). Room FW11, Computer Laboratory, William Gates Building. Wednesday 27 May 2009, 11:00-12:00 Focalisation and Classical RealisabilityGuillaume Munch, Paris 7. Room FW11, Computer Laboratory, William Gates Building. Friday 08 May 2009, 14:00-15:00 TALK CANCELLED: An overview of structural corecursionTHIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term. Venanzio Capretta (University of Nottingham). Room FW11, Computer Laboratory, William Gates Building. Friday 24 April 2009, 14:00-15:00 Structurally Recursive Descent ParsingNils Anders Danielsson (University of Nottingham). Room FW11, Computer Laboratory, William Gates Building. Friday 20 March 2009, 14:00-15:00 Deciding Boolean BI (via Display Logic)James Brotherston, Imperial College London. Room FW11, Computer Laboratory, William Gates Building. Friday 06 March 2009, 14:00-15:00 A game for a neutral approach to provability in MALLOlivier Delande, Laboratoire d'Informatique (LIX), Ecole Polytechnique. Room FW11, Computer Laboratory, William Gates Building. Friday 20 February 2009, 14:30-15:30 Equideductive logic and CCCs with subspacesNOTE UNUSUAL DAY. Paul Taylor. Room FW11, Computer Laboratory, William Gates Building. Thursday 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 Paul Levy, University of Birmingham (visiting Cambridge until March 15). Room FW26, Computer Laboratory, William Gates Building. Wednesday 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. Paul Levy, University of Birmingham (visiting Cambridge until March 15). Room FW26, Computer Laboratory, William Gates Building. Tuesday 03 February 2009, 16:15-17:00 Nondeterminism: many questions and (maybe) some answersPaul Levy, University of Birmingham (visiting Cambridge until March 15). Room FW11, Computer Laboratory, William Gates Building. Friday 30 January 2009, 14:00-15:00 Dynamics, robustness and fragility of trustNOTE THE UNUSUAL TIME Dusko Pavlovic. Room FW11, Computer Laboratory, William Gates Building. Friday 28 November 2008, 14:45-15:45 Polynomial functorsNicola Gambino. Room FW11, Computer Laboratory, William Gates Building. Friday 21 November 2008, 14:00-15:00 Realizability Semantics of Parametric Polymorphism, General References, and Recursive TypesLars Birkedal, ITU Denmark. Room FW11, Computer Laboratory, William Gates Building. Thursday 06 November 2008, 15:30-16:30 Computer Laboratory Wednesday Seminars Practical Dynamic Software Updating for CMichael Hicks - University of Maryland. Lecture Theatre 1, Computer Laboratory. Wednesday 15 October 2008, 14:15-15:15 Classical BI (A Logic for Reasoning About Dualising Resource)James Brotherston, Imperial College. Room FW11, Computer Laboratory, William Gates Building. Friday 10 October 2008, 14:00-15:00 Nominal terms and one-and-a-half level Curry-HowardJamie Gabbay. Room FW26, Computer Laboratory, William Gates Building. Friday 26 September 2008, 14:00-15:00 The interpretation of intuitionistic type theory in locally cartesian closed categories: an intuitionistic approachPeter Dybjer. Room FW11, Computer Laboratory, William Gates Building. Friday 27 June 2008, 14:00-15:00 Event structure semantics of the pi-calculusDaniele Varacca, Paris 7. Room FW11, Computer Laboratory, William Gates Building. Friday 06 June 2008, 14:00-15:00 Extensional rewriting with sumsSam Lindley, University of Edinburgh. Room FW11, Computer Laboratory, William Gates Building. Friday 16 May 2008, 14:00-15:00 Eriskay: a programming language based on game semantics.John Longley, University of Edinburgh. Room FW11, Computer Laboratory, William Gates Building. Friday 09 May 2008, 14:00-15:00 Verification Based on Algebra and Automated DeductionGeorg Struth, Sheffield University. Room FW11, Computer Laboratory, William Gates Building. Friday 02 May 2008, 14:00-15:00 A language extension for provably safe exception handlingBart Jacobs (Katholieke Universiteit Leuven). Room FW11, Computer Laboratory, William Gates Building. Friday 18 April 2008, 14:00-15:00 Keep Off The Grass: Locking the Right Path for AtomicityDavid Cunningham (Imperial College). Room FW11, Computer Laboratory, William Gates Building. Friday 07 March 2008, 14:00-15:00 On Scalable Shape AnalysisHongseok Yang (Queen Mary, University of London). Room FW11, Computer Laboratory, William Gates Building. Friday 18 January 2008, 14:00-15:00 A completeness proof for bisimulation in the pi-calculus using IsabelleNote the unusual day. Jesper Bengtson, Uppsala University. Room FW11, Computer Laboratory, William Gates Building. Thursday 17 January 2008, 14:00-15:00 Logics for CoalgebrasAlexander Kurz, University of Leicester. Room FW11, Computer Laboratory, William Gates Building. Friday 30 November 2007, 14:00-15:00 Category Theory and the Philosophy of LanguageGraham White (Queen Mary). Room FW11, Computer Laboratory, William Gates Building. Friday 23 November 2007, 14:00-15:00 Separation Logic Semantics for Communicating ProcessesPeter O'Hearn, Queen Mary, University of London. FW11. Friday 09 November 2007, 14:00-15:00 Pointer Safety and Graph GrammarsMike Dodds (York). Room FW26, Computer Laboratory, William Gates Building. Tuesday 06 November 2007, 14:30-15:30 Model theoretic tools for deciding boundedness of fixed pointsMartin Otto, Darmstadt. Room FW11, Computer Laboratory, William Gates Building. Friday 02 November 2007, 14:00-15:00 Logical Reasoning for Higher-Order Functions with Local StateNobuko Yoshida (Imperial College). Room FW11, Computer Laboratory, William Gates Building. Friday 26 October 2007, 14:00-15:00 The Java Memory Model - the Good, the Bad and the UglyJaroslav Sevcik. FW11. Friday 13 July 2007, 14:00-15:00 A unified model of class invariant verification frameworksSophia Drossopoulou (Imperial College). FW11. Friday 06 July 2007, 14:00-15:00 Cyclic Proofs of Program Termination in Separation LogicJames Brotherston, Imperial College. FW11. Friday 15 June 2007, 14:00-15:00 Valiant's theoryGuillaume Malod (University of Mons-Hainaut, Belgium). FW11. Friday 08 June 2007, 14:00-15:00 An Executable Model of the JVM in CoqRobert Atkey, LFCS, Edinburgh. FW11. Friday 18 May 2007, 14:00-15:00 Infinite-State System Verification via Tree AutomataWolfgang Thomas, RWTH Aachen. FW11. Friday 11 May 2007, 14:00-15:00 When While is a Security RiskPasquale Malacaria, Queen Mary, University of London. FW11. Friday 23 March 2007, 14:00-15:00 Relational parametricity for computational effects.Rasmus Møgelberg, Edinburgh. FW11. Friday 16 March 2007, 14:00-15:00 Stone duality for bitopological spacesAchim Jung, University of Birmingham. FW11. Friday 09 March 2007, 14:00-15:00 Verification Across Intellectual Property BoundariesHelmut Veith, Technische Universität München. FW11. Friday 02 March 2007, 14:00-15:00 A Logic of Reachable Patterns in Linked Data-StructuresGreta Yorsh (Tel Aviv University). FW11. Friday 23 February 2007, 14:00-15:00 Verifying Object-Invariants in Spec#Wolfram Schulte (Microsoft Research Redmond). FW11. Friday 09 February 2007, 14:00-15:00 Fine-grained concurrency with separation logic(joint work with Kalpesh Kapoor and Kamal Lodaya) Uday Reddy, University of Birmingham. FW11. Friday 01 December 2006, 14:00-15:00 A logical approach to data provenance.James Cheney, Informatics, University of Edinburgh. FW11. Friday 17 November 2006, 14:00-15:00 Bialgebras and modal logicBartek Klin, University of Edinburgh. FW11. Friday 10 November 2006, 14:00-15:00 Reasoning about Code Pointers (Separation Logic for Higher-Order Store)Bernhard Reus, University of Sussex. FW11. Friday 03 November 2006, 14:00-15:00 A structural proof of the soundness of rely/guarantee rulesCliff Jones, Newcastle University. FW11. Friday 27 October 2006, 14:00-15:00 Logical equivalence for subtyping object and recursive types.Steffen van Bakel. FW11. Friday 13 October 2006, 14:00-15:00 Collection and Contra-collection in MathematicsPaulo Oliva, Queen Mary, University of London. FW11. Friday 06 October 2006, 14:00-15:00 Please see above for contact details for this list. |
Other listsTrust and Cloud Computing Cambridge University Heraldic and Genealogical Society HEP/GR Informal Seminar Series for Graduate StudentsOther talksThe Anne McLaren Lecture: CRISPR-Cas Gene Editing: Biology, Technology and Ethics Reading and Panel Discussion with Emilia Smechowski CANCELLED DUE TO STRIKE ACTION Concentrated, “pulsed” axial glacier flow: structural glaciological evidence from Kvíárjökull in SE Iceland Investigation into appropriate statistical models for the analysis and visualisation of data captured in clinical trials using wearable sensors Thermodynamics de-mystified? /Thermodynamics without Ansätze? Towards bulk extension of near-horizon geometries The frequency of ‘America’ in America 'Honouring Giulio Regeni: a plea for research in risky environments' An SU(3) variant of instanton homology for webs Kiwi Scientific Acceleration on FPGA |