Merge pull request #1 from SIGPLAN/master

CARES update

Author: sukyoung

.gitignore

@@ -9,3 +9,4 @@ link-checker-*
 .\#*
 vendor
 .DS_Store
+.vscode

Awards.md

@@ -7,8 +7,6 @@ recognize service and achievements in the programming language
 community. Details about the nomination process for a particular
 award can be found on the specific award web page.
 
-See SIGPLAN's [statement about the 2020 ACM Turing Award](/Awards/TuringStatement).
-
 * * * * *
 
 **Programming Languages Achievement Award**  

Awards/Achievement.md

@@ -15,11 +15,24 @@ be directed to the SIGPLAN Awards co-Chairs.
 
 #### Nominations
 
-Nominations can be submitted at any time using the Web form at
-<https://awards.sigplan.org>.  Nominations submitted on or before
-January 15th will be considered for award that year.  A nomination
+Nominations can be submitted at
+<https://sigplan-pl-achievement26.hotcrp.com/>.  Nominations submitted on or before
+January 22nd will be considered for award that year.  A nomination
 for the Achievement Award that is not selected will remain in
-consideration for a total of three years.
+consideration for a total of three years. The committee may decline to make an award in a given year if there are no suitable nominees.
+
+Each nomination should be submitted as a single PDF consisting of the following items:
+
+-   Name, affiliation, phone number, and email address of the candidate
+    for whom an award is recommended (the nominee).
+-   Name, affiliation, phone number, and email address of the person
+    making the nomination (the nominator).
+-   A short statement (200-500 words) explaining why the nominee
+    deserves the award.
+-   Names and email addresses of 5-10 people who the nominator
+    believes will support the nomination. The awards committee will
+    ask at least three of these people for their opinions - the letters of support are due by Feb 20th. (If the nominator 
+    already has support letters these can be included with the nomination). 
 
 #### Committee
 

Awards/Dissertation.md

@@ -43,9 +43,14 @@ should be directed to the SIGPLAN Awards co-Chairs.
 
 #### Nominations
 
