talks.cam : Computer Laboratory Programming Research Group Seminar Skip over navigation | Access key help ||| COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. University of Cambridge > Talks.cam > Computer Laboratory Programming Research Group Seminar Browse A-Z Log in Cambridge users (raven) Other users No account? Information on Subscribing to talks Finding a talk Adding a talk Disseminating talks Help and Documentation Computer Laboratory Programming Research Group Seminar Add to your list(s) Send you e-mail reminders Further detail Subscribe using ical/vcal (Help) The seminar presentations can be (a) guest speakers who are visiting Cambridge (b) one of more brief progress reports about the work of PhD students (c) reports on part II projects in an advanced stage (d) summaries of interesting papers (e) presentations of early versions of planned papers (f) tutorials on an interesting technology or topic (g) outlook on planned work in one of our projects CPRG webpage Tell a friend about this list: If you have a question about this list, please contact: Alan Mycroft; Stephen Kell. If you have a question about a specific talk, click on that talk to find its organiser. 0 upcoming talks and 130 talks in the archive. Executing C, C++ and Fortran Efficiently on the Java Virtual Machine via LLVM IR PLEASE NOTE the unusual room and time. External attendees, please ask at reception or call 63780 to be let in Manuel Rigger, Johannes Kepler University, Linz. FS09, William Gates Building. Friday 02 March 2018, 15:00-16:00 Energy Efficient Compilation of Irregular Task-Parallel Loops Krishna Nandivada, IIT Madras, India. GS15. Thursday 25 January 2018, 14:00-15:00 Logic and Semantics Seminar (Computer Laboratory) 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 Automatic Identification and Parallelisation of General Reduction Operations Philip Ginsbach, University of Edinburgh. SS03. Wednesday 23 November 2016, 15:15-16:15 Title to be confirmedFlow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs Pritam Gharat, IIT Bombay. GS15. Tuesday 13 September 2016, 14:00-15:00 Program Verification Using Cyclic Proof Reuben Rowe, UCL. FW26. Thursday 19 May 2016, 13:00-14:00 Gotta Go Fast: Futhark - A Data-Parallel Purely Functional Language and its Optimising GPGPU Compiler Note unusual day and time Troels Henriksen (DIKU). FW26. Wednesday 11 May 2016, 11:30-12:30 Rainbow Group Seminars A Live, Multiple-Representation Probabilistic Programming Environment for Novices Maria Gorinova (University of Cambridge). SS03 Meeting Room, Computer Laboratory. Thursday 05 May 2016, 11:15-12:15 Dependent types, linear types and operating systems Matthew Danish (University of Cambridge). FW26. Thursday 28 April 2016, 13:00-14:00 Meeting on Testing and Verification for Computational Science Multiple speakers. FW26. Tuesday 15 March 2016, 12:30-18:00 Biggest Challenges for Kotlin: Interoperability and Tooling Andrey Breslav. SS03. Wednesday 17 February 2016, 11:00-12:00 Logic and Semantics Seminar (Computer Laboratory) Effects as sessions, sessions as effects NOTE UNUSUAL VENUE Dominic Orchard, Computer Laboratory. SS03. Friday 05 February 2016, 14:00-15:00 Towards a dynamic object model within Unix processes Stephen Kell (University of Cambridge). GS15. Friday 23 October 2015, 14:00-15:00 The Gamma: Programming tools for data journalism Tomas Petricek (University of Cambridge). GS15. Friday 11 September 2015, 14:00-15:00 Brand Objects and Gradual Contracts Timothy Jones (Victoria University of Wellington). SS03. Tuesday 21 July 2015, 12:00-13:00 Improving Implicit Parallelism Jose Calderon, University of York. SS03. Friday 12 June 2015, 14:00-15:00 Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming Languages Neil Toronto, University of Maryland. SS03. Friday 17 April 2015, 10:00-11:00 Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection Oleg Kiselyov. SS03. Monday 09 February 2015, 15:00-16:00 QuLog: A modern logic-based agent-implementation language Professor Keith L Clark, Imperial College. SS03. Friday 05 December 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Taming GPU threads with F# and Alea.GPU This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Dr Daniel Egloff, QuantAlea AG. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 03 November 2014, 14:00-15:00 Logic programming beyond Prolog This is an MSR Seminar (Station Road), duplicated on the CPRG list Maarten van Emden, University of Victoria, Canada. Seminar Room, Microsoft Research, Station Road, Cambridge. Thursday 09 October 2014, 14:00-15:00 Embedding effect systems in Haskell Dominic Orchard (University of Cambridge). SS03. Friday 29 August 2014, 14:00-15:00 Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach Professor Keith Clark, Department of Computing, Imperial College, London. SS03. Monday 14 July 2014, 14:00-15:00 Points-To and Alias Analysis -- the precision vs efficiency dilemma Professor Uday Khedker, Department of Computer Science & Engg. IIT Bombay, India. . SS03. Tuesday 08 July 2014, 14:00-15:00 Formally Verified Security Micro Policies Arthur Azevedo de Amorim (Upenn). FW26, Computer Laboratory, William Gates Building. Friday 06 June 2014, 14:00-15:00 Higher-kinded programming in ML Jeremy Yallop, University of Cambridge. SS03. Friday 23 May 2014, 14:00-15:00 A Core Quantitative Coeffect Calculus Marco Gaboardi (University of Dundee). FW11. Monday 05 May 2014, 11:00-12:00 A Core Quantitative Coeffect Calculus Marco Gaboardi (University of Dundee). FW11. Monday 05 May 2014, 11:00-12:00 Solving an existential crisis in Haskell Michael Gale (University of Cambridge). SS03. Friday 04 April 2014, 14:00-15:00 What can Programming Language Research Learn from the Philosophy of Science? Tomas Petricek (University of Cambridge). GC22. Friday 28 March 2014, 14:00-15:00 Towards Language Composition Laurence Tratt, King's College London. SS03. Friday 24 January 2014, 14:00-15:00 Computer Laboratory Digital Technology Group (DTG) Meetings Julia: A Fast Dynamic Language for Technical Computing Stefan Karpinski, MIT. LT2, Computer Laboratory, William Gates Building. Monday 02 December 2013, 13:00-14:00 Computer Laboratory Digital Technology Group (DTG) Meetings Upgrading Fortran source code using automatic refactoring Dominic Orchard (University of Cambridge). SS03, William Gates Building. Monday 21 October 2013, 13:00-14:00 Automated functional program verification using fixpoint fusion Will Sonnex, Université de Cambridge. Room GC22, Computer Laboratory, William Gates Building. Friday 18 October 2013, 15:15-16:15 Logic of Hybrid Games Andre Platzer, CMU. FW26, Computer Laboratory, William Gates Building. Friday 11 October 2013, 14:30-15:30 Automatic SIMD vectorization for Haskell Dominic Orchard (University of Cambridge). SS03, Computer Laboratory, William Gates Building. Tuesday 17 September 2013, 14:00-15:00 OCaml-Java: blending OCaml & Java Xavier Clerc. FW26, Computer Laboratory, William Gates Building. Thursday 08 August 2013, 14:00-15:00 Logic and Semantics Seminar (Computer Laboratory) An overview of nominal algebra, lattice, representation and dualities for computer science foundations Jamie Gabbay. Room FW26, Computer Laboratory, William Gates Building. Tuesday 02 July 2013, 14:00-15:00 Denotation of Contextual Modal Type theory Murdoch Gabbay. FW26, Computer Laboratory, William Gates Building. Monday 01 July 2013, 14:00-15:00 Coeffects: Unified static analysis of context-dependence Tomas Petricek (University of Cambridge). SS03, Computer Laboratory, William Gates Building. Monday 01 July 2013, 13:00-14:00 Goji: a tool to generate OCaml bindings of JavaScript libraries Dr. Benjamin Canou. SS03, Computer Laboratory, William Gates Building. Friday 28 June 2013, 15:00-16:00 Concise analysis using implication algebras for task-local memory optimisation Leo White . FW22, Computer Laboratory, William Gates Building. Tuesday 11 June 2013, 13:00-14:00 A Heterogeneous Parallel Programming Language and Compiler Architecture Nicholas Tomlinson. SW01, Computer Laboratory, William Gates Building. Thursday 23 May 2013, 13:20-13:40 Part III projects: Approximating a Haskell stack trace/Language and compiler for heterogenous parallelism William Kenyon, Nicholas Tomlinson. SW01, Computer Laboratory, William Gates Building. Thursday 23 May 2013, 13:00-13:30 Coinductive big-step semantics for concurrency Note unusual time and day Tarmo Uustalu ( Institute of Cybernetics, Tallinn University of Technology). FW11, Computer Laboratory, William Gates Building. Tuesday 14 May 2013, 15:45-16:45 Mezzo Jonathan Protzenko (from INRIA). FW11. Tuesday 30 April 2013, 14:00-15:00 Java 8 Workshop Raoul-Gabriel Urma (University of Cambridge). LT2. Monday 21 January 2013, 15:00-17:30 Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language Dr Gabriel Kerneis (University of Cambridge). SS03, Computer Laboratory. Friday 23 November 2012, 15:15-16:15 Monadic Program Slicing Dr. Yingzhou Zhang (University of Cambridge -- visitor until March 2013). SS03, Computer Laboratory. Friday 12 October 2012, 15:15-16:15 The Whiley Programming Language: Design & Implementation David Pearce, Victoria University of Wellington, New Zealand. SS03, Computer Laboratory. Friday 07 September 2012, 15:15-16:15 A Notation for Comonads Dominic Orchard (University of Cambridge). GS15, Computer Laboratory. Wednesday 29 August 2012, 15:00-15:45 Control Flow Analysis for the Join Calculus Peter Calvert (University of Cambridge). SS03, Computer Laboratory. Friday 22 June 2012, 15:15-16:15 Mathematical Structures for Data Types with Restricted Parametericity Dominic Orchard (University of Cambridge). SS03, Computer Laboratory. Friday 08 June 2012, 15:15-16:15 Syntax Matters: Writing abstract computations in F# Tomas Petricek (University of Cambridge). SS03, Computer Laboratory. Friday 01 June 2012, 15:15-16:15 MPhil Presentations: (1) An investigation of the Join Calculus Abstract Machine (2) Ownership in Object-Oriented Languages Borja Moreno Fernandez and Artem Glebov (University of Cambridge). SS03, Computer Laboratory. Friday 18 May 2012, 15:15-16:15 Architecture-neutral Parallelism Peter Calvert (University of Cambridge). FW26, Computer Laboratory. Friday 09 March 2012, 15:15-16:15 Evaluation strategies for monadic computations Tomas Petricek (University of Cambridge). SS03, Computer Laboratory. Friday 02 March 2012, 15:15-16:15 Using the OpenJDK to investigate covariance in Java Note unusual day and time. Raoul-Gabriel Urma and Janina Voigt (University of Cambridge). SS03, Computer Laboratory. Thursday 02 February 2012, 13:00-14:00 Logic and Semantics Seminar (Computer Laboratory) Layered Fixed Point Logic Piotr Filipiuk, Technical University of Denmark (DTU). Room FW11, Computer Laboratory, William Gates Building. Friday 20 January 2012, 14:00-15:00 Virtual machines should be invisible (and might be augmented) Stephen Kell (Oxford). SS03, Computer Laboratory. Friday 25 November 2011, 15:15-16:15 Computer Laboratory Systems Research Group Seminar Software Bloat: A systems' perspective K. Gopinath (Indian Institute of Science). FW26, Computer Laboratory, William Gates Builiding. Friday 21 October 2011, 15:00-16:00 Wool: low overhead work stealing for fine grain parallelism. Note unusual time of 2pm. Karl-Filip Faxén (SICS). SS03, Computer Laboratory. Friday 21 October 2011, 14:00-15:00 Coeffect Systems and Typing (Preliminary report) Tomas Petricek & Dominic Orchard (Computer Laboratory, Cambridg). SS03, Computer Laboratory. Friday 07 October 2011, 15:15-16:15 Efficient and Correct Stencil Computations via Pattern Matching and Type Checking Dominic Orchard, Computer Lab. SS03, Computer Laboratory. Friday 02 September 2011, 15:15-16:15 Petri-nets as an Intermediate Representation for Heterogeneous Architectures Note unusual room Peter Calvert (University of Cambridge). GS22, Computer Laboratory. Friday 19 August 2011, 15:15-16:15 Practice talks Pete Calvert and Tomas Petricek. GS15, Computer Laboratory. Friday 17 June 2011, 15:15-16:15 When Monads and Comonads Overlap Note unusual time and room. Dominic Orchard, Computer Lab. FW11, Computer Laboratory. Friday 20 May 2011, 15:00-16:00 Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method Another unusual date/time... Uday Khedker ( IIT Bombay). GS15, Computer Laboratory. Tuesday 17 May 2011, 14:30-15:30 Programming with Comonads and Codo Notation Note unusual time and place Dominic Orchard, Computer Lab. GC22, Computer Laboratory. Friday 13 May 2011, 15:00-16:00 Demystifying GCC (Or What the GCC manuals should have told you but they don't!) Note unusual time/day/location Uday Khedker, IIT Bombay. LT2, Computer Laboratory, William Gates Building. Thursday 12 May 2011, 16:00-17:00 Functional Programming for the Data Centre Note unusual day and time. Room GS15. Jeff Epstein, Computer Laboratory. GS15, Computer Laboratory. Thursday 05 May 2011, 15:00-16:00 Computer Laboratory Security Seminar What is Software Assurance? John Rushby, SRI International. Lecture Theatre 2, Computer Laboratory, William Gates Building. Tuesday 12 April 2011, 16:15-17:15 Petri-nets as an Intermediate Representation for Heterogeneous Architectures Pete Calvert (Computer Lab, Cambridge). SS03, Computer Laboratory. Friday 18 February 2011, 15:15-16:15 Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming Tomas Petricek (Computer Laboratory, Cambridge). SS03, Computer Laboratory. Friday 21 January 2011, 15:15-16:15 Specification, Implementation and Verification of Refactorings Note: Thursday not Friday. Max Schaefer (Oxford Computing Lab). GS15, Computer Laboratory. Thursday 20 January 2011, 15:15-16:15 Idris --- Systems Programming Meets Full Dependent Types Note: Unusual time and date. Edwin Brady (St. Andrews). SS03, Computer Laboratory. Thursday 20 January 2011, 13:00-14:00 Pluggable Type System with Optional Runtime Monitoring of Type Errors Jukka Lehtosalo (Computer Lab, Cambridge). SS03, Computer Laboratory. Friday 14 January 2011, 15:15-16:15 QuickSpec -- Guessing Formal Specifications using Testing Koen Claessen (Chalmers/Visiting at MSR). SS03, Computer Laboratory. Thursday 02 December 2010, 16:00-17:00 Performance-portable Programming Abstraction for Image Processing Richard Membarth, University of Erlangen-Nuremberg (currently ARM intern). GS15, Computer Laboratory. Friday 22 October 2010, 16:00-17:00 Computer Laboratory Automated Reasoning Group Lunches Schedulability analysis of embedded real-time Java Thomas Boegholm (University of Cambridge). Computer Laboratory, William Gates Building, Room SS03. Tuesday 12 October 2010, 13:00-14:00 Extracting the Semantic Signature of Malware, Metamorphic Viruses and Worms RK Shyamasundar; Tata Institute of Fundamental Research, Mumbai. FW11, Computer Laboratory. Friday 08 October 2010, 14:00-15:00 Analysis, Synchronization and Scheduling Challenges in X10 RK Shyamasundar; Tata Institute of Fundamental Research. FW26, Computer Laboratory (tbc). Monday 20 September 2010, 14:00-15:00 Offloading Java to Graphics Processors Please note unusal time/place Pete Calvert, Computer Laboratory. FW26, Computer Laboratory. Tuesday 07 September 2010, 14:00-14:30 Estimating and Exploiting Potential Parallelism by Source-level Dependence Profiling Jonathan Mak (Computer Laboratory). GS15, Computer Laboratory. Friday 13 August 2010, 15:15-16:15 Supercompilation by evaluation Max Bolingbroke. GS15, Computer Laboratory. Friday 16 July 2010, 15:15-16:15 Functional programming with monads combined with comonads Dominic Orchard, Computer Lab, Cambridge. Microsoft Research, Cambridge. Wednesday 02 June 2010, 15:30-16:00 System Tests from Unit Tests Kathryn Gray, Computer Lab, Cambridge. Microsoft Research, Cambridge. Wednesday 02 June 2010, 14:00-14:30 Adventures in XML updates James Cheney (University of Edinburgh). FW26, Computer Laboratory. Tuesday 30 March 2010, 14:15-15:15 Haskell Type Constraints Unleashed Dominic Orchard, Computer Lab. SS03, Computer Laboratory. Friday 12 February 2010, 15:15-16:15 Optimizing sparse vector-matrix multiplication on GPUs Alexander Monakov, ISP-RAS and Moscow State University. FW26, Computer Laboratory. Tuesday 15 December 2009, 14:15-15:15 (CANCELLED) Google's Go Programming Language Speaker to be confirmed. GS15, Computer Laboratory. Friday 11 December 2009, 15:15-16:15 Alore: Making dynamic languages simpler Jukka Lehtosalo (Computer Laboratory). GS15, Computer Laboratory. Friday 27 November 2009, 15:15-16:15 Ypnos: Declarative, Parallel Structured Grid Programming Dominic Orchard, Computer Lab. GS15, Computer Laboratory. Friday 20 November 2009, 15:15-16:15 Informal Tutorial: Haskell's Type Classes and Type Families Dominic Orchard, Computer Lab. GS15, Computer Laboratory. Friday 23 October 2009, 15:15-16:00 Intelligent Thread-Level Speculation Jeremy Singer (School of Computer Science, University of Manchester). GS15, Computer Laboratory. Friday 17 July 2009, 15:15-16:15 Monadic Constraint Programming Tom Schrijvers (Leuven). GS15, Computer Laboratory. Friday 19 June 2009, 15:15-16:15 Optimizing Dynamically Updateable Programs Boris Feigin (University of Cambridge). GS15, Computer Laboratory. Friday 05 June 2009, 15:15-16:15 Studying task-level parallelism in C programs using Embla (work in progress) Jonathan Mak (Computer Laboratory). GS15, Computer Laboratory. Friday 29 May 2009, 15:15-16:15 Types are calling conventions Max Bolingbroke, Computer Lab. GS15, Computer Laboratory. Friday 22 May 2009, 15:15-16:15 Dictionaries: lazy or strict type class witnesses? Tom Schrijvers (K.U. Leuven). GS15, Computer Laboratory. Friday 15 May 2009, 15:15-15:45 Cake: a language for adapting and linking mismatched binary components Stephen Kell (Computer Lab). GS15, Computer Laboratory. Friday 01 May 2009, 15:15-16:15 Beginning of term introductory meeting Speaker to be confirmed. FW26, Computer Laboratory. Friday 24 April 2009, 15:15-15:45 Enhancing Verilog Cherif Salama (Rice University). FW26, Computer Laboratory. Monday 30 March 2009, 15:00-16:00 Type (re)construction from values Robin Message (Computer Lab). GS15, Computer Laboratory. Friday 20 March 2009, 15:15-16:15 Logic and Semantics Seminar (Computer Laboratory) Structurally Recursive Descent Parsing Nils Anders Danielsson (University of Nottingham). Room FW11, Computer Laboratory, William Gates Building. Friday 20 March 2009, 14:00-15:00 Interoperation of Lucid's Dataflow paradigm and Object-orientation with a Coalgebraic Semantics Dominic Orchard, Computer Lab. GS15, Computer Laboratory. Friday 13 March 2009, 15:15-16:15 Painless Parse Errors Kathy Gray. GS15, Computer Laboratory. Friday 06 March 2009, 15:15-16:15 Designing Languages to Aid Verification David Pearce (Victoria University of Wellington). GS15, Computer Laboratory. Friday 27 February 2009, 15:15-16:15 Programming for Mamba Possibly shorter with more time for discussion Charlie Reams, Computer Lab. GS15, Computer Laboratory. Friday 13 February 2009, 15:15-16:15 Deriving efficient data movement from decoupled Access/Execute specifications Anton Lokhmotov (Imperial College London; CPRG alumnus 2008). GS15, Computer Laboratory. Friday 30 January 2009, 15:15-16:15 Haskell is Not Not ML Benjamin Rudiak-Gould (University of Cambridge). GS15, Computer Laboratory. Friday 21 November 2008, 15:15-16:15 Limits of parallelism using Dynamic Dependency Graphs Jonathan Mak (University of Cambridge). GS15, Computer Laboratory. Friday 14 November 2008, 15:15-16:15 Work in progress on visual programming languages Robin Message (University of Cambridge). GS15, Computer Laboratory. Friday 07 November 2008, 15:15-16:15 Towards programming Safety Critical Systems in Java Bent Thomsen (Aalborg University). Computer Laboratory, Room FW26. Monday 03 November 2008, 15:15-16:15 A practical approach to Domain Specific Language development Note change of speaker/topic Vitaly Lugovskiy http://www.meta-alternative.net/. Computer Laboratory, Room FW26. Wednesday 29 October 2008, 15:15-16:15 Logical Testing: Hoare-style Specification Meets Executable Validation Kathy Gray (University of Cambridge). GS15, Computer Laboratory. Friday 24 October 2008, 15:15-16:15 Dynamic loaded compiler plugins for the Glasgow Haskell Compiler Max Bolingbroke (University of Cambridge). GS15, Computer Laboratory. Friday 17 October 2008, 15:15-16:15 Planning meeting and welcome Speaker to be confirmed. GS15, Computer Laboratory. Friday 10 October 2008, 15:15-16:15 Computer Laboratory Computer Architecture Group Meeting Map-reduce as a Programming Model for Custom Computing Machines Note unusual time Philip Leong, The Chinese University of Hong Kong. SS03, Computer Laboratory, William Gates Building. Friday 23 May 2008, 14:15-15:15 Sequentializing the Value State Dependence Graph Alan Lawrence. GS15, Computer Laboratory. Friday 14 March 2008, 15:15-16:15 The Constraint Handling Rules (CHR) language Tom Schrijvers, Catholic University of Leuven. GS15, Computer Laboratory. Friday 18 January 2008, 15:15-16:15 Memory safety with exceptions and linear types Richard Thrippleton, Computer Laboratory, University of Cambridge. GS15, Computer Laboratory. Friday 14 December 2007, 15:15-16:15 Controlling control flow in web application Robin Message (University of Cambridge). GS15, Computer Laboratory. Thursday 06 December 2007, 15:15-15:45 Detecting and Tracking Inconsistencies in UML Alexander Egyed (University College London and University of Southern California). GS15, Computer Laboratory. Friday 23 November 2007, 15:15-16:15 Jones Optimality and Hardware Virtualization (A Report on Work in Progress) Boris Feigin (University of Cambridge). GS15, Computer Laboratory. Thursday 25 October 2007, 15:15-16:15 Sound Haskell Dana N. Xu (University of Cambridge). GS15, Computer Laboratory. Friday 29 June 2007, 15:15-16:15 Termination analysis and call graph construction for higher-order functional programs Damien Sereni (University of Oxford). GS15, Computer Laboratory. Friday 22 June 2007, 15:15-16:15 Two Software-Based Models of Thread Level Speculation Cosmin Oancea (University of Cambridge). GS15, Computer Laboratory. Friday 01 June 2007, 15:15-16:15 I solemnly swear that I am up to... automatic parallelisation Anton Lokhmotov (University of Cambridge). GS15, Computer Laboratory. Friday 18 May 2007, 15:45-16:45 Computational specification for temporal abstraction in music Alejandro Vinao. GS15, Computer Laboratory. Friday 18 May 2007, 15:15-15:45 Please see above for contact details for this list. Other lists Newnham College MCR Speaker Series Cambridge University First Aid Society Jesus College Graduate Society Graduates' and Fellows' Symposia Other talks Knot Floer homology and algebraic methods CANCELLED in solidarity with strike action: Permanent Sovereignty over Natural Resources and the Unsettling of Mainstream Narratives of International Legal History A physical model for wheezing in lungs Virtual bargaining as a micro-foundation for communication Making Refuge: Issam Kourbaj How could education systems research prompt a change to how DFIS works on education Coin Betting for Backprop without Learning Rates and More Throwing light on organocatalysis: new opportunities in enantioselective synthesis The Anne McLaren Lecture: CRISPR-Cas Gene Editing: Biology, Technology and Ethics DataFlow SuperComputing for BigData Constructing the virtual fundamental cycle © 2006-2022 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity
