FW26, Computer Laboratory 2007-04-04 14:15: Measuring one-way loss with GRE encapsulated multicast probing ( Nick Duffield, AT&T Labs-Research, NJ) 2008-06-27 14:00: How to make a cool supercomputer (Professor Tadao Nakamura FIEEE, Keio University, Japan) 2008-09-05 14:30: Perception Model for people with Visual Impairments (Pradipta Biswas, University of Cambridge Computer Laboratory) 2009-03-30 15:00: Enhancing Verilog (Cherif Salama (Rice University)) 2009-04-24 15:15: Beginning of term introductory meeting (Speaker to be confirmed) 2009-12-15 14:15: Optimizing sparse vector-matrix multiplication on GPUs (Alexander Monakov, ISP-RAS and Moscow State University) 2010-03-30 14:15: Adventures in XML updates (James Cheney (University of Edinburgh)) 2010-05-25 16:00: From RPC to Web Apps: Trends in Client-Server Systems (George Coulouris (Computer Laboratory, University of Cambridge)) 2010-09-07 14:00: Offloading Java to Graphics Processors (Pete Calvert, Computer Laboratory) 2010-10-15 12:00: Open Problems for Literary Text Generation in the WASP System (Pablo Gervas - Universidad Complutense de Madrid) 2010-10-22 12:00: Patent Search: a challenging problem for IR and NL (John Tait - The Information Retrieval Facility, Vienna) 2010-11-12 12:00: Event Extraction from Biomedical Texts by Trimming Dependency Graphs (Ekaterina Buyko - JULIE Lab, Friedrich-Schiller-Universität Jena) 2010-11-26 12:00: Towards a Stochastic Model of Linguistic Competence (Shalom Lappin - King's College, London) 2011-02-18 12:00: Automatic speech act identification in business emails (Rachele de Felice - University of Nottingham) 2011-02-25 12:00: Categorical Compositionality for Distributional Semantics, Without Tears (Edward Grefenstette, University of Oxford) 2011-03-04 12:00: Surprisingly Efficient Parsing for a Wide-Coverage Lexicalised-Grammar Parser (Stephen Clark and Yue Zhang - University of Cambridge) 2011-03-11 12:00: Relational-Realizational Syntax: An Architecture for Describing and Parsing Rich Morphosyntactic Descriptions (Reut Tsarfaty - Uppsala University) 2011-05-06 12:00: Accurate CCG Parsing with Approximate Language Intersection and Task-specific Optimization (Michael Auli) 2011-05-13 12:00: To what extent does the acquisition of conceptual categories depend on language? (Napoleon Katsos, University of Cambridge) 2011-05-20 12:00: Minimum Bayes-Risk Lattice Rescoring Methods for Statistical Machine Translation (Graeme Blackwood, University of Cambridge) 2011-06-03 12:00: Language in 3D: semantic tensor space (Tim Van de Croys - University of Cambridge) 2011-06-05 12:30: Unsupervised Entailment Detection between Dependency Graph Fragments (Marek Rei, University of Cambridge) 2011-06-10 12:00: A New Dataset and Method for Automatically Grading ESOL Texts (Helen Yannakoudakis, University of Cambridge) 2011-06-24 16:00: Using Processor Hardware Counters in Picking the Optimal Work-Stealing Policy (Milos Puzovic, University of Cambridge) 2011-07-13 15:00: An Energy-Efficient Patchable Accelerator For Post-Silicon Engineering Changes (Masahiro Fujita, University of Tokyo) 2011-07-22 12:00: Graph-Based Methods for Large-Scale Multilingual Knowledge Integration (Gerard de Melo, Max Planck Institute for Informatics) 2011-10-06 12:00: Learning hard chart constraints for efficient context-free parsing (Brian Roark - Oregon Health and Science University) 2011-10-14 12:00: Search-based Structured Prediction applied to Biomedical Event Extraction (Andreas Vlachos, University of Cambridge) 2011-10-28 12:00: Unsupervised Word Alignment and Part of Speech Induction with Undirected Models (Chris Dyer, Carnegie Mellon University) 2011-11-25 12:00: What is meaning? - Formalising the Distributional Hypothesis (Daoud Clarke, University of Hertfordshire) 2011-12-02 12:00: Probabilistic models of similarity and plausibility in context (Diarmuid Ó Séaghdha, University of Cambridge) 2012-01-27 12:00: Bayesian Smoothing for Language Models (Yee Whye Teh, University College London) 2012-02-24 12:00: Automatically Creating Reading Lists with Topical PageRank (James Jardine, University of Cambridge) 2012-03-09 15:15: Architecture-neutral Parallelism (Peter Calvert (University of Cambridge)) 2012-03-16 14:00: Entity-based Models for Discourse Structure (Micha Elsner, University of Edinburgh) 2012-03-23 11:00: Helping computers talk from experience (Blaise Thomson, University of Cambridge) 2012-05-04 12:00: Beyond Shallow Semantics (Martha Palmer, University of Colorado) 2012-05-18 12:00: Repair and adherence in patient-clinician dialogues (Matthew Purver -- Queen Mary, University of London) 2012-05-25 12:00: Context-Enhanced Citation Sentiment Detection (Awais Athar, University of Cambridge) 2012-05-25 12:30: Modeling coherence in ESOL learner texts (Helen Yannakoudakis, University of Cambridge) 2012-06-01 12:00: Modelling selectional preferences in a lexical hierarchy (Diarmuid Ó Séaghdha, University of Cambridge) 2012-06-01 12:30: Semi-supervised learning for automatic conceptual property extraction (Colin Kelly, University of Cambridge) 2012-06-15 12:00: Following Wisdom in Machine Learning (Novi Quadrianto, University of Cambridge) 2012-06-22 12:00: Learning Syntactic Verb Frames Using Graphical Models (Tom Lippincott, University of Cambridge) 2012-06-22 12:30: Fuse Project and Citation Analysis (Dain Kaplan - University of Cambridge) 2012-10-12 12:00: A New Twist on Methodologies for ESL Grammatical Error Detection (Joel Tetreault, Educational Testing Service) 2012-10-19 12:00: Handling obsolete information in classification: is there a one-size-fits-all strategy? (Christoforos Anagnostopoulos, Imperial College London) 2012-10-26 12:00: A fast and simple algorithm for training neural probabilistic language models (Andriy Mnih, University College London) 2012-11-09 12:00: Compositionality modelling and non-compositionality detection with distributional semantics (Diana McCarthy, University of Cambridge) 2012-11-16 12:00: Predict, Price and Cut: Column and Row Generation for Structured Prediction ( Sebastian Riedel, University College London) 2012-11-30 12:00: Machine translation from the user's perspective: what is it good for? (Lucia Specia, University of Sheffield) 2013-01-10 12:00: What you get is not only what you see! A distributional analysis of semantic features from congenital blind subjects (Alessandro Lenci - University of Pisa) 2013-01-10 12:00: What you get is not only what you see! A distributional analysis of semantic features from congenital blind subjects (Alessandro Lenci, University of Pisa) 2013-02-15 12:00: Linguistic Indicators for Estimating the Quality of Machine Translations (Mariano Felice, University of Cambridge) 2013-03-15 12:00: Unsupervised Domain Tuning to Improve Word Sense Disambiguation (Judita Preiss, University of Sheffield) 2013-03-22 12:00: How to Give a Technical Presentation in Computer Science (Stephen Clark, University of Cambridge) 2013-05-10 12:00: Zipf's law and the grammar of languages: A (potential) cross-linguistic measure of syntheticity (Christian Bentz, University of Cambridge) 2013-05-17 12:00: Improved Information Structure Analysis of Scientific Documents Through Discourse and Lexical Constraints (Yufan Guo, University of Cambridge) 2013-05-24 12:00: Individual variation and the roles of L1 and proficiency in the L2 development of English grammatical morphemes (Akira Murakami, University of Cambridge) 2013-07-31 14:00: Recursive Deep Learning for Modeling Semantic Compositionality (Richard Socher - Stanford University) 2013-08-02 12:00: Where did it all go wrong? New Tools for Automatic Error Analysis in NLP (Jonathan Kummerfeld) 2013-08-16 12:00: Chinese CCGbank: Deep derivations and dependencies for Chinese CCG parsing (Daniel Tse, The University of Sydney) 2013-11-01 12:00: BrainNet: Using Brain (and Corpus) Data to Investigate Conceptual Knowledge (Massimo Poesio, University of Essex) 2013-11-08 12:00: Data Management, Integration and Retrieval in Life Sciences Using Semantic Web Technology (Sarinder Kaur Kashmir-Singh, University of Malaya) 2013-11-15 12:00: Learning to Generate Natural Source Code (Daniel Tarlow, Microsoft Research Cambridge) 2013-11-29 12:00: A Standard Document Score for Information Retrieval (Ronan Cummins, University of Greenwich) 2013-12-06 12:00: Parsing Jazz: Harmonic Analysis of Music Using Combinatory Categorial Grammar (Mark Granroth-Wilding, Computer Laboratory) 2014-01-17 12:00: GPstruct: Bayesian non-parametric structured prediction model (Novi Quadrianto, Machine Learning, University of Cambridge) 2014-01-24 12:00: Spectral Learning and Decoding for Natural Language Parsing (Shay Cohen, University of Edinburgh) 2014-01-31 12:00: Categorical compositional distributional semantics: state-of-the-art! (Mehrnoosh Sadrzadeh, Queen Mary University of London) 2014-02-21 12:00: A Quest Towards Understanding the Challenges of Spoken Content Retrieval (Gareth Jones, Dublin City University) 2014-02-28 12:00: Constructing topical hierarchies for Expertise Mining (Georgeta Bordea, DERI, NUI Galway) 2014-03-07 12:00: The semantics of poetry: a distributional reading (Aurelie Herbelot) 2014-03-14 12:00: Exploiting Query Logs to Build Adaptive Domain Models for Search and Navigation (Udo Kruschwitz) 2014-03-21 13:00: Exploiting Large Corpora for Parsing (Dominick Ng, University of Sydney) 2014-04-04 12:00: Using Semantics to help learn Phonetic Categories (Stella Frank, School of Informatics, University of Edinburgh) 2014-04-11 12:00: Adjective modification in compositional distributional semantics (Eva Maria Vecchi, Computer Lab, Cambridge) 2014-05-02 12:00: Natural Language Parsing -- for what purpose? (Milos Jakubicek) 2014-05-09 12:00: Identifying Deixis to Communicative Artifacts in Text (Shomir Wilson, University of Edinburgh and Carnegie Mellon University) 2014-05-23 12:00: Advanced Graph-based and Transition-based Dependency Parsing Approaches and Recent Trends towards Joint Syntactic and Morphologic Disambiguation (Bernd Bohnet, University of Birmingham) 2014-05-30 12:00: Robust multilingual syntactic parsing (Ryan McDonald, Google) 2014-06-05 12:00: Grammatical error correction using hybrid systems and type filtering (Mariano Felice, Computer Laboratory, Cambridge) 2014-06-05 12:30: Looking for hyponyms in vector space (Marek Rei, SwiftKey ) 2014-06-05 13:00: Shift-Reduce CCG Parsing with a Dependency Model (Wenduan Xu, University of Cambridge) 2014-06-06 12:00: Multilingual Models for Distributed Semantics (Karl Moritz Hermann, Oxford University) 2014-06-13 14:00: Helping 10% of the people to read and write better (Luz Rello, University Pompeu Fabra) 2014-07-18 12:00: Context-dependent Semantic Parsing for Time Expressions (Jesse Dodge, CMU) 2014-08-01 12:00: Distributional semantics and beyond: Composition, generation and alignment (Georgiana Dinu, University of Trento) 2014-08-15 12:00: Unsupervised learning of rhetorical structure with un-topic models (Diarmuid Ó Séaghdha, University of Cambridge) 2014-08-15 12:30: Detecting Learner Errors in the Choice of Content Words Using Compositional Distributional Semantics (Ekaterina Kochmar, University of Cambridge) 2014-09-12 12:00: Language and Demographics on Twitter: Inferring Latent User Attributes from Streaming Communications (Svitlana Volkova, Johns Hopkins University) 2014-10-10 12:00: Internal Seminar 1 (NLIP Speakers) 2014-10-15 13:15: Mobile Application Development at Bloomberg (Denis Kim, Bloomberg) 2014-10-16 13:15: Spanner: Google’s Planet-Spanning Database (Siamak Tazari, Google) 2014-10-17 12:00: Creative Coding in Education (Sam Aaron (University of Cambridge)) 2014-10-22 13:15: Haxl: Efficient Data-fetching for Free (Simon Marlow, Facebook) 2014-10-23 12:00: First Step toward Neural Machine Translation (Kyunghyun Cho, University of Montreal) 2014-10-29 13:15: Real world lessons from building a search engine for ecommerce (Dhruv Kumar and Shaun Hall, The Hut Group) 2014-10-31 12:00: Internal Seminar 2 (Speaker to be confirmed) 2014-11-04 13:15: Functional Languages and Financial Models: an Insight into Graph Programming (Chris Andrews, Morgan Stanley) 2014-11-05 13:15: Building the news search engine (Ram Aiyengar, Bloomberg) 2014-11-07 12:00: The Theory and Practice of Compositional Distributed Semantics (Stephen Clark) 2014-11-12 13:00: High Performance Computing: Use of large CPU grids, GPUs and supercomputers for financial computation. (Michael Elliott and Andrey Zhezherun, JPMorgan ) 2014-11-14 12:00: Exploratory Search and Trend Detection (Gerhard Heyer, Universität Leipzig) 2014-11-21 12:00: A Polya Urn Document Language Model for Information Retrieval (Ronan Cummins, University of Cambridge) 2014-11-26 13:00: Lambda, the ultimate config format (David House, JaneStreet) 2014-11-28 12:00: Composed, Distributed Reflections on Semantics and Statistical Machine Translation (Tim Baldwin, The University of Melbourne) 2014-12-05 12:00: Mining the Social Web: A series of statistical NLP case studies (Vasileios Lampos) 2014-12-08 14:00: An embodied model of clause syntax (Alistair Knott, Dept of Computer Science, University of Otago, New Zealand) 2015-01-16 12:00: A New Corpus and Imitation Learning Framework for Context-Dependent Semantic Parsing (Andreas Vlachos, UCL) 2015-01-21 11:30: Relating Native Language Typology to Foreign Language Usage (Yevgeni Berzak) 2015-01-21 13:10: Modelling Every Body - How computer vision, machine learning, 3D modelling and graphics help people shop with confidence online. (Dr Yu Chen, Metail) 2015-01-23 12:00: Frontiers in Named Entity Recognition and Linking ( Leon Derczynski and Kalina Bontcheva, University of Sheffield) 2015-01-30 12:00: Towards quantum algorithms for natural language processing (Will Zeng, University of Oxford) 2015-02-05 13:15: Data With Everything (Dr Tim Whitley, BT Distinguished Engineer, MD, Research & Innovation) 2015-02-06 12:00: A Probabilistic Framework for Modeling Cross-Lingual Semantic Similarity (out of and in Context) Based on Latent Cross-Lingual Concepts (Ivan Vulic, KU Leuven) 2015-02-13 12:00: Interpreting Document Collections Using Topic Models (Nikos Aletras, UCL) 2015-02-18 13:15: Knowledge Research (Keteven Tsereteli, Bloomberg) 2015-02-20 12:00: Argument Mining from Text for Teaching and Assessing Writing (Diane Litman, University of Pittsburgh) 2015-03-06 12:00: Are you losing Structures in Distributional Vectors? Smoothed Distributed Tree Kernels and the Convolution Conjecture (Fabio Massimo Zanzotto, University of Rome "Tor Vergata") 2015-03-13 12:00: Learning Latent Syntactic Representations with Joint Models (Jason Naradowsky, UCL) 2015-04-09 12:00: Leveraging a Semantically Annotated Corpus to Disambiguate Prepositional Phrase Attachment (Guy Emerson, University of Cambridge) 2015-04-09 12:40: Hierarchical Statistical Semantic Realization for Minimal Recursion Semantics (Matic Horvat, University of Cambridge) 2015-04-17 12:00: The Geometry of Machine Translation (Rory Waite, University of Cambridge) 2015-04-24 12:00: Statistical modelling of metaphor (Ekatarina Shutova, University of Cambridge) 2015-05-01 12:00: Modelling implicit language learning with distributional semantics (Dimitris Alikaniotis, DTAL, University of Cambridge) 2015-05-01 12:30: Disfluency detection in spoken learner English (Andrew Caines, DTAL, University of Cambridge) 2015-05-08 12:00: Injecting Logical Background Knowledge into Embeddings for Relation Extraction (Tim Rocktäschel, UCL) 2015-05-15 12:00: Model Theory and the Semantics of Natural Languages (Stanley Peters, Stanford University) 2015-05-22 12:00: Open System Categorical Quantum Semantics in Natural Language Processing (Dimitri Kartsaklis, Queen Mary University of London) 2015-05-29 12:00: Deep consequences: Why syntax (as we know it) isn't a thing, and other (shocking?) conclusions from modelling language with neural nets. (Felix Hill, Computer Laboratory) 2015-06-05 12:00: Natural Language Generation from Semantic Web Ontologies (Gerasimos Lampouras, UCL) 2015-06-12 12:00: Crowdsourcing the annotation of rumours in social media (Maria Liakata, University of Warwick) 2015-06-19 12:00: Improving & Better Understanding Word Vector Representations (Manaal Faruqui, Carnegie Mellon University) 2015-08-07 12:00: Cross-lingual transfer of a semantic parser via parallel data (Kilian Evang, University of Gronigen) 2015-09-11 12:00: Learning Structural Kernels for Natural Language Processing (Daniel Beck, University of Sheffield) 2015-09-11 12:30: Semantically Conditioned LSTM-based Natural Language Generation for Spoken Dialogue Systems (Shawn T-H. Wen, University of Cambridge) 2015-09-25 12:00: Joint A* Syntactic and Semantic Parsing for CCG (Mike Lewis, University of Washington) 2015-10-07 16:00: Game of Tropes: Exploring the Placebo Effect in Computational Creativity (Tony Veale, University College Dublin) 2015-10-13 13:15: How the studio environment and processes foster innovation (Huw Bowles and Hale Harding, Research Scientists & programmers at Studio Gobo) 2015-10-23 12:00: Internal Seminar (NLIP Postdocs and PhDs) 2015-10-26 13:00: nShield HSMs (Richard Kettlewell, Thales) 2015-10-26 13:30: Adding Security Activities to Agile (Clara Juanes-Vallejo and Pali Surdhar, Thales) 2015-10-30 12:00: Internal Seminar (Speaker to be confirmed) 2015-11-04 13:00: Big Data & Microsoft Office: How Office uses Big Data to understand Usage, Errors and Reliability (Shemyla Anwar, Microsoft) 2015-11-06 12:00: How much linguistics is needed for NLP? (Edward Grefenstette) 2015-11-09 13:00: Stealing App Credentials for Fun & Profit (Robert Duncan, Netcraft) 2015-11-11 13:00: Code DNA (Dimitrios Staikos, Bloomberg) 2015-11-13 12:00: Motivation and learning in citizen science: The role of automatically generated feedback. (Advaith Siddharthan, University of Aberdeen) 2015-11-23 13:00: What do you do with 10 million unlabelled images? (Alexandre Dalyac, Tractable) 2015-11-25 13:00: "Coding your way out of a paper bag" (Frances Buontempo, Bloomberg) 2015-11-27 12:00: Lacking Integrity: HPSG as a Morphosyntactic Theory (Guy Edward Toh Emerson (University of Cambridge)) 2015-11-30 13:00: Cybersecurity framework: a deep dive (Harry Biddle – Quality Engineer at Palantir, Mathematician turned Software Engineer) 2015-12-02 13:00: Making sense of 20 billion data points a day (Vince Darley – Chief Scientist, King) 2015-12-04 12:00: Efficient Constrained Inference and Structured Neural Networks for Semantic Role Labeling (Oscar Täckström, Google) 2016-01-20 13:05: Shaping Energy with Technology (Oliver Burstall CTO, Origami Energy) 2016-01-25 13:05: Why do I need to keep recharging my smart phone? (Simon George-Kelso, MediaTek) 2016-01-29 12:00: Sentence Entailment in Categorical Compositional Distributional Semantics (Esma Balkır) 2016-02-01 13:05: Simulating Worlds: Technical Challenges of Improbable SpatialOS (Rob Whitehead, Improbable) 2016-02-05 12:00: Multilingual Image Description with Neural Sequence Models (Eva Hasler, University of Cambridge) 2016-02-12 12:00: Modern Deep Learning through Bayesian Eyes (Yarin Gal, University of Cambridge) 2016-02-15 13:05: Real Processors for Real-time (Antony John Penton, Senior Principal Engineer, CPU Group, ARM Holdings, Cambridge, UK) 2016-02-17 13:05: Kotlin: What it takes to make a programming language (Andrey Breslav, Lead Language Designer and Project Manager, JetBrains) 2016-02-19 12:00: What Happens Next? Event Prediction Using a Compositional Neural Network Model (Mark Granroth-Wilding, Computer Laboratory) 2016-02-23 13:05: The Real Villains in Online Games (Philip Bielby, Jagex) 2016-02-23 13:35: Why Big Data & Games go hand in hand (Chris Smith, Jagex) 2016-02-26 12:00: Understanding generative learning in the individual brain (Zoe Kourtzi (University of Cambridge)) 2016-03-04 11:00: General-Purpose Representation Learning from Words to Sentences (Felix Hill (University of Cambridge)) 2016-03-08 13:15: Personal Program Analysis (Dr Julian Tibble, VP Applications Engineering at Semmle Ltd) 2016-03-11 12:00: Tracing concepts through time (Gabriel Recchia (University of Cambridge)) 2016-03-18 14:00: Texts Come from People - How Demographic Factors Influence NLP Models (Dirk Hovy, University of Copenhagen) 2016-04-08 12:00: Where Can I Buy a Boulder? Searching for Offline Retail Locations (Sandro Bauer (University of Cambridge)) 2016-04-15 12:00: From passive to interactive (multimodal) language learning (Angeliki Lazaridou, University of Trento) 2016-04-25 13:05: Bitcoin – Design Demystified (Alexey Akhunov, JPMorgan) 2016-04-27 13:05: Data-driven Retail (Dhruv Kumar,The Hut Group) 2016-04-29 12:00: Maternal Health in Uganda: Listen Intelligently to Local Voices combining Language and Technology (Claudia Abreu Lopes, Africa's Voices) 2016-05-03 13:15: Teaching The World To Code: How A Cambridge Grad Earned £1m Teaching Online (Rob Percival, Codestars) 2016-05-18 16:00: Generating Natural-Language Video Descriptions using LSTM Recurrent Neural Networks (Raymond Mooney, University of Texas) 2016-05-20 12:00: Conversation Trees: A Grammar Model for Topic Structure in Online Forums (Annie Louis, University of Essex) 2016-05-27 12:00: Incremental CCG parsing and its applications (Bharat Ram Ambati, University of Edinburgh/Apple) 2016-06-10 12:00: Strong Structural Priors for Neural Network Architectures (Tim Rocktäschel ( UCL)) 2016-07-01 12:00: Text Readability Assessment for Second Language Learners (Menglin Xia (University of Cambridge)) 2016-10-10 13:05: Security Through Maturity (Scott Alexander, JPMorgan mobile team) 2016-10-12 13:05: An introduction to games programming (Alastair Toft and Hale Harding, Studio Gobo) 2016-10-14 12:00: Internal Seminar pt. 1 (NLIP Postdocs and PhDs) 2016-10-17 13:05: 5G - The Revolution (Cyril Valadon , MediaTek) 2016-10-19 13:05: Netcraft wokshop (Robert Duncan, Netcraft) 2016-10-21 12:00: Numerically Grounded Language Models (George Spithourakis (UCL)) 2016-10-24 13:05: Scala: How to sneak Haskell design patterns into industry code (Will Sonnex, GSA Capital) 2016-10-31 13:05: Trading Programs - How the Finance industry has become so complex that today's products are similar to programs (Joel Bjornson, Bloomberg) 2016-11-01 13:15: State machine replication and the modern exchange (Sebastian Funk, JaneStreet) 2016-11-02 13:05: G-Research Coding Challenge 2016 (Speaker to be confirmed) 2016-11-08 13:15: Amazon Alexa: building AI at scale (David Hardcastle, Senior Manager, Software Development, Amazon) 2016-11-09 13:05: Building a Secure Bank (Daniel Chatfield, Security Engineer, Monzo) 2016-11-11 12:00: Recommending relevant citations using CoreSC and Argumentative Zoning (Daniel Duma, University of Edinburgh) 2016-11-14 13:05: Palantir and PCL (Privacy & Civil Liberties) (William Morland, Civil Liberties Engineer) 2016-11-18 12:00: Learning to Detect Stance and Represent Emojis (Isabelle Augenstein, University College London) 2016-11-21 13:05: Super Sized Mobile Apps - Getting the Foundations Right (Mark Olleson, Bloomberg) 2016-11-25 12:00: On-line Active Reward Learning for Policy Optimisation in Spoken Dialogue Systems (Pei-Hao Su (University of Cambridge)) 2016-12-02 12:00: Internal Seminar pt. 2 (PhD students, NLIP group) 2017-01-20 12:00: Learning Commonsense Event Schemas from Unlabeled Text (Nate Chambers, US Naval Academy) 2017-01-23 13:05: Making your Applications Smarter Through Machine Learning APIs (Lilian Kasem, Microsoft UK) 2017-02-07 13:15: Machine Learning demystified: ask the right questions (Bianca Furtuna, Micosoft) 2017-02-10 12:00: Imitation learning for language generation from unaligned data (Gerasimos Lampouras, University of Sheffield) 2017-02-20 13:05: SpatialOS: a distributed operating system for building large simulated worlds. (Matt Lewis, Improbable) 2017-02-24 12:00: EACL potpourri (NLIP PhDs and postdocs) 2017-02-27 13:05: Fast Models : How dynamic translation fits into ARM's story (: LLoyd Reed - Staff Software Engineer & Team Lead, ARM) 2017-03-03 12:00: Learning Hierarchical Word and Sentence Representations (Dani Yogatama, DeepMind) 2017-03-10 12:00: Neural Variational Inference for NLP (Yishu Miao, University of Oxford) 2017-05-02 13:15: How can you trust formally verified software? (Alastair Reid, ARM) 2017-05-12 12:00: Neural Belief Tracker: Data-Driven Dialogue State Tracking using Semantically Specialised Vector Spaces (Nikola Mrskic, University of Cambridge) 2017-05-19 12:00: Neural Architectures for Sequence Labelling (Marek Rei, University of Cambridge) 2017-05-26 12:00: Text Simplification: Where are we now, and where are we headed? (Gustavo Henrique Paetzold, University of Sheffield) 2017-06-02 12:00: Sentence-level Topic Models (Kris Cao (University of Cambridge)) 2017-06-07 12:00: NLP, the perfect social (media) science? (Dirk Hovy, University of Copenhagen) 2017-06-09 12:00: Functional Distributional Semantics (Guy Edward Toh Emerson (University of Cambridge)) 2017-09-22 12:00: Finite-State Transducers as a Theory of Dependency Structured Natural Language (Anssi Yli-Jyrä, University of Helsinki) 2017-10-06 12:00: Text-to-text Generation Beyond Machine Translation (Shashi Narayan, University of Edinburgh) 2017-10-09 13:05: How Machine Learning and Auction Theory Power Facebook Advertising (Ovidiu Popa, Facebook) 2017-10-13 12:00: Neural Models for Information Retrieval (Bhaskar Mitra, Microsoft Research Cambridge) 2017-10-18 13:05: Quicker Sorting (Dietmar Kuhl, Bloomberg) 2017-10-20 12:00: Towards More Robust and Interpretable Models for Structured Prediction and Language Generation (Adhiguna Kuncoro, DeepMind) 2017-10-25 13:05: Real-time Ocean Simulation and Rendering for Console Game (Alastair Toft and James Callin, Studio Gobo) 2017-10-27 12:00: Grounded language learning in simulated worlds (Felix Hill, DeepMind) 2017-10-30 13:05: SpatialOS: a distributed operating system for building large simulated worlds (Matt Lewis, Improbable) 2017-11-06 13:05: The King reigns and the data governs (Nima Hamedani-Raja, King) 2017-11-10 12:00: Labelling Topics Using Neural Networks (Nikolaos Aletras, Amazon Research Cambridge) 2017-11-13 13:05: Safe at any speed (Sebastian Funk, Jane Street) 2017-11-15 13:05: Non-stop real-time data delivery at Yelp (Federico Giraud, Yelp) 2017-11-24 12:00: Imitation learning for structured prediction and automated fact checking (Dr Andreas Vlachos, University of Sheffield) 2017-11-27 13:05: JSI - JVM SecDb Integration (Jonathan Perry, Managing Director in Engineering, Goldman Sachs) 2018-01-22 13:05: Writing Low Latency Code (Maciej Gajewski, Optiver) 2018-02-09 12:00: Pruning and grafting syntactic trees for cross-lingual transfer tasks (Edoardo Ponti, TAL, University of Cambridge) 2018-02-16 12:00: Deep reinforcement learning for dialogue policy optimisation (Dr Milica Gasic, Dept. Engineering, University of Cambridge) 2018-02-23 12:00: Constructing datasets for multi-hop reading comprehension across documents (Johannes Welbl, University College London) 2018-03-02 12:00: Jointly Learning Syntax and Semantics (Jean Maillard, NLIP, University of Cambridge) 2018-03-09 16:30: Virtual bargaining as a micro-foundation for communication (Professor Nick Chater, University of Warwick) 2018-03-23 12:00: ** cancelled ** (Julian Perez, Naver Labs Europe) 2018-04-27 12:00: Multilingual NLP via Cross-Lingual Word Embeddings (Ivan Vulic, LTL, University of Cambridge) 2018-05-04 12:00: Predictive Uncertainty in Deep Learning (Andrey Malinin, CUED, University of Cambridge) 2018-05-11 12:00: Emergent Communication through Negotiation (Kris Cao, NLIP, University of Cambridge) 2018-05-18 12:00: The potential of synthetic data for more informative evaluation in Visual Question Answering (Alexander Kuhnle, NLIP, University of Cambridge) 2018-05-25 12:00: NAACL practice talks (Simon Baker (LTL) & Marek Rei (NLIP), University of Cambridge) 2018-06-01 12:00: Learning hierarchical structure: strong learning of PCFGs (Alexander Clark, King's College London) 2018-06-08 12:00: Functional Distributional Semantics: Learning Linguistically Informed Representations from a Precisely Annotated Corpus (Guy Emerson, NLIP, University of Cambridge) 2018-10-03 13:05: Dev-Ops. what does it really mean? (Cliff McCollum (Software Development Manager), Amazon) 2018-10-05 12:00: Imitation learning, zero-shot learning and automated fact checking (Andreas Vlachos, NLIP, University of Cambridge) 2018-10-08 13:05: Hashing (Dietmar Kuhl, Bloomberg) 2018-10-09 13:15: Facebook – Crush Your Coding Workshop (Facebook) 2018-10-10 13:05: Artificial Intelligence in Healthcare (Ed Salkeld, TPP) 2018-10-12 12:00: Some lessons learned in Multimodal Representations and Transfer (Pranava Madhyastha, Imperial College London) 2018-10-15 13:05: All Things Data (Joris Peeters, GSA Capital) 2018-10-16 15:00: JP Morgan Technology Showcase (JP Morgan technologists) 2018-10-17 13:05: 5G & ARTIFICIAL INTELLIGENCE - THE PERFECT MATCH ? (Dr Cyril Valadon, MediaTek) 2018-10-19 12:00: Learning, Representing, and Understanding Language (Aida Nematzadeh, DeepMind) 2018-10-22 13:05: Systemic Design (or Building Toys) in Games (George Prosser and James Callin, Studio Gobo) 2018-10-23 13:15: How to Build an Exchange (Gabor Szarka, JaneStreet) 2018-10-26 12:00: Deep learning for automatically assessing the pronunciation of non-native English speakers (Kostas Kyriakopoulos, CUED, University of Cambridge) 2018-10-30 13:15: Creating a Real Time data & ML pipeline for Smart Cities, Mobility & Infrastructure (Pankaj Daga, Alchera Technologies) 2018-10-31 13:05: Transforming Retail with Machine Learning (Martin Gee, Principal Head of Software Engineering, Argos) 2018-11-05 13:05: Declarative Software Design in Python (Elmer Landaverde, Bloomberg Team Leader of Engineering Core Workflows ) 2018-11-07 13:05: The King ecosystem beyond games; a deep dive into solutions that scale (Richard Palmer, Principal Engineer, King) 2018-11-09 12:00: Knowledge Representation and Extraction at Scale (Christos Christodoulopoulos, Amazon) 2018-11-14 13:05: Embracing the Volatility of AWS Spot Fleet (Matthew Mead-Briggs, Yelp) 2018-11-19 13:05: How search uses Machine Learning (Fabrizio Silvestri, Facebook) 2018-11-26 13:30: What can the Rust Programming Language do for Embedded Systems development? (Jonathan Pallant, Cambridge Consultants) 2019-01-18 12:00: What makes psychotherapy work? Using deep learning to quantify the relationship between therapy content and outcomes (Ronan Cummins & Michael Ewbank, Ieso Digital Health) 2019-01-21 13:15: Designing Electronics for low-latency Trading Systems (Robin Bruce, current Head of the Infrastructure & Data team and former FPGA Systems Tech Lead, Optiver ) 2019-01-25 12:00: **CANCELLED** Probabilistic Typology: Deep Generative Models of Vowel Inventories (Ryan Cotterell, NLIP, University of Cambridge) 2019-01-28 13:15: IMC Tech Talk (Pierre Bashshour, Lex van der Stoep & Henry Mattinson, IMC) 2019-02-01 12:00: Topic-Aware Convolutional Neural Networks for Extreme Summarization (Shashi Narayan, University of Edinburgh / Google) 2019-02-04 13:15: Digital Technology & Personalised Medicine (Louis Swain and Oliver Abbey, TPP) 2019-02-06 13:15: Security Engineering @ nCipher (Pali Surdhar, nCipher) 2019-02-08 12:00: Learning to navigate without a map (but with instructions) (Piotr Mirowski, DeepMind) 2019-02-15 12:00: Understanding Source Code using Natural Language and Graph Neural Networks (Miltos Allamanis, Microsoft Research) 2019-02-22 12:00: Large-scale analyses of language variation and change in social media (Dong Nguyen, University of Edinburgh & Alan Turing Institute) 2019-03-01 12:00: Learning multi-domain dialogues (Paweł Budzianowski, CUED, University of Cambridge) 2019-03-08 12:00: K.A.T.E.: Scaling personalised tech education for professionals (Raoul-Gabriel Urma, Kevin Lemagnen, Sahan Bulathwela, Cambridge Spark) 2019-04-26 12:00: Word Sense Disambiguation and Other Systems in Japanese (Kanako Komiya, Ibaraki University, Japan) 2019-04-29 13:15: Disruptive Innovation at Ocado (Dr David Sharp, Head of Ocado Technology 10x) 2019-05-03 12:00: Languages* in Formal Reasoning: Accessibility vs. Formality (Zohreh Shams, AI Group, University of Cambridge) 2019-05-10 12:00: Factorising AMR generation through syntax (Kris Cao, DeepMind) 2019-05-17 12:00: AI Extenders: The Ethical and Societal Implications of Humans Cognitively Extended by AI (Karina Vold & José Hernández-Orallo, Leverhulme Centre for the Future of Intelligence, University of Cambridge) 2019-05-24 12:00: Mitigating Gender Bias in Morphologically Rich Languages (Ryan Cotterell, NLIP, University of Cambridge) 2019-05-31 12:00: Towards secure and efficient DNNs (Aaron Zhao, University of Cambridge) 2019-06-07 12:00: Continuous feature structures: Can we learn structured representations with neural networks? (Guy Emerson, NLIP, University of Cambridge) 2019-06-14 12:00: An Operation Sequence Model for Explainable Neural Machine Translation (Felix Stahlberg, CUED, University of Cambridge) 2019-06-19 15:00: Duolingo: Improving Language Learning and Assessment with A.I. (Burr Settles, Duolingo) 2019-07-05 12:00: Natural Language Generation in the Wild (Daniel Beck, University of Melbourne) 2019-09-18 12:00: ‘Profit factory’ and ‘bathroom break’: How to analyse compounds and how to predict their emergence (Lonneke van der Plas (University of Malta)) 2019-10-14 13:05: Dealing with the 3 V's: Bigger, Faster, Weirder (Dr Joris Peeters, GSA Capital) 2019-10-15 13:15: Accelerating Machine Learning on Arm (: Isabella Gottardi, Software Engineer, ARM) 2019-10-16 13:05: Interactive workshop with Goldman Sachs (Speaker to be confirmed) 2019-10-18 12:00: Multimodal natural language processing: when text is not enough (Lucia Specia (Imperial College London)) 2019-10-21 13:00: JPMorgan Technology Showcase (JP Morgan) 2019-10-22 13:15: Read Less, Learn More: Extracting Key News Themes (Joshua Bambrick, Bloomberg) 2019-10-25 12:00: Automatic Analysis of Affect and Personality Analysis in Multiperson Settings (Hatice Gunes (University of Cambridge)) 2019-10-28 13:00: Palantir - Privacy and Civil Liberties (PCL) & Machine Learning ( John Grant, Lead of Palantir’s Privacy and Civil Liberties Team) 2019-10-30 13:00: My Secure Bank - Morgan Stanley (Morgan Stanley) 2019-10-31 13:00: Google: The Life of a Software Engineer (Google) 2019-11-01 12:00: A Mutual Information Maximization Perspective of Language Representation Learning (Lingpeng Kong (DeepMind)) 2019-11-06 13:00: Building For Scale: How and Why Stripe Built Sorbet, a Type Checker for Ruby (Aaron Broder) 2019-11-11 13:00: Netcraft: Credit card skimming for fun and profit (Graham Edgecombe) 2019-11-13 13:00: Yelp: Datastore Architecture - Orchestrating Cassandra with Kubernetes: Challenges and Opportunities (Raghavendra D Prabhu) 2019-11-19 10:00: CANCELLED Probabilistic models of graphs for meaning representations (Adam Lopez (University of Edinburgh)) 2019-11-20 13:00: Roku: Engineering Smart TVs for fun and profit (Tim Granger) 2019-11-25 13:00: Mathworks: MATLAB and NVIDIA Docker: A Complete AI Solution, Where You Need It, in an Instant (Dr. Jos Martin, Senior Engineering Manager - Parallel Computing) 2019-12-06 12:00: Long Form Question Answering (Angela Fan (Facebook)) 2020-01-17 11:00: Can we optimise fashion ecommerce using NLG? (Rory Waite (Emotif.ai)) 2020-01-20 13:00: Diving into Decentralised communication with Matrix.org (Matthew Hodgson, Project Lead) 2020-01-22 13:00: Optiver: Machine learning in trading: Let’s build a quantitative trading strategy (Dennis Fleurbaaij) 2020-01-27 13:00: Cambridge Design Partnership - Think Small: Embedded Software FTW! (Jason Mashinchi, Graduate Software Engineer and Tom Vajzovic, Consultant Software Engineer) 2020-02-03 13:00: Amazon Alexa Tech Talk (Paolo Gianrossi, Software Development Manager (Amazon Alexa team, Cambridge)) 2020-02-07 12:00: Zero-shot Language Learning through Bayesian Neural Models (Edoardo Maria Ponti (University of Cambridge)) 2020-02-14 12:00: Beat the AI: Investigating Adversarial Human Annotations for Reading Comprehension (Max Bartolo (UCL)) 2020-02-19 13:00: Green Custard Ltd: Innovating at pace in IoT (Zoltan Molnar and Gavin Dolling ) 2020-02-21 12:00: Shaping Recommendations in a Marketplace via User & Content Understanding (Rishabh Mehrotra (Spotify)) 2020-02-28 12:00: Learning Tensors and Random Matrix Theory (Mehrnoosh Sadrzadeh (UCL)) 2020-03-06 12:00: Evaluating Deep Generative Models on Out-of-Distribution Inputs (Eric Nalisnick (University of Cambridge)) 2022-12-19 11:00: Functional Programming with an Incremental Datalog (Sebastian Erdweg, Johannes Gutenberg University Mainz) 2022-12-19 11:00: Functional Programming with an Incremental Datalog (Sebastian Erdweg, Johannes Gutenberg University Mainz) 2023-10-03 11:00: Generic bidirectional typing for dependent type theories (Thiago Felicissimo, INRIA) 2025-06-02 10:00: SANDWICH Day (Jon Sterling, Ariadne Si Suo, Kayvan Memarian, Gregor Feierabend, Ines Wright (University of Cambridge)) 2025-06-02 10:00: An Invitation to Synthetic Domain Theory (Jon Sterling (University of Cambridge)) 2025-06-02 11:15: Type Checking is Proof Reductions in Classical Linear Logic (Ariadne Si Suo (University of Cambridge)) 2025-06-02 13:30: Executable Specification of a Production Hypervisor (Kayvan Memarian (University of Cambridge)) 2025-06-02 14:45: Confluence of Term Rewriting Systems with Variable Binding (Gregor Feierabend (University of Cambridge)) 2025-06-02 16:00: Dependent Linear Type Theory via Bunched(less) Implications (Ines Wright (University of Cambridge))