LOGML 2026
  • People
  • Policies
  • Archives
  1. LOGML 2025
  2. Sponsors
  • LOGML 2025
    • Speakers
    • Projects
    • Sponsors
    • People
  • LOGML 2024
    • Speakers
    • Projects
    • Sponsors
    • People
  • LOGML 2022
    • Speakers
    • Projects
    • Sponsors
    • People
  • LOGML 2021
    • Speakers
    • Projects
    • Sponsors
    • People
  1. LOGML 2025
  2. Sponsors

Sponsors

We gratefully acknowledge funding from the Heilbronn Institute for Mathematical Research and the UKRI/EPSRC Additional Funding Programme for Mathematical Sciences, Imperial College London, the Erlangen AI Hub, LSGNT, G-research, IdeaLondon, and Prob AI.

Copyright © 2026, LOGML Team