Oxford Max Planck Summit

Oxford Max Planck Summit

A two-day networking and scientific-exchange meeting for researchers across the Oxford University and select Max Planck Institutes.

Venue: Computer Science Department, Oxford University, Wolfson Building, Park Road, Oxford OX1 3QD, United Kingdom Date: 7 - 8. October 2026
About Participants Schedule Practical Information Organizers
Back

About

The Oxford Max Planck Doctoral Programme (OMP) is a durable framework for collaborative research initiatives between the University of Oxford and the Max Planck Gesellschaft.

The Oxford Max Planck Summit brings together faculty from the Computer Science Department of Oxford University and Max Planck Institutes for Software Systems, Informatics, Security and Privacy for two days of networking and focused scientific exchange.

The summit revolves around short research talks, open discussions, and free-flowing interaction between participants to identify shared interests across groups. It offers a compact setting for presenting work in progress, learning about adjacent research directions, and building new collaborations across the Oxford-MPG network — including identifying topics for joint PhD supervision.

Participants

Max Planck Gesellschaft

20 participants
  • Anne-Kathrin Schmuck Faculty, Max Planck Institute for Software Systems Control Software Systems Group
  • Anthony Lin Max-Planck Fellow, University of Kaiserslautern-Landau Automated Reasoning
  • Bernt Schiele Scientific Director, Max Planck Institute for Informatics Computer Vision and Machine Learning
  • Carmela Troncoso Faculty, Max Planck Institute for Security and Privacy Security and Privacy Engineering Group
  • Christian Theobalt Scientific Director, Max Planck Institute for Informatics Visual Computing, Interaction and Artificial Intelligence
  • Christoph Weidenbach Faculty, Max Planck Institute for Informatics Automation of Logic
  • Derek Dreyer Scientific Director, Max Planck Institute for Software Systems Foundations of Programming Group
  • Dionysios Adamopoulos PhD Researcher, Max Planck Institute for Software Systems Sustainable, Programmable and Intelligent Computing Systems Group
  • Georg Zetzsche Faculty, Max Planck Institute for Software Systems Models of Computation Group
  • Gilles Barthe Scientific Director, Max Planck Institute for Security and Privacy Differential Privacy, Cryptography and Computer Security
  • Joël Ouaknine Scientific Director, Max Planck Institute for Software Systems Foundations of Algorithmic Verification
  • Krishna Gummadi Scientific Director, Max Planck Institute for Software Systems Networked Systems Research Group
  • Manuel Gomez Rodriguez Faculty, Max Planck Institute for Software Systems AI, Computing and Society
  • Meeyoung Cha Scientific Director, Max Planck Institute for Security and Privacy Data Science for Humanity
  • Omer Moussa PhD Researcher, Max Planck Institute for Software Systems Bridging AI and Neuroscience (BrAIN)
  • Richard Petri Research Engineer, Max Planck Institute for Security and Privacy Cryptographic Engineering
  • Rupak Majumdar Scientific Director, Max Planck Institute for Software Systems Programming Languages & Verification
  • Sadegh Soudjani Research Group Leader, Max Planck Institute for Software Systems Cyber-Physical Systems
  • Tomasz Kociumaka Research Group Leader, Max Planck Institute for Informatics Algorithms and Complexity
  • Yiting Xia Faculty, Max Planck Institute for Informatics Networks and Cloud Systems

Oxford University

