Good afternoon everyone!

This past Friday, April 24th, we wrapped up the Spring 2026 proceedings with the Spring 2026 Awards Gala! Below are the results of this vote, as well as leadership and organization updates.

Awards Gala Results

Please see below for the finalized votes for the Spring 2025 PL Reading Group Awards Gala.

• Statue of Liberty - Reversible Computing From a PL Perspective
• Written in Stone - Binary Search – Think Positive
• Everything Everywhere All at Once - Linearizability: A Correctness Condition for Concurrent Objects
• The Close Shave - Robust Constant Time Cryptography
• Lasik - Distributed MIS in O(log log n) Awake Complexity
• The Grizzly - Verified Programming of Turing Machines in Coq
• The Rorschach - Reversible Computing From a PL Perspective

Leadership Updates

As a part of our proceedings, we confirm the roles assigned to all officers in leadership, and elect any positions that open up. This time our beloved president Peter Hanukaev has chosen to step down from his presidential role. Gabriele Cecilia was subsequently elected as President via unanimous vote of present members. All other officers confirmed reassignment to their roles. Below is the list of leadership positions and the officers assigned.

• President: Gabriele Cecilia
• Vice President: Mark Holcomb
• Treasurer: Vignesh Sivakumar
• Secretary: Jason Weeks
• Faculty Advisor: Yuyan Bao

Organization Updates

Finally, we discussed any changes to the format of general proceedings and schedule for the Fall 2026 term. Below are the key updates.

• The general meeting time has moved from Fridays at 3pm to Fridays at 11am to better accommodate faculty and members.
• The voting format shall remain the same. That is, a member shall be selected at random each week, where they will propose 3 papers which will be voted on. The winning paper is the subject of the following meeting, and a new member is selected for the following meeting’s vote.
• Instead of having a gap week between the 1st week and 3rd week meetings, Faculty Advisor Yuyan Bao proposed a meeting to discuss each member’s topic of research. As such, the 2nd week meeting will be an elevator pitch style meeting where members will give a brief (up to 5min) elevator pitch of their active research topics.
• New award categories for the Fall 2026 term will be selected on the 1st meeting of the term. As last time, old categories can be recycled as well as new catergories can be proposed. 6-8 categories will be selected, which will be voted on at that term’s Awards Gala.

TL;DR

• We held the awards gala today, see above for the awarded papers.
• Our active president, Peter Hanukaev, stepped down from his role as President. Elected to fill this role is Gabriele Cecilia. All other officers will continue in their roles.
• Meeting time for the Fall 2026 term will be Fridays at 11am.
• The 2nd week of proceedings will be a research elevator pitch to give time for the 1st paper vote.
• The Fall 2026 award categories will be selected at the 1st week of proceedings. New and old award categories are allowed.