Mateja Jamnik

Name:	Mateja Jamnik
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Fri Nov 11 13:44:03 +0000 2022

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.

• Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
• Graph Neural Networks for Geometric Graphs
• AI for Science: An Oral Report from a Recent Dagstuhl Workshop
• Query-based Hard-Image Retrieval for Object Detection at Test Time
• Cancelled! Sorry for inconvenience.
• Neural Sequence Models for Mathematical Reasoning
• Multi-fidelity machine learning models for improved high-throughput screening predictions
• Lifted Relational Neural Networks
• Machine learning as an assay for high-dimensional biology
• Work in progress: Making efficient use of language models for theorem proving
• POSTPONED till next week!!!! Work in progress: Making efficient use of language models for theorem proving
• Neural Sheaf Diffusion: A Topological Perspective on Heterophily and Oversmoothing in GNNs
• Adaptive Gaussian Processes on Graphs via Spectral Graph Wavelets
• Brain charts for the human lifespan
• Advancing mathematics by guiding human intuition with AI
• An Introduction to Federated Learning and its Applications in Medicine
• Learning on Graphs with Missing Node Features
• Weisfeiler and Lehman Go Cellular: CW Networks
• Gaussian Processes on Graphs via Spectral Kernel Learning
• 3D Pre-training improves GNNs for Molecular Property Prediction
• Unlocking Deep Learning for Graphs
• Structure-aware generation of molecules in protein pockets
• Geometric Deep Learning: Grids, Graphs, Groups, Geodesics, and Gauges
• Weisfeiler and Lehman Go Topological: Message Passing Simplicial Networks
• Towards Robust and Reliable Model Explanations
• Predicting outcome for psychotic disorders, using brain connectivity and transcribed speech data
• Message-Aware Graph Attention Networks for Large-Scale Multi-Robot Path Planning
• Computational foundations of morphogenomics
• Landscape and Gaps in Open Source Fairness Toolkits
• Machine Learning and String theory
• Neural ODE Processes
• Learning under model misspecification
• Latent Action Space for Offline Reinforcement Learning
• Debugging Machine Learning Code
• Predicting material properties with the help of machine learning
• Improving the Aggregation in Graph Networks: can nodes understand their neighbourhood?
• Wasserstein Natural Gradients for Reinforcement Learning
• Graph Neural Networks for Biomedical Data
• Graph Neural Networks for Biomedical Data
• What is Next for the Efficient Machine Learning Revolution?
• Second Order Behaviour in Augmented Neural ODEs
• Modulated Bayesian Optimisation
• Constraining Variational Inference with Geometric Jensen-Shannon Divergence
• Predicting Mortality and Length of Stay with Patient Graph Representation Learning
• Sponge Examples: Energy-Latency Attacks on Neural Networks
• Emergent Multi-Agent Communication: The story so far
• A Weighting Based Adversarial Approach to Fairness in Machine Learning
• Adversarial Explanations - You Shouldn't Trust Me: Learning Models Which Conceal Unfairness From Multiple Explanation Methods
• Developing a Concept-Oriented Search Engine for Isabelle Based on Natural Language : Technical Challenges
• Graph Representation Learning under Uncertainty (WIP)
• Temporal Pointwise Convolutional Networks for Length of Stay Prediction in the Intensive Care Unit
• 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