CoqPL 2025 Contributors - CoqPL 2025

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

co-located with POPL 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (10)

D Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Co-chair in Program Committee within the CoqPL-track
G Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico Committee Member in Program Committee within the CoqPL-track
L Yao LiLi, Yao Portland State UniversityUnited States Committee Member in Program Committee within the CoqPL-track
M Gregory MalechaMalecha, Gregory BedRock SystemsUnited States Committee Member in Program Committee within the CoqPL-track
P Piotr PolesiukPolesiuk, Piotr University of Wrocław Committee Member in Program Committee within the CoqPL-track
S Bas SpittersSpitters, Bas Aarhus UniversityDenmark Committee Member in Program Committee within the CoqPL-track
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Co-chair in Program Committee within the CoqPL-track
T Romain TetleyTetley, Romain Committee Member in Program Committee within the CoqPL-track
Y Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States Committee Member in Program Committee within the CoqPL-track
Irene YoonYoon, Irene InriaFrance Committee Member in Program Committee within the CoqPL-track