University of Cambridge > Talks.cam > GS15, Computer Laboratory

  Browse A-Z

Log in

University Account External (via Google)

πŸ” Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

GS15, Computer Laboratory

Further detail
Subscribe using ical/vcal (Help)

If you have a question about this list, please contact: (no managers). If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 129 talks in the archive.

Computer Laboratory Computer Architecture Group Meeting

The new clang constant interpreter

UserNandor Licker (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockWednesday 16 October 2019, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

A Notation for Comonads

UserDominic Orchard (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockWednesday 29 August 2012, 15:00-15:45

Natural Language Processing Reading Group

NLP Reading Group: Learning Continuous Phrase Representations and Syntactic Parsing with Recursive Neural Networks

UserWenduan Xu.

HouseGS15, Computer Laboratory.

ClockThursday 15 March 2012, 12:00-13:00

Natural Language Processing Reading Group

NLP Reading Group: Measuring Distributional Similarity in Context

UserMarek Rei (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 08 March 2012, 12:00-13:00

Natural Language Processing Reading Group

NLP Reading Group: Large-margin Learning of Submodular Summarization methods

UserHelen Yannakoudakis (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 01 March 2012, 12:00-13:00

Natural Language Processing Reading Group

NLP Reading Group: Collaborative topic modeling for recommending scientific articles

UserJimme Jardine (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 16 February 2012, 14:00-15:00

Natural Language Processing Reading Group

NLP Reading Group: Unsupervised Semantic Role Induction via Split-Merge Clustering

UserLaura Rimell (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 09 February 2012, 12:00-13:00

Natural Language Processing Reading Group

NLP Reading Group: Cross-Cutting Models of Lexical Semantics

UserDiarmuid Γ“ SΓ©aghdha (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 02 February 2012, 12:00-13:00

Natural Language Processing Reading Group

NLIP reading group: Bayesian Smoothing for Language Models

UserAndreas Vlachos (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 26 January 2012, 12:00-13:00

Natural Language Processing Reading Group

NLIP Reading Group: Target-dependent Twitter Sentiment Classification

UserAwais Athar (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 24 November 2011, 12:00-13:00

Natural Language Processing Reading Group

NLIP reading group: Global learning of typed entailment rules

UserMarek Rei (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 17 November 2011, 12:15-13:00

Natural Language Processing Reading Group

NLIP reading group: Semi-Supervised Recursive Autoencoders for Predicting Sentiment Distributions

UserDiarmuid Γ“ SΓ©aghdha (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 10 November 2011, 12:00-13:00

Natural Language Processing Reading Group

NLIP reading group: Fast and Robust Joint Models for Biomedical Event Extraction

UserAndreas Vlachos (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 20 October 2011, 12:00-13:00

Natural Language Processing Reading Group

NLIP Reading Group: Unsupervised Decomposition of a Document into Authorial Components

UserThomas Lippincott (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 13 October 2011, 12:00-13:00

Computer Laboratory Programming Research Group Seminar

Practice talks

UserPete Calvert and Tomas Petricek.

HouseGS15, Computer Laboratory.

ClockFriday 17 June 2011, 15:15-16:15

Natural Language Processing Reading Group

NLP Reading group - Template-Based Information Extraction without the Templates

UserSaad Aloteibi (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 09 June 2011, 12:00-13:00

Natural Language Processing Reading Group

NLIP reading group: What's great and what's not: learning to classify the scope of negation for improved sentiment analysis

UserAwais Athar (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 02 June 2011, 12:00-13:00

Natural Language Processing Reading Group

NLIP reading group - Fully unsupervised core-adjunct argument classification

UserLaura Rimell (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 26 May 2011, 12:00-13:00

Natural Language Processing Reading Group

NLP reading group - Who should I cite: learning literature search models from citation behavior

UserJimme Jardine (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 19 May 2011, 12:00-13:00

Computer Laboratory Programming Research Group Seminar

Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method

Another unusual date/time...

UserUday Khedker ( IIT Bombay).

HouseGS15, Computer Laboratory.

ClockTuesday 17 May 2011, 14:30-15:30

Natural Language Processing Reading Group

NLIP reading group: Connecting the Dots Between News Articles

UserDiarmuid Γ“ SΓ©aghdha (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 12 May 2011, 12:00-13:00

Computer Laboratory Programming Research Group Seminar

Functional Programming for the Data Centre

Note unusual day and time. Room GS15.

UserJeff Epstein, Computer Laboratory.

HouseGS15, Computer Laboratory.

ClockThursday 05 May 2011, 15:00-16:00

Natural Language Processing Reading Group

The automated assessment of texts produced by learners of English

UserHelen Yannakoudakis (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 03 March 2011, 12:00-13:00

Natural Language Processing Reading Group

An Introduction to Random Indexing

UserJimme Jardine (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 24 February 2011, 12:00-13:00

Natural Language Processing Reading Group

Something a little different...

UserStephen Clark (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockThursday 17 February 2011, 12:00-13:00

Natural Language Processing Reading Group

Guided Learning for Bidirectional Sequence Classification

UserYue Zhang ().

HouseGS15, Computer Laboratory.

ClockThursday 10 February 2011, 12:00-13:00

Natural Language Processing Reading Group

Identifying Non-Explicit Citing Sentences for Citation-Based Summarization

UserAwais Athar (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 03 February 2011, 12:00-13:00

Natural Language Processing Reading Group

Automatic Evaluation of Linguistic Quality in Multi-Document Summarization

UserHelen Yannakoudakis.

HouseGS15, Computer Laboratory.

ClockThursday 27 January 2011, 12:00-13:00

Computer Laboratory Programming Research Group Seminar

Specification, Implementation and Verification of Refactorings

Note: Thursday not Friday.

UserMax Schaefer (Oxford Computing Lab).

HouseGS15, Computer Laboratory.

ClockThursday 20 January 2011, 15:15-16:15

Natural Language Processing Reading Group

Improving Multiclass Text Classification with Error-Correcting Output Coding and Sub-class Partitions

UserStuart Moore.

HouseGS15, Computer Laboratory.

ClockMonday 17 January 2011, 12:30-13:30

Natural Language Processing Reading Group

Distributional Identification of Non-Referential Pronouns

UserFrannie Chang.

HouseGS15, Computer Laboratory.

ClockMonday 29 November 2010, 12:30-13:30

Natural Language Processing Reading Group

A Simple Unsupervised Learner for POS Disambiguation Rules Given Only a Minimal Lexicon.

UserYue Zhang.

HouseGS15, Computer Laboratory.

ClockMonday 22 November 2010, 12:45-13:45

Natural Language Processing Reading Group

Unsupervised Modeling of Twitter Conversations

UserDiarmuid Γ“ SΓ©aghdha (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 15 November 2010, 12:30-13:30

Natural Language Processing Reading Group

Term Weighting Schemes for Latent Dirichlet Allocation

UserJames Jardine, Computer Laboratory, Cambridge.

HouseGS15, Computer Laboratory.

ClockMonday 08 November 2010, 12:30-13:30

Natural Language Processing Reading Group

Conditional Random Fields

UserThomas Lippincott (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 01 November 2010, 12:30-13:30

Natural Language Processing Reading Group

Extracting social networks from literary fiction...

UserEkaterina Shutova (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 25 October 2010, 12:30-13:30

Computer Laboratory Programming Research Group Seminar

Performance-portable Programming Abstraction for Image Processing

UserRichard Membarth, University of Erlangen-Nuremberg (currently ARM intern).

HouseGS15, Computer Laboratory.

ClockFriday 22 October 2010, 16:00-17:00

Natural Language Processing Reading Group

Overview of: Measuring the non-compositionality of multiword expressions. [best paper award at COLING]

UserLaura Rimell (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 18 October 2010, 12:30-13:30

Natural Language Processing Reading Group

Report-back on ACL2010

UserMarek Rei & Diarmuid Γ“ SΓ©aghdha (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 11 October 2010, 12:30-13:30

Computer Laboratory Programming Research Group Seminar

Estimating and Exploiting Potential Parallelism by Source-level Dependence Profiling

UserJonathan Mak (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockFriday 13 August 2010, 15:15-16:15

NLIP Seminar Series

Evaluation of Dependency Parsers on Unbounded Dependencies

UserLaura Rimell - University of Cambridge.

HouseGS15, Computer Laboratory.

ClockWednesday 28 July 2010, 12:00-12:30

Computer Laboratory Programming Research Group Seminar

Supercompilation by evaluation

UserMax Bolingbroke.

HouseGS15, Computer Laboratory.

ClockFriday 16 July 2010, 15:15-16:15

NLIP Seminar Series

Models of Metaphor in NLP

UserEkaterina Shutova, University of Cambridge.

HouseGS15, Computer Laboratory.

ClockThursday 08 July 2010, 12:00-12:30

NLIP Seminar Series

Latent Variable Models of Selectional Preference

UserDiarmuid Γ“ SΓ©aghdha, University of Cambridge.

HouseGS15, Computer Laboratory.

ClockMonday 28 June 2010, 12:30-13:00

NLIP Seminar Series

Combining Manual Rules and Supervised Learning for Hedge Cue and Scope Detection

UserMarek Rei, University of Cambridge.

HouseGS15, Computer Laboratory.

ClockFriday 25 June 2010, 12:00-12:30

NLIP Seminar Series

Automatic Metaphor Interpretation as a Paraphrasing Task

UserEkaterina Shutova, University of Cambridge.

HouseGS15, Computer Laboratory.

ClockThursday 27 May 2010, 12:30-13:30

NLIP Seminar Series

Linguistic Steganography using Automatically Generated Paraphrases

UserChing-Yun (Frannie) Chang, University of Cambridge.

HouseGS15, Computer Laboratory.

ClockThursday 27 May 2010, 12:00-12:30

Natural Language Processing Reading Group

Improving Grammaticality in Statistical Sentence Generation

UserYue Zhang.

HouseGS15, Computer Laboratory.

ClockMonday 24 May 2010, 12:30-13:30

Natural Language Processing Reading Group

Combinatory Categorial Grammar

UserStephen Clark (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 17 May 2010, 12:30-13:30

Natural Language Processing Reading Group

Learning to Tell Tales: A Data-driven Approach to Story Generation

UserEkaterina Shutova (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 26 April 2010, 12:30-13:30

Natural Language Processing Reading Group

Unsupervised Morphological Segmentation with Log-Linear Models

UserDiarmuid Γ“ SΓ©aghdha (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 08 March 2010, 12:30-13:30

Natural Language Processing Reading Group

Generalizing Dependency Features for Opinion Mining

UserAwais Athar (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 01 March 2010, 12:30-13:30

Natural Language Processing Reading Group

Randomized Language Models via Perfect Hash Functions

UserLin Sun.

HouseGS15, Computer Laboratory.

ClockMonday 22 February 2010, 12:30-13:30

Natural Language Processing Reading Group

Reliable methods for plain text information hiding

UserChing-Yun Chang.

HouseGS15, Computer Laboratory.

ClockMonday 15 February 2010, 12:30-13:30

Natural Language Processing Reading Group

Using Citations to Generate surveys of Scientific Paradigms

UserJimme Jardine (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 08 February 2010, 12:30-13:30

Natural Language Processing Reading Group

Unsupervised Multilingual Learning for Morphological Segmentation

UserTom Lippincott.

HouseGS15, Computer Laboratory.

ClockTuesday 02 February 2010, 12:30-13:30

Natural Language Processing Reading Group

Dependency grammar and dependency parsing

UserLaura Rimell and Andreas Vlachos.

HouseGS15, Computer Laboratory.

ClockMonday 25 January 2010, 12:30-13:30

Natural Language Processing Reading Group

A Gibbs Sampler for Phrasal Synchronous Grammar Induction

UserJuan Pino (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 18 January 2010, 12:30-13:30

Natural Language Processing Reading Group

Discovering interesting usage patterns in text collections

UserMarek Rei and Helen Yannakoudakis.

HouseGS15, Computer Laboratory.

ClockMonday 11 January 2010, 12:30-13:30

Computer Laboratory Programming Research Group Seminar

(CANCELLED) Google's Go Programming Language

UserSpeaker to be confirmed.

HouseGS15, Computer Laboratory.

ClockFriday 11 December 2009, 15:15-16:15

Natural Language Processing Reading Group

Learning the scope of hedge cues in biomedical texts

UserAndrew MacKinlay.

HouseGS15, Computer Laboratory.

ClockMonday 07 December 2009, 12:30-13:30

Natural Language Processing Reading Group

TransType2: The Last Word

UserNikiforos Karamanis.

HouseGS15, Computer Laboratory.

ClockMonday 30 November 2009, 12:30-13:30

Computer Laboratory Programming Research Group Seminar

Alore: Making dynamic languages simpler

UserJukka Lehtosalo (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockFriday 27 November 2009, 15:15-16:15

Natural Language Processing Reading Group

Predicting Human Brain Activity Associated with the Meanings of Nouns

UserColin Kelly (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 23 November 2009, 12:30-13:30

Computer Laboratory Programming Research Group Seminar

Ypnos: Declarative, Parallel Structured Grid Programming

UserDominic Orchard, Computer Lab.

HouseGS15, Computer Laboratory.

ClockFriday 20 November 2009, 15:15-16:15

Natural Language Processing Reading Group

Automatic Humour Detection

UserEkaterina Shutova (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 16 November 2009, 12:30-13:30

Natural Language Processing Reading Group

Speed and Accuracy in Shallow and Deep Stochastic Parsing

UserTed Briscoe and Steve Clark.

HouseGS15, Computer Laboratory.

ClockMonday 09 November 2009, 12:30-13:30

Natural Language Processing Reading Group

Coupling Semi-Supervised Learning of Categories and Relations

UserStuart Moore (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 02 November 2009, 12:30-13:30

Natural Language Processing Reading Group

Bayesian Word Sense Induction

UserAndreas Vlachos (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 26 October 2009, 12:30-13:30

Computer Laboratory Programming Research Group Seminar

Informal Tutorial: Haskell's Type Classes and Type Families

UserDominic Orchard, Computer Lab.

HouseGS15, Computer Laboratory.

ClockFriday 23 October 2009, 15:15-16:00

Natural Language Processing Reading Group

Unsupervised Learning of Narrative Schemas and their Participants

UserDiarmuid Γ“ SΓ©aghdha (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 19 October 2009, 12:30-13:30

Natural Language Processing Reading Group

Reading Group Special Edition: ACL/EMNLP Review

UserNLIP Group Members.

HouseGS15, Computer Laboratory.

ClockMonday 12 October 2009, 12:00-13:30

Computer Laboratory Programming Research Group Seminar

Intelligent Thread-Level Speculation

UserJeremy Singer (School of Computer Science, University of Manchester).

HouseGS15, Computer Laboratory.

ClockFriday 17 July 2009, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Monadic Constraint Programming

UserTom Schrijvers (Leuven).

HouseGS15, Computer Laboratory.

ClockFriday 19 June 2009, 15:15-16:15

Natural Language Processing Reading Group

Special RG Meeting: NAACL-HLT-09 Reports

UserVarious Presenters.

HouseGS15, Computer Laboratory.

ClockMonday 15 June 2009, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Optimizing Dynamically Updateable Programs

UserBoris Feigin (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 05 June 2009, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Studying task-level parallelism in C programs using Embla (work in progress)

UserJonathan Mak (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockFriday 29 May 2009, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Types are calling conventions

UserMax Bolingbroke, Computer Lab.

HouseGS15, Computer Laboratory.

ClockFriday 22 May 2009, 15:15-16:15

Natural Language Processing Reading Group

A Seed-driven Bottom-up Machine Learning Framework for Extracting Relations of Various Complexity

UserDiarmuid Γ“ SΓ©aghdha (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 18 May 2009, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Dictionaries: lazy or strict type class witnesses?

UserTom Schrijvers (K.U. Leuven).

HouseGS15, Computer Laboratory.

ClockFriday 15 May 2009, 15:15-15:45

Natural Language Processing Reading Group

A Study on Similarity and Relatedness Using Distributional and WordNet-based Approaches

UserStephen Clark (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 11 May 2009, 13:00-14:00

Natural Language Processing Reading Group

Unsupervised Relation Disambiguation Using Spectral Clustering

UserLin Sun (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 04 May 2009, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Cake: a language for adapting and linking mismatched binary components

UserStephen Kell (Computer Lab).

HouseGS15, Computer Laboratory.

ClockFriday 01 May 2009, 15:15-16:15

Natural Language Processing Reading Group

Active Learning Literature Survey

UserAndreas Vlachos (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 27 April 2009, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Type (re)construction from values

UserRobin Message (Computer Lab).

HouseGS15, Computer Laboratory.

ClockFriday 20 March 2009, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Interoperation of Lucid's Dataflow paradigm and Object-orientation with a Coalgebraic Semantics

UserDominic Orchard, Computer Lab.

HouseGS15, Computer Laboratory.

ClockFriday 13 March 2009, 15:15-16:15

Natural Language Processing Reading Group

The Puzzle of Ambiguity

UserMohan Ganesalingam (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 09 March 2009, 12:30-13:30

Computer Laboratory Programming Research Group Seminar

Painless Parse Errors

UserKathy Gray.

HouseGS15, Computer Laboratory.

ClockFriday 06 March 2009, 15:15-16:15

Natural Language Processing Reading Group

Predicting Strong Associations on the Basis of Corpus Data

UserColin Kelly (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 02 March 2009, 12:30-13:30

Computer Laboratory Programming Research Group Seminar

Designing Languages to Aid Verification

UserDavid Pearce (Victoria University of Wellington).

HouseGS15, Computer Laboratory.

ClockFriday 27 February 2009, 15:15-16:15

Natural Language Processing Reading Group

Scope underspecification with tree descriptions: Theory and practice

UserRichard Bergmair (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 23 February 2009, 12:30-13:30

Natural Language Processing Reading Group

Unsupervised Models for Coreference Resolution

UserAndreas Vlachos (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockMonday 16 February 2009, 12:30-13:30

Computer Laboratory Programming Research Group Seminar

Programming for Mamba

Possibly shorter with more time for discussion

UserCharlie Reams, Computer Lab.

HouseGS15, Computer Laboratory.

ClockFriday 13 February 2009, 15:15-16:15

Natural Language Processing Reading Group

Acquiring Sense Tagged Examples using Relevance Feedback

UserStuart Moore (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 09 February 2009, 12:30-13:30

Computer Laboratory Programming Research Group Seminar

Deriving efficient data movement from decoupled Access/Execute specifications

UserAnton Lokhmotov (Imperial College London; CPRG alumnus 2008).

HouseGS15, Computer Laboratory.

ClockFriday 30 January 2009, 15:15-16:15

Natural Language Processing Reading Group

On the nature of syntactic variation

UserLu Gram (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 26 January 2009, 12:30-13:30

Natural Language Processing Reading Group

A Structured Vector Space Model for Word Meaning in Context

UserDiarmuid Γ“ SΓ©aghdha (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 19 January 2009, 12:30-13:30

Natural Language Processing Reading Group

Frustratingly easy domain adaptation

UserLin Sun (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockMonday 12 January 2009, 12:30-13:30

Natural Language Processing Reading Group

A Fluid Knowledge Representation for Understanding and Generating Creative Metaphors

UserEkaterina Shutova (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockWednesday 03 December 2008, 13:00-14:00

Natural Language Processing Reading Group

The Fourth PASCAL Recognizing Textual Entailment Challenge

UserRichard Bergmair (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockWednesday 26 November 2008, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Haskell is Not Not ML

UserBenjamin Rudiak-Gould (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 21 November 2008, 15:15-16:15

Natural Language Processing Reading Group

Instance-based Evaluation of Entailment Rule Acquisition

UserAurelie Herbelot (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockWednesday 19 November 2008, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Limits of parallelism using Dynamic Dependency Graphs

UserJonathan Mak (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 14 November 2008, 15:15-16:15

Natural Language Processing Reading Group

Modeling Semantic Containment and Exclusion in Natural Language Inference

UserØistein Andersen, Computer Laboratory.

HouseGS15, Computer Laboratory.

ClockWednesday 12 November 2008, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Work in progress on visual programming languages

UserRobin Message (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 07 November 2008, 15:15-16:15

Natural Language Processing Reading Group

Cheap and Fast - But is it Good? Evaluating Non-Expert Annotations for Natural Language Tasks

User Diarmuid Γ“ SΓ©aghdha (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockWednesday 05 November 2008, 13:00-14:00

Natural Language Processing Reading Group

Which are the Best Features for Automatic Verb Classification?

UserAndreas Vlachos (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockWednesday 29 October 2008, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Logical Testing: Hoare-style Specification Meets Executable Validation

UserKathy Gray (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 24 October 2008, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Dynamic loaded compiler plugins for the Glasgow Haskell Compiler

UserMax Bolingbroke (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 17 October 2008, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Planning meeting and welcome

UserSpeaker to be confirmed.

HouseGS15, Computer Laboratory.

ClockFriday 10 October 2008, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Sequentializing the Value State Dependence Graph

UserAlan Lawrence.

HouseGS15, Computer Laboratory.

ClockFriday 14 March 2008, 15:15-16:15

Logic and Semantics for Dummies

Tree decomposition of graphs

UserBjarki Holm (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 14 March 2008, 11:00-12:00

Logic and Semantics for Dummies

Focusing and proof search

UserRuy Ley-Wild.

HouseGS15, Computer Laboratory.

ClockFriday 07 March 2008, 11:00-12:00

Logic and Semantics for Dummies

Domain theory: dI-domains

UserBarney Stratford (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 22 February 2008, 11:00-12:00

Logic and Semantics for Dummies

Stone Duality

UserDavid Turner (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 15 February 2008, 11:00-12:00

Logic and Semantics for Dummies

Lent term initial meeting

UserSpeaker to be confirmed.

HouseGS15, Computer Laboratory.

ClockFriday 08 February 2008, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

The Constraint Handling Rules (CHR) language

UserTom Schrijvers, Catholic University of Leuven.

HouseGS15, Computer Laboratory.

ClockFriday 18 January 2008, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Memory safety with exceptions and linear types

UserRichard Thrippleton, Computer Laboratory, University of Cambridge.

HouseGS15, Computer Laboratory.

ClockFriday 14 December 2007, 15:15-16:15

Logic and Semantics for Dummies

Intuitionistic logic

UserAlexander Gurney (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 13 December 2007, 11:30-12:30

Logic and Semantics for Dummies

Dependent types

UserDavid Turner (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 07 December 2007, 11:30-12:30

Computer Laboratory Programming Research Group Seminar

Controlling control flow in web application

UserRobin Message (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 06 December 2007, 15:15-15:45

Logic and Semantics for Dummies

Hindley-Milner type inference

UserBarney Stratford.

HouseGS15, Computer Laboratory.

ClockFriday 30 November 2007, 11:30-12:30

Computer Laboratory Programming Research Group Seminar

Detecting and Tracking Inconsistencies in UML

UserAlexander Egyed (University College London and University of Southern California).

HouseGS15, Computer Laboratory.

ClockFriday 23 November 2007, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Jones Optimality and Hardware Virtualization (A Report on Work in Progress)

UserBoris Feigin (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 25 October 2007, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Sound Haskell

UserDana N. Xu (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 29 June 2007, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Termination analysis and call graph construction for higher-order functional programs

UserDamien Sereni (University of Oxford).

HouseGS15, Computer Laboratory.

ClockFriday 22 June 2007, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Two Software-Based Models of Thread Level Speculation

UserCosmin Oancea (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 01 June 2007, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

I solemnly swear that I am up to... automatic parallelisation

UserAnton Lokhmotov (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 18 May 2007, 15:45-16:45

Computer Laboratory Programming Research Group Seminar

Computational specification for temporal abstraction in music

UserAlejandro Vinao.

HouseGS15, Computer Laboratory.

ClockFriday 18 May 2007, 15:15-15:45

Please see above for contact details for this list.

Other lists

Faculty of History, Sidgwick Site Plumb Auditorium, Zoom (link will be given in Abstract)

Other talks

Proteomics: Expression Analysis and Subcellular Localisation CSAR lecture: 46&: Development of a probiotic that supports the natural removal of forever chemicals from the body Group Work Title to be confirmed Coexisting with carnivores? The lynx and wolf reintroduction debate Online Causal Inference Seminar
 

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