# ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) attendees

Speakers and sponsors named on public listings.

Public listings for ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) name 20 speakers and 21 organizations. The organizations are 2 sponsors and 19 companies on stage.

Last checked 2026-09-17. 10 January 2027 to 16 January 2027, Hilton Mexico City Reforma, Mexico City, Mexico.

## Speakers (20)

- Aart Middeldorp, University of Innsbruck
- Abhishek Kr Singh, IIIT Hyderabad
- Anders Mörtberg, Department of Mathematics, Stockholm University
- Andrej Bauer, University of Ljubljana
- Anne Baanen, Mathlib Initiative
- Ariel E. Kellison, Code Metal
- Assia Mahboubi, INRIA
- Chantal Keller, LMF - University Paris-Saclay
- Chelsea Edmonds, The University of Western Australia
- Christine Rizkallah, University of Melbourne
- Cyril Cohen, Inria, CNRS, ENS Lyon, UCBL, LIP
- Denis Firsov, Tallinn University of Technology
- Derek Dreyer, MPI-SWS
- Dmitriy Traytel, University of Copenhagen
- Dominik Kirst, Inria Saclay
- Holger Thies, Kyoto University
- Ian Shillito, University of Melbourne
- Jannis Limperg, Axiom Math & LMU Munich
- Jonas Kastberg Hinrichsen, Aalborg University
- Julie Cailler, University of Lorraine

## Sponsors and partners (2)

- ACM SIGACT
- ACM SIGLOG

## Companies on stage (19)

- University of Innsbruck
- IIIT Hyderabad
- Stockholm University
- University of Ljubljana
- Mathlib Initiative
- Code Metal
- INRIA
- LMF - University Paris-Saclay
- The University of Western Australia
- University of Melbourne
- LIP
- Tallinn University of Technology
- MPI-SWS
- University of Copenhagen
- Inria Saclay
- Kyoto University
- Axiom Math & LMU Munich
- Aalborg University
- University of Lorraine

## Frequently asked

### Who is listed for ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)?

Public listings for ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) name 20 speakers and 21 organizations. The organizations are 2 sponsors and 19 companies on stage.

### Is there an attendee list for ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)?

This page shows the listed speakers and sponsors. Registration lists are held by the organizer. Request a target list to plan who to meet.

### Which speakers are listed for ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)?

20 speakers are named on public listings for ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), including Aart Middeldorp (University of Innsbruck); Abhishek Kr Singh (IIIT Hyderabad); Anders Mörtberg (Department of Mathematics, Stockholm University).

### Which sponsors are listed for ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)?

2 organizations are named on the sponsor and partner listings for ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), including ACM SIGACT, ACM SIGLOG.

### When and where is ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)?

10 January 2027 to 16 January 2027 at Hilton Mexico City Reforma, Mexico City, Mexico.

Named here and want a correction or removal? Tell us: https://www.luminik.io/report/?event=ACM%20SIGPLAN%20Symposium%20on%20Principles%20of%20Programming%20Languages%20(POPL)&path=%2Fevents%2Facm-sigplan-symposium-on-principles-of-programming-languages-mexico-city%2Fattendees%2F&reason=removal

Source page: https://www.luminik.io/events/acm-sigplan-symposium-on-principles-of-programming-languages-mexico-city/attendees/
Event page: https://www.luminik.io/events/acm-sigplan-symposium-on-principles-of-programming-languages-mexico-city/