29 participants
  • Andrew Markham Professor - Department of Computer Science, University of Oxford Sensors, Signal Processing, Machine Learning and Cyber-Physical Systems
  • Alessandro Abate Professor of Verification and Control - Department of Computer Science, University of Oxford Oxford Control and Verification Group
  • Andrzej Murawski Professor - Department of Computer Science, University of Oxford Programming Languages and Automated Verification
  • Bartek Klin Professor - Department of Computer Science, University of Oxford Nominal Techniques and Foundations of Programming Languages
  • Christian Rupprecht Associate Professor - Department of Computer Science, University of Oxford Visual Geometry Group
  • Christoph Haase Associate Professor - Department of Computer Science, University of Oxford Automated Verification Group
  • Christopher Pulte Associate Professor - Department of Computer Science, University of Oxford Programming Language Semantics, Type Systems, Concurrency, and Verification
  • Dave Parker Professor - Department of Computer Science, University of Oxford Formal and Quantitative Verification
  • Graham Cormode Professor - Department of Computer Science, University of Oxford Data Privacy, Data Stream Analysis and General Algorithmic Problems
  • Hamed Haddadi Professor - Department of Computer Science, University of Oxford Human-Centered Systems
  • Ivan Martinovic Professor - Department of Computer Science, University of Oxford Cyber-physical System Security and Network Security
  • James Worrell Professor - Department of Computer Science, University of Oxford Logic in Computer Science, Automated Verification, Linear Dynamical Systems
  • Jeremy Gibbons Professor of Computing - Department of Computer Science, University of Oxford Algebra of Programming Research Group
  • Jonathan Barrett Professor of Quantum Information Science - Department of Computer Science, University of Oxford Quantum Group
  • Leslie Ann Goldberg Professor, Head of Department of Computer Science - Department of Computer Science, University of Oxford Design and Analysis of Randomised Algorithms
  • Mahmoud Abo Khamis Associate Professor - Department of Computer Science, University of Oxford Database Systems and Theory
  • Maria Bruna Professor - Mathematical Institute, University of Oxford Mathematical Modeling of Interacting Particle Systems
  • Max van Kleek Associate Professor - Department of Computer Science, University of Oxford Human-Computer Interaction
  • Michael Benedikt Professor - Department of Computer Science, University of Oxford Databases, Information Exchange, Web Management and Logical Methods in Computer Science
  • Niki Trigoni Professor - Department of Computer Science, University of Oxford Cyber Physical Systems Group
  • Noa Zilberman Professor of Engineering Science - Department of Engineering Science, University of Oxford Computer Infrastructure Group
  • Paul Goldberg Professor, Director of MSc in MFoCS, Department of Computer Science, University of Oxford Algorithms and Data Structures
  • Philip Torr Professor of Engineering Science - Department of Engineering Science, University of Oxford Torr Vision Group - AI Safety, AI for Science
  • Sam Staton Professor - Department of Computer Science, University of Oxford Programming Language Theory; Logic and Category Theory
  • Sandra Kiefer Associate Professor - Department of Computer Science, University of Oxford Machine Learning and Biomedicine
  • Standa Zivny Professor - Department of Computer Science, University of Oxford Algorithms, Computational Complexity, Discrete Optimisation and Homomorphism Problems
  • Stefan Kiefer Professor - Department of Computer Science, University of Oxford Verification, Probabilistic Models, Infinite-State Systems, Program Analysis and Automata Theory
  • Thomas Pasquier Associate Professor - Department of Computer Science, University of Oxford Computer Security and Data Privacy
  • Varun Kanade Associate Professor - Department of Computer Science, University of Oxford Machine Learning Theory, Algorithmic Statistics and Randomised Algorithms
  • Vincent Cheval Associate Professor - Department of Computer Science, University of Oxford Formal Analysis and Design of Cryptographic Protocols

Guests

3 participants
  • Piotr Bacik OMP Doctoral Researcher Foundations of Algorithmic Verification
  • Ceren Kocaoğullar Applied Scientist, Amazon Web Services Automated Reasoning Group
  • Stefan Zetzsche Applied Scientist, Amazon Web Services Automated Reasoning Group

Draft Schedule

Wednesday 07 October 2026

Day 1

09:00 - 9:15 Registration & coffee Lecture Theatre B - Registration and informal welcome.
09:15 - 9:30 Welcome opening Lecture Theatre B - Opening remarks by Prof. Ouaknine and Prof. Worrell.
9:30 - 10:30 Talk Session 1 4 speakers
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
10:30 - 10:45 Discussion Q&A session with speakers
10:45 - 12:00 Talk Session 2 5 speakers
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
12:00 - 13:30 Lunch Break Oxford Computer Science Department Atrium - hosted lunch for all participants.
13:30 - 15:00 Talk Session 3 6 speakers
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
15:00 - 15:15 Discussion Q&A session with speakers
15:15 - 15:45 Coffee break Oxford Computer Science Department Atrium - coffee break and discussions
15:45 - 17:00 Talk Session 4 5 speakers
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
17:00 - 17:15 Discussion Q&A session with speakers
17:15 - 18:00 Talk Session 5 3 speakers
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
19:00 - ... Oxford Max Planck Dinner Venue: St John's College, Senior Common Room

Thursday 08 October 2026

Day 2

09:00 - 10:45 Talk Session 6 7 speakers
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
10:45 - 11:00 Discussion Q&A session with the speakers.
11:00 - 12:00 Talk Session 7 4 speakers
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA
Speaker Name TBATalk title TBA

Practical Information

We suggest participants arrive in Oxford on the evening of Tuesday 6 October 2026, and depart on the afternoon of Thursday 8 October 2026.

All talk sessions will take place in the Lecture Theatre B. Coffee breaks and lunch will be provided in the Atrium. The Oxford Max Planck Dinner will be held at St John's College.

We suggest participants to book travel and hotel accommodations as early as possible, as Oxford is a popular destination and hotels can fill up quickly. We recommend hotels within a walking distance from the venue such as Mercure Oxford Eastgate Hotel, Linton Lodge Oxford, St Margaret's Hotel, Cotswold Lodge Hotel, and The Buttery Hotel. Hotels located a bit farther away from the venue are also fine, as Oxford has a good public transportation system and is a walkable city.

To reach Oxford, the fastest travel option is to fly to London Heathrow Airport (LHR), and then take a direct coach to Oxford. There are also direct coaches from Gatwick Airport and from Stansted Airport. Alternatively, if you take the Eurostar into London, travel by underground (tube/metro) to Paddington, from which you can board a direct train to Oxford.

Organizers

Joel_Ouaknine
Prof. Joël Ouaknine Scientific Director, Max Planck Institute for Software Systems
James_Worrell
Prof. James Worrell Professor, Department of Computer Science, University of Oxford