Mateja Jamnik

Name:	Mateja Jamnik
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Mon Mar 16 17:31:11 +0000 2020

Public lists managed by Mateja Jamnik

• Artificial Intelligence Research Group Talks (Computer Laboratory)
• Women@CL Events
• women@CL Coffee and Cake
• women@CL Talklet Series
• women@CL all

Talks given by Mateja Jamnik

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

Talks organised by Mateja Jamnik

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Mateja Jamnik actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• Developing a Concept-Oriented Search Engine for Isabelle Based on Natural Language : Technical Challenges
• Learning evolving node and community representations on dynamic graphs
• Deep Graph Mapper: Seeing Graphs through the Neural Lens
• Knowledge Graph Convolutional Networks - Combining ML and Reasoning
• Some ideas on neural network modulation
• KRAB zinc fingers, transposable elements and the evolution of gene regulatory networks
• Machine learning for network inference
• Non-convex Optimisation Using the Polyak-Łojasiewicz Inequality
• Flexible deep learning for heterogeneous clinical time series
• Abstract Diagrammatic Reasoning with Multiplex Graph Networks
• MARLeME: A Multi-Agent Reinforcement Learning Model Extraction Library
• Work in progress: Diving deeper into building distributed representations graphs
• AI, Data Science & Mechanism Design in Sub-Saharan Africa
• Model extraction for clinical decision support systems
• Finding an Analogy
• Matrix Means for Signed and Multilayer Graph Clustering
• Machine Learning Systems Design
• Question Answering in Realistic Visual Environments: Challenges and Approaches
• Neural networks to model probability densities in quantum chromodynamics
• Quantile QT-Opt for Risk-Aware Vision-Based Robotic Grasping
• Verifiable robustness of neural networks in autonomous vehicles.
• A human-oriented term rewriting system
• Celebrating 10 years of women@CL
• Welcome event for new students
• Lunch with Sian Lindley - Rethinking the Web as a Personal Archive
• Postgraduate mini conference
• Large-Scale Data Processing (What is Big Data?)
• Speaker Lunch - Teach First
• Speaker Lunch - Girl Geek Dinners - The Social Media Story
• Careers Panel - Applying for jobs in academia and industry
• CV Clinic with Susan Gatell, Careers Service
• Lunch with Alexandra Gherghina from Google
• Summer event
• Women@CL committee end of year meeting
• Coffee and Cakes
• Lunch with Teresa Schofield
• Coffee and Cakes
• Mixed UG and PG event
• Raspberry Pi
• Coffee and Cakes
• Lunch with Letizia Mortara, Centre for Technology Management, Univ. of Cambridge
• Coffee and Cakes
• Lunch with Shirley Jamieson, Cambridge Enterprise, Univ. of Cambridge
• Mixed UG and PG event
• Coffee and Cakes
• Lunch with Natasa Milic-Frayling, Microsoft Research
• Coffee and Cakes
• Careers Panel - Applying for jobs in academia and industry
• Undergraduate event
• Postgraduate event
• CV Clinic with David Ainscough, Careers Service
• Coffee and Cakes
• Lunch with Barbara Majecka from Google
• Welcome Event for New Students
• EXAMS
• Dynamical Grammars for Galaxy Image Recognition
• From Separation Logic to Systems Code
• Privacy in Advertising: Not all Adware is Badware
• Aura: A Programming Language with Authorization and Audit
• Title to be confirmed
• Generic Programming
• Proving that programs eventually do something good
• Title to be confirmed
• Third Generation Machine Intelligence
• Third Generation Machine Intelligence
• Automated Experimentation: Beyond Deployment and Execution
• Title to be confirmed
• Title to be confirmed
• Graphical Reasoning in Symmetric Monoidal Categories
• Models of large-scale real-life networks
• Multipath TCP
• Performance Comparisons of Hard Logic, Programmable Soft Logic, and Instruction Set Architectures
• A POPLmark retrospective: Using proof assistants in programming language research
• Third Generation Machine Intelligence
• Elements of a Networked Urbanism
• Insights from Expert Software Design Practice
• On Quantitative Software Verification
• Serializability Enforcement for Concurrent ML
• Aggregated Security Monitoring in 10GB networks
• Pushing JavaScript Performance
• Reaching Out: how to engage young people with computer science
• Scalable Ontology-Based Information Systems
• Reflections on merging the digital and the physical
• Evolving a language in and for the real world
• Toward Energy-efficient Computing
• What can sequent calculus do for functional programs?
• Concurrency Through the Ages
• No Wednesday Seminar today!
• The 10 Cultures Problem
• Lunch with Anna Korhonen
• Computational Creativity: A Different Future for AI Research
• Model-Based Design: a New Landscape for Embedded Systems Development
• Inventing the User: EDSAC in context
• Accounting for User Behaviour in Security
• Lunch with Abigail Sellen
• "Re-architecting Internet capacity sharing" aka "Putting far-reaching Cambridge research into practice"
• Correctness by Construction of High-Integrity Software
• Title to be confirmed
• Collective Intelligence Techniques for Pervasive Computing
• Title to be confirmed
• Interactive and Intuitive Appearance Design
• Balancing the expected and the surprising in geometric patterns: an investigation inspired by Bridget Riley's early Op art
• Privacy and HCISec: Notes From The Front
• Modelling Quality Properties of Systems
• A Framework for the Analysis of Mix-Based Steganographic File Systems
• Structured Hidden Markov Model: A General Tool for Analysing Sequential data
• Statistical Parsing of Natural Language with Lexicalised Grammars
• Second-Order Quantifier Elimination
• MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
• Defending Networked Resources Against Floods of Unwelcome Requests
• The Manticore project
• How to Protect your Data by Eliminating Trusted Storage Infrastructure
• Practical Dynamic Software Updating for C
• Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors
• Content Distribution based on Social Swarming
• Title to be confirmed