![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
David Monniaux, CNRS/VERIMAG and École Polytechnique.
Thursday 20 July 2023, 14:00-15:00
FW11, Computer Laboratory
Contact: No managers listed
0 upcoming talks View 60 archived talks
Logic and Semantics Seminar (Computer Laboratory)
Optimizations in a formally verified compiler
Logic and Semantics Seminar (Computer Laboratory)
Stochastic games and strategy complexity
Technical Talks - Department of Computer Science and Technology
Cisco: How to break the Internet
⚠️ Food Provided
Technical Talks - Department of Computer Science and Technology
Machine Learning for the benefit of Engineering
⚠️ Food provided
NLIP Seminar Series
The Ethics of Artificially Intelligent Communications Technology
⚠️ Room changed
Technical Talks - Department of Computer Science and Technology
How to Break the Internet
⚠️ Food and drinks provided
Technical Talks - Department of Computer Science and Technology
Goldman Sachs: Banking with Bots – Machine Learning and Natural Language Processing
⚠️ Food provided
Technical Talks - Department of Computer Science and Technology
Preparing for a life that’s not just code
⚠️ Food provided
Technical Talks - Department of Computer Science and Technology
HackerRank workshop
⚠️ Lunch provided
Computer Laboratory Computer Architecture Group Meeting
Intra-Core Loop-Task Accelerators for Task-Based Parallel Programs
⚠️ Note unusual time
NLIP Seminar Series
Internal seminar - new PhD students
Technical Talks - Department of Computer Science and Technology
Saving the world one handset at a time: mobile phones and building the Internet
Technical Talks - Department of Computer Science and Technology
GRAKN.AI: The hyper-relational database for knowledge-oriented systems
Technical Talks - Department of Computer Science and Technology
Break into a Hacker’s Mind
NLIP Seminar Series
Deep NLP in language tutoring
NLIP Seminar Series
Predicting Rich Linguistic Structure with Neural Networks
Computer Laboratory Computer Architecture Group Meeting
Processors for the Data Center and Cloud of the Future
Technical Talks - Department of Computer Science and Technology
Taskerman: A Cluster Task Manager
Technical Talks - Department of Computer Science and Technology
How to Break the Internet
Technical Talks - Department of Computer Science and Technology
Pen and Paper Programming: How to write code in an interview
Technical Talks - Department of Computer Science and Technology
What can you do with data at the speed of 10x million events per second
⚠️ Please register at: https://www.eventbrite.com/e/microsoft-tech-talk-university-of-cambridge-tickets-28514095427
Technical Talks - Department of Computer Science and Technology
What's the big deal about Big Data?
Computer Laboratory Computer Architecture Group Meeting
OpenPiton
Technical Talks - Department of Computer Science and Technology
Online Machine Learning Methods - Streams of Financially Important News.
Technical Talks - Department of Computer Science and Technology
Building a Trading System (How we really do it…)
Technical Talks - Department of Computer Science and Technology
Computer Science Collides With Reality
Technical Talks - Department of Computer Science and Technology
Challenges to Operating a Service Oriented Architecture
Technical Talks - Department of Computer Science and Technology
Saving the world one handset at a time: mobile phones and building the Internet
Technical Talks - Department of Computer Science and Technology
Demystifying a Technology career in Finance Q&A
Technical Talks - Department of Computer Science and Technology
Break into a hacker’s mind
NLIP Seminar Series
Understanding Word Embeddings
gcj21's list
Why isn't IoT here yet?
Computer Laboratory Digital Technology Group (DTG) Meetings
Why isn't IoT here yet?
⚠️ Note unusual time
Technical Talks - Department of Computer Science and Technology
Reach coding nirvana with test-driven development
Computer Laboratory Computer Architecture Group Meeting
PSLP: Padded SLP Automatic Vectorization
Technical Talks - Department of Computer Science and Technology
Compile-time Instruction Scheduling for Modern ARM Processors - Low Level Design Enabling Performance In High Level Applications
Technical Talks - Department of Computer Science and Technology
Can we make light travel faster please?
Technical Talks - Department of Computer Science and Technology
Silicon swords to software ploughshares: the software networking revolution
Technical Talks - Department of Computer Science and Technology
EVi (An Amazon Company) Tech Talk - Answering any question, in any language, in one second or less
Computer Laboratory Systems Research Group Seminar
A Look at the Consequences of Internet Censorship Through an ISP Lens
NLIP Seminar Series
Design decisions in web corpus construction and their impact on distributional semantic models
Computer Laboratory Computer Architecture Group Meeting
Scale-Out Processors
Computer Laboratory Systems Research Group Seminar
Designing an Optical Internet Router with a Preview of an Optical Turing Machine for Network Processing
NLIP Seminar Series
Apposition Extraction and Named Entity Linking
Computer Laboratory Computer Architecture Group Meeting
Synopsys Processor Designer - Introduction and demonstration
⚠️ Note unusual time and venue
Computer Laboratory Systems Research Group Seminar
Very high speed networking in VMs and bare metal
⚠️ Luigi's will also give a talk at MSR Cambridge (http://talks.cam.ac.uk/talk/index/46123)
NLIP Seminar Series
Using Grammars in On-line Education: Automatic error correction to improve writing skills
NLIP Seminar Series
Representing Abstract and Concrete Concepts - Why and When Features should Feature
NLIP Seminar Series
Developing and testing a self-assessment and tutoring system
Computer Laboratory Systems Research Group Seminar
On the efficient implementation of large round-robin arbiters
Computer Laboratory Systems Research Group Seminar
Can we leverage a Software Defined Networking (SDN) approach on Video streaming to benefit both the Network and its Users?
NLIP Seminar Series
Two Approaches to Grammar Induction: From Plain Text to Semantic Supervision
NLIP Seminar Series
Natural Language Generation as Planning under Uncertainty for Statistical Interactive Systems
NLIP Seminar Series
Distributional Semantics and Kernels
NLIP Seminar Series
Beyond MaltParser -- Recent Advances in Transition-Based Dependency Parsing
NLIP Seminar Series
Biomedical Natural Language Figure Processing
Computer Laboratory Programming Research Group Seminar
When Monads and Comonads Overlap
⚠️ Note unusual time and room.
NLIP Seminar Series
Two robust semi-supervised learning algorithms for natural language processing
Computer Laboratory Programming Research Group Seminar
Extracting the Semantic Signature of Malware, Metamorphic Viruses and Worms
Please see above for contact details for this list.