Adhitha Weerasiri Dias Kariyawasam Majuwana Gamage Don | Purdue University |
Benjamin Lion | Inria |
Benoit Montagu chair | Inria |
Byron Zhong | University of Chicago |
Carlos Tomé Cortiñas | IOG |
Fabian Ruch | Unaffiliated |
Gabriele Cecilia | Augusta University |
Gokul Rajiv | National University of Singapore |
Jaime ARIAS | CNRS, LIPN, Université Sorbonne Paris Nord |
Jesse Sigal | University of Edinburgh |
John Leo | Halfaya Research |
Lionel Parreaux chair | HKUST (The Hong Kong University of Science and Technology) |
Marco GIUNTI | University of Oxford |
Mario Frank | University of Potsdam |
Mário Pereira | Nova School of Science and Technology -- NOVA LINCS |
Matthias Güdemann | University of Applied Sciences Munich HM |
Neea Rusch | Augusta University |
Orestis Melkonian | Input Output (IOG) |
Pedro Abreu | Type Theory Forall |
Qianyong Wan | University of Hong Kong |
Rishikesh Vaishnav | Deducteam, LMF, ENS Paris-Saclay, INRIA |
Samvid Dharanikota | Carnegie Mellon University |
Shriya Thakur | University of Massachusetts Lowell |
Skye Soss | University of Chicago |
Stefan Ciobaca | Alexandru Ioan Cuza University, Iasi, Romania |
Stefan Zetzsche | Amazon Web Services |
Thomas Somers | Radboud University Nijmegen |
Venkata Naga Sai Rohit Kanteti | Indian Institute of Technology Madras |
Vidush Singhal | Purdue University |
Xuejing Huang | IRIF |
Xuyang Li | Purdue University |
Yanju Chen | University of California, San Diego |
Zhibo Chen | Carnegie Mellon University |