-Nominations can be submitted at any time using the Web form at
-<https://awards.sigplan.org/nominate/reynolds/>. Nominations submitted
-on or before January 15th will be considered for award that year.  The
+Nominations can be submitted at any time at <https://reynolds26.hotcrp.com/>. 
+The nomination application consists of 
+- an up to 500 words nomination statement;
+- at least two reference letters; and
+- the .pdf of the thesis.  
+
+Nominations submitted
+on or before January 22nd will be considered for award that year.  The
 nominated dissertation must have been submitted for award of the
 doctoral degree in the year prior to the nomination deadline, and be
 available in English (to facilitate evaluation by the selection

Awards/Educator.md

@@ -25,7 +25,7 @@ directed to the SIGPLAN Awards co-Chairs.
 
 #### Nominations
 
-Please use <http://awards.sigplan.org/> to submit nominations.
+Please use <https://sigplan-educator26.hotcrp.com> to submit nominations.
 Nominations submitted on or before January 15th will be considered for
 award that year.  A nomination for the Distinguished Educator Award
 that is not selected will remain in consideration for a total of three
@@ -42,8 +42,8 @@ Each nomination should include the following items:
   award. This should include any information about the context of the
   work to help the Award Committee understand its significance.
 - Names and email addresses of 5-10 people who the nominator believes
-  will support the nomination. The awards committee will ask at least
-  three of these people for their opinions.
+  will support the nomination. The letters of support should be submitted by Feb 20th either
+  by the nominator (at hotcrp) or by email to the chair (niki.vazou@imdea.org). 
 
 The candidate may be nominated simultaneously for other awards, such
 as the ACM Karl V. Karlstrom Outstanding Educator Award.

Awards/Milner.md

@@ -64,9 +64,12 @@ follow.
 
 #### Nominations
 
-Nominations can be submitted at any time using the Web form at
-<https://awards.sigplan.org>. Nominations submitted on or before
-January 15th will be considered for award that year. The committee may
+Nominations can be submitted at any time at
+<https://milner26.hotcrp.com>. Nominations submitted on or before
+January 22nd will be considered for award that year. 
+The nomination requires 5-10 supporters that should submit their letters of support by Feb 20th, 
+either directly by the nominator (at the hotcrp) or by mail to the chair (at niki.vazou@imdea.org).
+The committee may
 decline to make an award in a given year if there are no suitable
 nominees.
 

Awards/Service.md

@@ -15,13 +15,13 @@ to the SIGPLAN Awards co-Chairs.
 
 #### Nominations
 
-Please submit nominations using the Web form at
-<https://awards.sigplan.org/>.  Nominations submitted on or before
-January 15th will be considered for award that year.  A nomination for
+Please submit nominations at
+<https://sigplan-service26.hotcrp.com/>.  Nominations submitted on or before
+January 22nd will be considered for award that year.  A nomination for
 the Distinguished Service Award that is not selected will remain in
 consideration for three years.
 
-Each nomination should consist of the following items:
+Each nomination should be submitted as a single PDF consisting of the following items:
 
 -   Name, affiliation, phone number, and email address of the candidate
     for whom an award is recommended (the nominee).
@@ -31,7 +31,8 @@ Each nomination should consist of the following items:
     deserves the award.
 -   Names and email addresses of 5-10 people who the nominator
     believes will support the nomination. The awards committee will
-    ask at least three of these people for their opinions.
+    ask at least three of these people for their opinions - the letters of support are due by Feb 20th. (If the nominator 
+    already has support letters these can be included with the nomination)
 
 #### Committee
 

Awards/Software.md

@@ -18,8 +18,8 @@ directed to the SIGPLAN Awards co-Chairs.
 
 #### Nominations
 
-Please use <http://awards.sigplan.org/> to submit nominations.
-Nominations submitted on or before January 15th will be considered for
+Please use <https://sigplan-software26.hotcrp.com> to submit nominations.
+Nominations submitted on or before January 22nd will be considered for
 award that year.
 
 Each nomination should include the following items:
@@ -34,7 +34,8 @@ Each nomination should include the following items:
   making the nomination (the nominator).
 - Names and email addresses of 5-10 people who the nominator believes
   will support the nomination. The awards committee will ask at least
-  three of these people for their opinions.
+  three of these people for their opinions - the letters of support are due by Feb 20th (The nominator can also include them with the nomination if they have them already available).
+
 
 #### Committee
 

Cares/index.md

@@ -237,6 +237,10 @@ We have received open, public feedback from a number of members of the community
    <td><img src="../images/cares-photos/drossopoulou.jpg" alt="Sophia Drossopoulou" width="156"><br><a href="https://wp.doc.ic.ac.uk/sd/">Sophia Drossopoulou</a> (she/her)</td>
    <td>Member, <a href="mailto:S.Drossopoulou@imperial.ac.uk">S.Drossopoulou@imperial.ac.uk</a>, Imperial College London, Oct 2024-</td>
   </tr> 
+ <tr>
+   <td><img src="../images/cares-photos/jeff-foster-2022.jpeg" alt="Jeff Foster" width="156"><br><a href="https://www.cs.tufts.edu/~jfoster/">Jeff Foster</a> (he/him)</td>
+   <td>Member, <a href="mailto:jeffrey.foster@tufts.edu">jeffrey.foster@tufts.edu</a>, Tufts University, Jul 2025-</td>
+  </tr> 
  <tr>
    <td><img src="../images/cares-photos/foster.png" alt="Nate Foster" width="156"><br><a href="https://www.cs.cornell.edu/~jnfoster/">Nate Foster</a> (he/him)</td>
    <td>Member, <a href="mailto:jnfoster@cs.cornell.edu">jnfoster@cs.cornell.edu</a>, Cornell University, Oct 2024-</td>

Conferences/CPP.md

@@ -11,19 +11,22 @@ Certified Programs and Proofs (CPP) is an international conference on practical
 * [Adam Chlipala](http://adam.chlipala.net), MIT, USA
 * [Georges Gonthier](https://scholar.google.co.uk/citations?user=cbtN84wAAAAJ&hl=en), Inria, France
 * [Gerwin Klein](https://doclsf.de), Proofcraft and UNSW Sydney, Australia
-* [Robbert Krebbers](https://robbertkrebbers.nl), Radboud University Nijmegen, Netherlands
 * [Dale Miller](http://www.lix.polytechnique.fr/Labo/Dale.Miller/), Inria Saclay and LIX/Institut Polytechnique de Paris, France
 * [Tobias Nipkow](https://www21.in.tum.de/~nipkow/), Technische Universität München, Germany
 * [Brigitte Pientka](https://www.cs.mcgill.ca/~bpientka/), McGill University, Canada
 * [Zhong Shao](http://www.cs.yale.edu/homes/shao/), Yale University, USA
 * [Kathrin Stark](http://www.k-stark.de/), Heriot-Watt University, UK
+* [Nikhil Swamy](https://www.microsoft.com/en-us/research/people/nswamy), Microsoft Research, USA
 * [Nicolas Tabareau](http://tabareau.fr/), Inria, Nantes, France
 * [Amin Timany](https://cs.au.dk/~timany/), Aarhus University, Denmark
 * [Dmitriy Traytel](https://traytel.bitbucket.io), University of Copenhagen, Denmark
-* [Steve Zdancewic](https://www.cis.upenn.edu/~stevez/), University of Pennsylvania, USA
+* [Yannick Zakowski](https://perso.ens-lyon.fr/yannick.zakowski), Inria Paris, France
+
 
 **Former SC members**
 
+* [Steve Zdancewic](https://www.cis.upenn.edu/~stevez/), University of Pennsylvania, USA
+* [Robbert Krebbers](https://robbertkrebbers.nl), Radboud University Nijmegen, Netherlands
 * [Andrei Popescu](https://www.andreipopescu.uk), University of Sheffield, United Kingdom
 * [Lennart Beringer](https://www.cs.princeton.edu/~eberinge/), Princeton University, USA
 * [Jasmin Blanchette](https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette_de.html), Ludwig-Maximilians-Universität München, Germany
@@ -44,8 +47,13 @@ Certified Programs and Proofs (CPP) is an international conference on practical
 * [John Harrison](https://www.cl.cam.ac.uk/~jrh13/), Amazon Web Services, USA
 
 ---
-**[CPP Conferences](https://popl25.sigplan.org/series/CPP)**
+**[CPP Conferences](https://popl26.sigplan.org/series/CPP)**
 
+* CPP 2027, January, 2027 (co-located with POPL’27)
+  + PC Chairs: [Nikhil Swamy](https://www.microsoft.com/en-us/research/people/nswamy)
+    and [Cyril Cohen](https://perso.crans.org/cohen/)
+  + Conference Chairs: [Yannick Zakowski](https://perso.ens-lyon.fr/yannick.zakowski)
+    and [Sophie Tourret](https://members.loria.fr/sophie.tourret/)
 * [CPP 2026](https://popl26.sigplan.org/home/CPP-2026), Rennes, France, January 12-13, 2026 (co-located with POPL’26)
   + PC Chairs: [Nicolas Tabareau](https://tabareau.fr/)
     and [Nikhil Swamy](https://www.microsoft.com/en-us/research/people/nswamy)
@@ -109,9 +117,12 @@ The official **CPP proceedings** since 2015 are publicly available via [SIGPLAN
 ---
 **Given Distinguished Paper Awards**
 
-* CPP 2025: [Certifying Rings of Integers in Number Fields](https://dl.acm.org/doi/10.1145/3703595.3705874), Anne Baanen, Alain Chavarri Villarello, Sander R. Dahmen.
-* CPP 2025: [Split Decisions: Explicit Contexts for Substructural Languages](https://dl.acm.org/doi/10.1145/3703595.3705888). Daniel Zackon, Chuta Sano, Alberto Momigliano, Brigitte Pientka.
-* CPP 2025: [The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic](https://dl.acm.org/doi/10.1145/3703595.3705876). Simon Friis Vindum, Aina Linn Georges, Lars Birkedal.
+* CPP 2026: [Higher order differential calculus in Mathlib](https://arxiv.org/abs/2509.04922), Sebastien Gouezel.
+* CPP 2026: [Mechanized Dominator Tree Certification](https://inria.hal.science/hal-05413838v1), Jean-Christophe Léchenet.
+* CPP 2026: [Precise Reasoning about Container-Internal Pointers with Logical Pinning](https://arxiv.org/abs/2509.23229), Yawen Guan and Clément Pit-Claudel.
+* CPP 2025: [Certifying Rings of Integers in Number Fields](https://dl.acm.org/doi/10.1145/3703595.3705874), Anne Baanen, Alain Chavarri Villarello, and Sander R. Dahmen.
+* CPP 2025: [Split Decisions: Explicit Contexts for Substructural Languages](https://dl.acm.org/doi/10.1145/3703595.3705888). Daniel Zackon, Chuta Sano, Alberto Momigliano, and Brigitte Pientka.
+* CPP 2025: [The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic](https://dl.acm.org/doi/10.1145/3703595.3705876). Simon Friis Vindum, Aina Linn Georges, and Lars Birkedal.
 * CPP 2024: [Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma](https://popl24.sigplan.org/details/CPP-2024-papers/7/Formal-Probabilistic-Methods-for-Combinatorial-Structures-using-the-Lov-sz-Local-Lemma). Chelsea Edmonds and Lawrence Paulson.
 * CPP 2024: [Martin-Löf à la Coq](https://popl24.sigplan.org/details/CPP-2024-papers/12/Martin-L-f-la-Coq). Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, and Loïc Pujet.
 * CPP 2024: [Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic](https://popl24.sigplan.org/details/CPP-2024-papers/5/Rooting-for-Efficiency-Mechanised-Reasoning-about-Array-Based-Trees-in-Separation-Logic). Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, and Ilya Sergey.