From b64ad815deebe90b09c3c033c832e879d57419c0 Mon Sep 17 00:00:00 2001 From: Catalin Hritcu Date: Thu, 16 May 2024 10:52:17 +0200 Subject: [PATCH 1/8] Updated SC list CPP.md --- Conferences/CPP.md | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/Conferences/CPP.md b/Conferences/CPP.md index 7bceacf..a2783f6 100644 --- a/Conferences/CPP.md +++ b/Conferences/CPP.md @@ -6,24 +6,26 @@ Certified Programs and Proofs (CPP) is an international conference on practical **Steering Committee** -* [Lennart Beringer](https://www.cs.princeton.edu/~eberinge/), Princeton University, USA * [Sandrine Blazy](https://people.irisa.fr/Sandrine.Blazy/), University of Rennes, France * [Adam Chlipala](http://adam.chlipala.net), MIT, USA -* Georges Gonthier, Inria, France +* [Georges Gonthier](https://scholar.google.co.uk/citations?user=cbtN84wAAAAJ&hl=en), Inria, France * [Cătălin Hriţcu](https://catalin-hritcu.github.io) (Chair), MPI-SP, Germany * [Gerwin Klein](https://doclsf.de), CSIRO's Data61 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 -* [Andrei Popescu](https://www.andreipopescu.uk), University of Sheffield, United Kingdom * [Zhong Shao](http://www.cs.yale.edu/homes/shao/), Yale University, USA -* [Kathrin Stark](https://www.k-stark.de), Heriot-Watt University, United Kingdom -* [Nicolas Tabareau](https://tabareau.fr), Inria, 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 +** Former SC members ** +* [Andrei Popescu](https://www.andreipopescu.uk), University of Sheffield, United Kingdom +* [Lennart Beringer](https://www.cs.princeton.edu/~eberinge/), Princeton University, USA +* ... + + --- **Previous CPP Conferences** @@ -88,4 +90,4 @@ On the other hand, there is a recent trend in computer science to formally prove There are not many proof assistants around. There should be more, because progress benefits from competition. On the other hand, there is much theoretical work that could be implemented in the form of a proof assistant, but this does not really happen. One reason is that it is hard to publish a development work, especially when this requires a long-term effort as is the case for a proof assistant. It is even harder to publish work about libraries which, we all know, are fundamental for the success of a proof assistant. CPP would pay particular attention in publishing, publicizing, and promoting this kind of work. -Finally, CPP also aims to be a publication arena for innovative teaching experiences, in computer science or mathematics, using proof assistants in an essential way. These experiences could be submitted in an innovative format to be defined. \ No newline at end of file +Finally, CPP also aims to be a publication arena for innovative teaching experiences, in computer science or mathematics, using proof assistants in an essential way. These experiences could be submitted in an innovative format to be defined. From f2178c4d85981c6ec386dcf60bbd0a4344a7b689 Mon Sep 17 00:00:00 2001 From: Catalin Hritcu Date: Thu, 16 May 2024 11:26:39 +0200 Subject: [PATCH 2/8] Added former SC members who were PC chairs --- Conferences/CPP.md | 24 +++++++++++++++++++----- 1 file changed, 19 insertions(+), 5 deletions(-) diff --git a/Conferences/CPP.md b/Conferences/CPP.md index a2783f6..735bd54 100644 --- a/Conferences/CPP.md +++ b/Conferences/CPP.md @@ -6,13 +6,13 @@ Certified Programs and Proofs (CPP) is an international conference on practical **Steering Committee** +* [Cătălin Hriţcu](https://catalin-hritcu.github.io) (SC Chair), MPI-SP, Germany * [Sandrine Blazy](https://people.irisa.fr/Sandrine.Blazy/), University of Rennes, France * [Adam Chlipala](http://adam.chlipala.net), MIT, USA * [Georges Gonthier](https://scholar.google.co.uk/citations?user=cbtN84wAAAAJ&hl=en), Inria, France -* [Cătălin Hriţcu](https://catalin-hritcu.github.io) (Chair), MPI-SP, Germany -* [Gerwin Klein](https://doclsf.de), CSIRO's Data61 and UNSW Sydney, Australia +* [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 +* [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 @@ -20,12 +20,26 @@ Certified Programs and Proofs (CPP) is an international conference on practical * [Dmitriy Traytel](https://traytel.bitbucket.io), University of Copenhagen, Denmark * [Steve Zdancewic](https://www.cis.upenn.edu/~stevez/), University of Pennsylvania, USA -** Former SC members ** +**Former SC members** + * [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 +* [Assia Mahboubi](https://people.rennes.inria.fr/Assia.Mahboubi/), Inria, France and Vrije Universiteit Amsterdam, Netherlands +* [Magnus Myreen](https://www.cse.chalmers.se/~myreen/), Chalmers University of Technology, Sweden +* [June Andronick](https://proofcraft.systems/), Proofcraft and UNSW Sydney, Australia +* [Amy Felty](https://www.site.uottawa.ca/~afelty/), University of Ottawa, Canada +* [Yves Bertot](https://www-sop.inria.fr/members/Yves.Bertot/research.html), Inria, France +* [Viktor Vafeiadis](https://people.mpi-sws.org/~viktor/), MPI-SWS, Germany +* [Jeremy Avigad](https://www.andrew.cmu.edu/user/avigad/), Carnegie Mellon University, USA +* [Adam Chlipala](http://adam.chlipala.net), MIT, USA +* [Xavier Leroy](https://xavierleroy.org), Collège de France, PSL University, France +* [Alwen Tiu](http://users.cecs.anu.edu.au/~tiu/), Australian National University, Australia +* [Michael Norrish](https://comp.anu.edu.au/people/michael-norrish/), Australian National University, Australia +* [Chris Hawblitzel](https://www.microsoft.com/en-us/research/people/chrishaw/), Microsoft Research, USA +* [Jean-Pierre Jouannaud](https://www.lix.polytechnique.fr/Labo/Jean-Pierre.Jouannaud/), Université de Paris-Saclay, France * ... - --- **Previous CPP Conferences** From e08953fe21ff2d55eb8163739678de346bed0e15 Mon Sep 17 00:00:00 2001 From: Catalin Hritcu Date: Thu, 16 May 2024 11:37:00 +0200 Subject: [PATCH 3/8] Added link to OpenTOC --- Conferences/CPP.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Conferences/CPP.md b/Conferences/CPP.md index 735bd54..5526d02 100644 --- a/Conferences/CPP.md +++ b/Conferences/CPP.md @@ -57,6 +57,8 @@ Certified Programs and Proofs (CPP) is an international conference on practical * [CPP 2012](http://cpp12.kuis.kyoto-u.ac.jp), Kyoto, Japan, December 13-15, 2012 (collocation with APLAS’12) * [CPP 2011](https://dblp.uni-trier.de/db/conf/cpp/cpp2011.html), Kenting, Taiwan, December 7-9, 2011 (co-located with APLAS’11) +The official **CPP proceedings** since 2015 are publicly available via [SIGPLAN OpenTOC](http://www.sigplan.org/OpenTOC/#cpp). + --- **Given Distinguished Paper Awards** From d0b9f2ff9e04f639fb7ad24a05bb870ca2dd9e73 Mon Sep 17 00:00:00 2001 From: Catalin Hritcu Date: Thu, 16 May 2024 11:49:59 +0200 Subject: [PATCH 4/8] Added affiliations to Reviewer Awards --- Conferences/CPP.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Conferences/CPP.md b/Conferences/CPP.md index 5526d02..9a3adcb 100644 --- a/Conferences/CPP.md +++ b/Conferences/CPP.md @@ -77,10 +77,10 @@ The official **CPP proceedings** since 2015 are publicly available via [SIGPLAN **Given Amazing Reviewer Awards** -* CPP 2023: [Théo Winterhalter](https://theowinterhalter.github.io) -* CPP 2023: [Anja Petković Komel](https://anjapetkovic.com) -* CPP 2022: [Armaël Guéneau](http://cambium.inria.fr/~agueneau/) -* CPP 2021: [Kathrin Stark](https://www.k-stark.de) +* CPP 2023: [Théo Winterhalter](https://theowinterhalter.github.io), Inria, France +* CPP 2023: [Anja Petković Komel](https://anjapetkovic.com), TU Wien, Austria +* CPP 2022: [Armaël Guéneau](http://cambium.inria.fr/~agueneau/), Inria, France +* CPP 2021: [Kathrin Stark](https://www.k-stark.de), Heriot-Watt University, UK --- **The CPP Manifesto (from 2011)** From cfab50fc84096db4daf9d0088f0c8ccc37bb9bdc Mon Sep 17 00:00:00 2001 From: Catalin Hritcu Date: Fri, 17 May 2024 08:39:10 +0200 Subject: [PATCH 5/8] Added former CPP SC members at large too --- Conferences/CPP.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Conferences/CPP.md b/Conferences/CPP.md index 9a3adcb..d4bd0b9 100644 --- a/Conferences/CPP.md +++ b/Conferences/CPP.md @@ -38,7 +38,9 @@ Certified Programs and Proofs (CPP) is an international conference on practical * [Michael Norrish](https://comp.anu.edu.au/people/michael-norrish/), Australian National University, Australia * [Chris Hawblitzel](https://www.microsoft.com/en-us/research/people/chrishaw/), Microsoft Research, USA * [Jean-Pierre Jouannaud](https://www.lix.polytechnique.fr/Labo/Jean-Pierre.Jouannaud/), Université de Paris-Saclay, France -* ... +* [Andrew Appel](https://www.cs.princeton.edu/~appel/), Princeton University, USA +* [Nikolaj Bjorner](https://www.microsoft.com/en-us/research/people/nbjorner/), Microsoft Research, USA +* [John Harrison](https://www.cl.cam.ac.uk/~jrh13/), Amazon Web Services, USA --- **Previous CPP Conferences** From f1dbdf2c3b4b26ec5fc750e2bdbc58275f1046a7 Mon Sep 17 00:00:00 2001 From: xanovsky Date: Mon, 27 May 2024 10:38:45 -0400 Subject: [PATCH 6/8] added explicit contact instructions, report 2023 --- Cares/index.md | 34 +++++++++++++--------------------- Cares/report2022.md | 11 +++++++++++ 2 files changed, 24 insertions(+), 21 deletions(-) create mode 100644 Cares/report2022.md diff --git a/Cares/index.md b/Cares/index.md index 1c39d14..6353003 100644 --- a/Cares/index.md +++ b/Cares/index.md @@ -57,6 +57,10 @@ The SIGPLAN CARES Bylaws can be found [here](http://www.sigplan.org/CaresBylaws) A collection of CARES resources can be found [here](https://www.sigarch.org/benefit/cares/cares-resources/). +### Contacting CARES + +If you need to contact the CARES committee, you can email [any member of the committee](#sigplan-cares-committee-members) directly. If you are unsure whom to email, contact the chairs and they will provide guidance on how to proceed. Contacting the committee is not an official report, and we are not mandated reporters to the ACM. Any contact will be confidential, even to the rest of the committee. + ### SIGPLAN CARES Operations CARES members are always available by email to correspond and to set up a call with anyone who would like to speak with us about harassment, discrimination, or other concerns related to building and sustaining an inclusive research community. @@ -166,16 +170,16 @@ Confidentiality. When a person approaches a CARES member in confidence, that CA As a result, our annual reports are brief. They do not contain details about the types of contacts that CARES members have made and they do not even contain specific numbers of contacts. The reports are structured this way to protect the privacy of those that approach us. -#### What happened in 2022 +#### What happened in 2023 -In 2022, individual SIGPLAN CARES committee members were contacted confidentially by between 5 and 15 community members throughout the year. Such contacts sometimes led to extended conversations. With more people coming back to conferences in person in 2022, It appears the need for SIGPLAN CARES has grown. +In 2023, individual SIGPLAN CARES committee members were contacted confidentially by between 5 and 15 community members throughout the year. Such contacts sometimes led to extended conversations. -Members of the CARES committee represented CARES at four conferences in 2022, namely POPL 2022, PLDI 2022, ICFP 2022, and SPLASH 2022. Attendance specifics are listed on the CARES website. The presence of CARES was advertised at the opening of the conference through the general chair’s presentation. +Members of the CARES committee represented CARES at five conferences in 2023, namely POPL 2023, CC 2023, ASPLOS 2023, PLDI 2023, and ICFP 2023. Attendance specifics are listed on the CARES website. The presence of CARES was advertised at the opening of the conference through the general chair’s presentation. We have received open, public feedback from a number of members of the community expressing the fact that they appreciate the creation of the committee---they view it as a sign that the programming languages community takes community climate and our code of conduct seriously. The fact the committee has received confidential contacts is also evidence that the community would like mechanisms to discuss matters of harassment, discrimination, or ethics in private. - ### Older Reports +* [2022 Report](report2022) * [2021 Report](report2021) * [2020 Report](report2020) @@ -189,15 +193,12 @@ We have received open, public feedback from a number of members of the community Alexandra Silva
Alexandra Silva (she/her) Co-Chair, alexandra.silva@cornell.edu, Cornell University - - - David Walker
David Walker (he/him) - dpw@cs.princeton.edu, Princeton University, 2019-2022 (co-chair) - - - Vikram Adve
Vikram Adve (he/him) - Member, vadve@illinois.edu, University of Illinois + + Steve Blackburn
Steve Blackburn (he/hum) + Member, steve.blackburn@anu.edu.au, Google Deepmind and ANU + + Xinyu Feng
Xinyu Feng Member, xyfeng@nju.edu.cn, Nanjing University @@ -214,11 +215,6 @@ We have received open, public feedback from a number of members of the community Shriram Krishnamurthi
Shriram Krishnamurthi (he/him) Member, shriram@brown.edu, Brown University - - Kathryn McKinley
Kathryn McKinley (she/her) - Member, mckinley@cs.utexas.edu, Google - - Simon Peyton Jones
Simon Peyton Jones (he/him) Member, simon.peytonjones@gmail.com, Epic Games @@ -230,8 +226,4 @@ We have received open, public feedback from a number of members of the community Stephanie Weirich
Stephanie Weirich (she/her) Member, sweirich@cis.upenn.edu, University of Pennsylvania - - Peng Wu
Peng Wu (she/her) - Member, pengwu@fb.com, Facebook - diff --git a/Cares/report2022.md b/Cares/report2022.md new file mode 100644 index 0000000..dc4d45e --- /dev/null +++ b/Cares/report2022.md @@ -0,0 +1,11 @@ +--- +layout: default +title: "SIGPLAN CARES Annual Report: 2022" +--- +In 2022, individual SIGPLAN CARES committee members were contacted confidentially by between 5 and 15 community members throughout the year. Such contacts sometimes led to extended conversations. With more people coming back to conferences in person in 2022, It appears the need for SIGPLAN CARES has grown. + +Members of the CARES committee represented CARES at four conferences in 2022, namely POPL 2022, PLDI 2022, ICFP 2022, and SPLASH 2022. Attendance specifics are listed on the CARES website. The presence of CARES was advertised at the opening of the conference through the general chair’s presentation. + +We have received open, public feedback from a number of members of the community expressing the fact that they appreciate the creation of the committee---they view it as a sign that the programming languages community takes community climate and our code of conduct seriously. The fact the committee has received confidential contacts is also evidence that the community would like mechanisms to discuss matters of harassment, discrimination, or ethics in private. + +[cares]: /Cares/ From 57b0654381a9f79444b5d5b6b9b9e7fe09f1076c Mon Sep 17 00:00:00 2001 From: xanovsky Date: Mon, 27 May 2024 14:39:25 -0400 Subject: [PATCH 7/8] steve's picture and previous members --- Cares/index.md | 28 +++++++++++++++++++++++----- Cares/previous.md | 20 ++++++++++++++++++++ images/cares-photos/steve.jpg | Bin 0 -> 25024 bytes 3 files changed, 43 insertions(+), 5 deletions(-) create mode 100644 Cares/previous.md create mode 100644 images/cares-photos/steve.jpg diff --git a/Cares/index.md b/Cares/index.md index 6353003..1c93543 100644 --- a/Cares/index.md +++ b/Cares/index.md @@ -79,6 +79,18 @@ CARES committee members may also attend other workshops and conferences sponsore Conference/Meeting CARES member attendees + + ICFP 2022 + Simon Peyton Jones, more tbc + + + PLDI 2024 + Sukyoung Ryu, more tbc + + + POPL 2024 + Alexandra Silva, Sukyoung Ryu, Stephanie Weirich + ICFP 2023 Gabriele Keller, Simon Peyton Jones, Sukyoung Ryu, Stephanie Weirich @@ -160,13 +172,13 @@ CARES committee members may also attend other workshops and conferences sponsore ### SIGPLAN CARES Reports -### 2022: +### 2023: -TThis is the third annual report from the SIGPLAN CARES committee---a committee established to listen to and support folks in the programming languages community who experience or witness discrimination, harassment, or other violations of the ACM's code of conduct or ethics. +This is the fourth annual report from the SIGPLAN CARES committee---a committee established to listen to and support folks in the programming languages community who experience or witness discrimination, harassment, or other violations of the ACM's code of conduct or ethics. -What CARES does. CARES is dedicated to providing completely confidential support to members of the programming language community. We listen to members who come to us for advice or who just want to talk. If they would like advice on what kinds of actions they can take, we do our best to provide such advice. +**What CARES does.** CARES is dedicated to providing completely confidential support to members of the programming language community. We listen to members who come to us for advice or who just want to talk. If they would like advice on what kinds of actions they can take, we do our best to provide such advice. -Confidentiality. When a person approaches a CARES member in confidence, that CARES member will not share any information about the situation with anyone else without that person's explicit permission, unless there is an imminent threat or danger of some kind. Indeed, CARES members do not share the details of contacts made with other CARES members unless permitted. +**Confidentiality.** When a person approaches a CARES member in confidence, that CARES member will not share any information about the situation with anyone else without that person's explicit permission, unless there is an imminent threat or danger of some kind. Indeed, CARES members do not share the details of contacts made with other CARES members unless permitted. As a result, our annual reports are brief. They do not contain details about the types of contacts that CARES members have made and they do not even contain specific numbers of contacts. The reports are structured this way to protect the privacy of those that approach us. @@ -193,9 +205,13 @@ We have received open, public feedback from a number of members of the community Alexandra Silva
Alexandra Silva (she/her) Co-Chair, alexandra.silva@cornell.edu, Cornell University + + + David Walker
David Walker (he/him) + dpw@cs.princeton.edu, Princeton University, 2019-2022 (co-chair) - Steve Blackburn
Steve Blackburn (he/hum) + Steve Blackburn
Steve Blackburn (he/him) Member, steve.blackburn@anu.edu.au, Google Deepmind and ANU @@ -227,3 +243,5 @@ We have received open, public feedback from a number of members of the community Member, sweirich@cis.upenn.edu, University of Pennsylvania + + * [Previous Members](previous) diff --git a/Cares/previous.md b/Cares/previous.md new file mode 100644 index 0000000..09ef266 --- /dev/null +++ b/Cares/previous.md @@ -0,0 +1,20 @@ +### Former SIGPLAN CARES Committee Members + + + + + + + + + + + + + + + + + + +
Vikram Adve
Vikram Adve (he/him)		vadve@illinois.edu, University of Illinois, Jan 2020-Dec 2023
Kathryn McKinley
Kathryn McKinley (she/her)		mckinley@cs.utexas.edu, Google, Nov 2019-Dec 2023 (founder co-chair 2019-2021)
Hongseok Yang
Hongseok Yang (he/him)		hongseok00@gmail.com, KAIST, Jan 2020-Dec 2020
Peng Wu
Peng Wu (she/her)		pengwu@fb.com, Facebook, Jan 2020-Dec 2023
diff --git a/images/cares-photos/steve.jpg b/images/cares-photos/steve.jpg new file mode 100644 index 0000000000000000000000000000000000000000..6b3fc7513a47e712b492c7a1fdebbf5d4b2473b8 GIT binary patch literal 25024 zcmeFXWmp^C_cj`!El^rqixzix3x(pvi@Qs3ic63p#ic-@xO;GS_Y@6o!HT=f%k!MS zT-W*ZUgzui-AN`ZGkdQ+_nOI?wbx$HbI)r4OgSl8DF6Zj03h@70z9t+eo1;*TL1tG z3IIj`0DuB`gYX7`^dcbu5MMUf|0Tb4K==T7{qKGNKm&pJe`Es$`u}YoY7KbxUu|A= z{)?AUUUdC4-ap?+SudY|rI&qKi2vOh0g#3Czw*oRmor2CX!Y%zqaYiby$h?cnS+Tr ztEqz>n}@L@8wV>p8$cN7;b?3MGXF+lVs2?|FG6|T(m_dKZ6-pg$)muo;3#2kWi8|7 zY_8^|_|?=4WGY}r2^6Ie_7L>2bF?%6W=!E>XKU{w=pjP+uX4c``JdfvlobCq`34f9 z)KXBUkZ^D|r{H1bW@V>*>FsQ0A*lLU>c9HF{1T!3uak6lcV~6yVs&t~WaAJJ5MX2H zWaH#yd1=Ao;%WcQ*n`F1h3daGd^UG6b+&f=X6;~4@sCDh69?CCB9xSDFC(!1*AV}R z|8uUQ6#v10Ebt!-{Ko?SvA};U@E;5O|IY&d8||3ezl1pMFR={Z`4GUbY~}FH!NtnK zk%Ehr9l$RxtMKZd0PF?-$~6CqnA4<@^D%(xSAYFce;wS2`#pC8uuu^G3C9p90f<-# zNLUEZy#Vr;0PQuxzxcP?%LV}v>DB8u$SA09(Ow$VVFC~lkdP2xA-#V6&oBtSFUJ9| zuwG+-FLMSgBrE_B@c3={3rnB)htx3xD8o5SddKnsw=KvANoz5C`VcIu+JQKW(!GOs zKk^KC&5=xwcnG^+$j^EP3>F&(u^}x}J5q;GQCCSfc?D1f)18cYq`M2>l$^`AM32l} zap!JQ+fI6h6s)5k6YwrBM(#)9cUL3ehsTc*S0*=lWjQP?GzUJj7Te7r!+FShUE?b& z4ZvNk=TlLc<E zc?P&mnmz-nH4oJrf*6cyRmOYJ&1c{^`etS=Xoy7J7j%_(1707bOjf}O`N@IxIZztGDTFaN?0p96evtg0 zhk9P&E!rZ?t0*(=ssqr@yRz1^&Xfmzxb%SC;^@C`IH)__+kfTZM_BU=5MlLyk^vp+ zf*0w!G`Fq3fzbAE*H)nKutHK)a6C;3Ru`lZssejy-8qAbv!7-(1rK5K7ssz`whVeu}GYN{K z=Z7B6c%~PgIyJ|FJmIv4DtILrk0>AXO|R;1rV0wq*L@jqi%mwjJLtz(e<|QHw_Z>K zym9onGwYN4OJhId3)-~=enO;NGhM3QZZ*zCJl^>F#bZB@lVZ)VQm$>{>b+`*lW8RZ)pUu8- zF?Eym831C7su?_$-q46;YW~4;7>6&ZD(3pC>1|Kk(Avzs9wQimBr$XGL8+x2Yzz#X zFdF9p1p?cA*^y7)>q|lobWgBX$t;3t`hh!jy)h4CerAwE;?s(!wX$~RjxOX)H4@K< z&z@zAF_9hE4)&j#PZJ+xLVxnHgggV<#kilUq+MTMfAl80On6Y5#ketp`qvM4n4e@M zHZc0IVmDBLFor_8Ac^{VEZUJo=NhBL3T8wVw;zj(r}hc zK0(_g3w=Jd)z_an->9ckdtGrXGK(t89-| zdKI@!_v&faujD=X0!Gg3??3JXfc@YALE}ZXAGI=J2M{vwCv84(?Leo32wF$D?G?mh zI_~c6gML+|g1F@`P9~|mq@*<|CDKa9^4`ik3u!B}uj9K>i&YL;eF|TEW%5>4{~DVL z@R0q^tmb@zfe|+(m<8MVh7r=bteFBuD(j$zehVFM%CfnFX9|?NM0NRynEB9Apo))7 zrx!L!8?-8R0Jy*QqUf@Xue3}EnnS&3Bx;W*xF_b*Uu`A!qI#yiKfvcdk7mnXEQ{Pv z6<7?e8O}AOw~rri7xa8^D-DlrW;^b9m`=KRdzmUY3qGmyn+zzxG_;|(yc@VX8J zek82B2{z(enP)5Cs(kUj5eB>h;M&i3Buy_4sYCOQy!=inohC62Q@Zw-DT%*JXT{TM z_uX`O`8H!v&>u~a^+BiiSpyF>F}J=K(y#ypkGeh(gf? z^|>c$lb=6k7>OMT!c1{Jwrf@R$8;lEKv+DVcNkuwifQT#42pL1Trr_tf}Hi|SacOGI_2x>oZKvx$o;rg zm%Fd!OKhG2W)knSWbL(#sfOt2VtylS5eZu+{Lw@!mfg^e=$p!EkN6Uqc~Khn2Q|lF z$Hk1wZv4-@$eZypQBA%LA66n~<3k2Nv~BNO`%huLqBiXZV4RI~hbxoWR?7`gl&Rk7 zI}I;!8>zj8ad~Z;_@%Qf#J!)hp4_XyG?zY zf$`R#;sE!1mdcnhOIt2V3}!B)SjB}4a%_)~g=K=C_P1d|z45}Tg9qEztH)my<>mUk z6Qb`!i8i>Q-*q;xF(CWboCXHadpL(OKeaJ zs%E6Saj}zqcUr~U zUNBoBVwdoIoj&?nmwsUQdx?=_ehO5~D-GciZ{qKV_88-`*VWSXo?K(CC7Y3!*D=>h z%^6H3Nt6Uj8<2oh-4B8dJrI;VUambH>y0f!Bu~o^^hVCw@{En28ZY@@MWf=KLn6Qy z>i(ia(RA#>yY4AF~(b3h*c4r!5M3f?X44yg> zzIB;YnSK~K?dbBgT(?bL2wt*wb*R+sysF{)W%`@ay3pN%qa+(pYyR7mJz<15SjX%*t%>tW)E^9McgBZ zonFlIA zYJ(wmz2(m7ueN3e?u;$YSO)!~z%$_MiZLAWNz15c?ewx7*MSuL{yn|Qrkk3>>}rnW zBIKY@1K)AD(C_PDS7m$XN=dMal*?d#p=puCw6COl#>aE1WMZZ_k_=}%ahI1B7*WGY zVp3qig9oWoc{^fVddatZY!U;r1+vRpNteLqiAQCOPc{|A;ck0(LR4E7eiq;^#m#3x zgm%`z8n;8Q>-V=T5lgaiT-*O1>xDZ9ZU`3aTV`9fs=(y1;{fcxRwFk9^Otzst1v zk(~1JwfDs+twESZI67mbM859h*&#!NgVZ2hOb_lB6K3Mb>sg93;9Fe2btt6GQzN%z zMSt&L)drQA0jmpB(_Amo;kI%48GtbEXIg7?K}J1ePjz;fMbF-ncGmfkgaE*cz)y0Y zk+_btpL&!9Tty_&qHeCzzCAj!K z<;)!DpJw*YaeK#QTRG5X7Y}B(u}fF;YX$>kZ~>$IY^yhdo9BK6wWoA39ApKHIdRY< z6LboNtesKYr^^^RYK;EsR+jY$7HRFL`3yuDR{}{q9+Hr=SSOH=PB=c72vY9DSD^d1 z*;e@zrZftwAD>xf57{H=^uf(yhgGW$W48LCSS3byHqQX_ge)$L_7+p&+ZrmhabpHM zh6q2Lw6q~pi8CtxHAm&gsxBhocVs|dchVUA3x)n%zkAvyylL-~h}gbP(zR1>1+|z2 z>8R{tydVaIXGBUMr`?r&U2G+>EWB8F=NVApt@#u548UN~xvUV+ z#Yr}jUbYV<5B9DbFEpz*e}h(kR0yd6=euaC&Fg#Sv3|`^bPIa9^Lb`Bk6cxI>VI3E zfMO6A2hoN=JJ_5=U8qxkoPDc(PgAW<4lm0@^~)?)Xa&suQM!hL*} zm7)^2z#caYdvLi8ifQ)=^>UgC2Ml6RS1v5^WxIE6QnL!K!TV=4JQ-~$DW{O&wNu)} zUm84(krp4>SMY9zE1&)flN+o>?({q`Y-nFB`#x~FFl%xGz9hLb)Ejc$M4DHk8c)AN zI-K@>qaPWW@6o0dJLddXiiIZ^NLP3KX4Pt;wTh-7i#Yj{Q5X;i`$=Md`AAL7u)U2kGXzW^VUxkhG7QetEL4CB!|Lz z+_74Ejsv3&=rry=Rbf&n7RX*9fQGJA^Xqwg*;Lw=2yc9W(ek;M+hqqr+wr-311Co0 z0?0JZ?vf~=8mRf#w*z;4t}Pr{vcZj$7ncZSK?zc>?~P^o0qMh#kR4|H&CuSbp*6P( zdlu(e;tsBRMoVQ;b?dK~JK0dL@Ey&%=`c|GJ4HCvw}i@_-Pa&y1s>w=>q~GZ=R;=k z#+vhd-zv_?naX`T`3xz+V%;uHqG(S+U(4HJm{}3agC2T&UCR6Pt<+W)vf!qmjuh$^ zs7Szoq1=E*19J%5dtINlA8zk64H(m4r6Bk1p&Xq~j@r+s>`Fz0B(qq~rA&%ozm8Io zx)0wr9wRk}2W!8{gMN@%*G2InirJM65Q+GcB|^VM;Ff=osV+%FR%%|^C|}-tb4LAr z@e|^})UZPN1znqR`K|2}Q>tWr#Y`v#1|fC`BnLedOdjZBjGc^3LNEpZCEcIls(S6 zMt<_qFl3Ut{CfHKo@{YejLpR()1+r)vm}}G@cQhRd#0^#|bN_wtSl#iUa|Xk>}7ANYA<4abiOY&~(Ug zSWQ1}Zv{UNU!~PZGWeBC+75N*$pdJr+||FBc85mul^s7>XLQ?p4?V#$w^IyyPh-xv z5SjpCY`>0t!}`-#vuoV>sseel5Yr@FN2$Mx6R_gL z)drVv`~0E&0)h0e{at$Q3jzAK{JgN*>Hfn93rwtZi$UF#i|>3 zz>ha2FKOn5>-b~%FnwnEe%w3)-9J+?^9N6y$W988l~%EyF(H}L#Q})4qJsD71iL5r zwrcRs%e{~(*_d&22N2XLS_k`b6iG#@STbyKO2x42D4yZ6x(6z$b>k>~zqyl;k^2Xh zq5EY}j)95}fSz^Lx%R{Zn^R!>`2)vvl^^+}^jk(DFDGjM?n+8d|4hH{E!E;eiKGy6 z&*OnJhB)#W54Vu|Z)D;SUD1`fef5g^@nOu$OA0$c%u}0c!E9lS25KomU$3*d%+L|C z0l2?acSAGu+x%wzY(>^Nr6s1~={sTLMs1a8d#M903Mt*U(^BJ6*-5IEX?2o>sh=Tk}sO25t|+SVT_g!Ojr1pn!X%?P?W=pj3b)wIu8`2*DvfMu9Npy5f%ApYxwuRVX zhAjN1jfv3#ZTC#?OTUUu7$0S)+Pg-m(2wo9{3MaTikugMNgzemnUC~$<<9`Fz?=rQ zZ>Y8tI|RH??6Z>UppRsG$T~e`g^J2<@gg5wja6JeEn`c>37frJpMI*F+i$Ri@m3G= z3S!E{Ix+6Xs|6mUrd^w3|Z=&`57Cpdx`D-?@}$5K>{XOzUxN{D$!5d zd$iVOU=Gc<;qI7R)2Cen{KAh+Ni&;Vl@_Mkw1iHP0MBPY059;P`h{-(y*zgw>xQ3V zZbop3Cotc`)hh2obQM+KdC%)IBTF&}mF6v^VQYL1RWxY&4))2~9cesRKLTCrP}tjF z`imw`;Sj6pl911)e`&ww1vG`*Nw$4dQYz!J>+X!B>%c^MtC6 z!j=$7oh{3Bg?JwhXLV$i2+FRbFM~1x6WO#mjUozZXouHS$mmZpxx}8$$dgYO7d-R$ zwT*HHhYRGU4C=B&=%cHOxH0?suiK{R*--AGQzU^HK)pK{m!rYBR@VE3R`>~=JlJM# zoF*9%OojAO(NUm_=(2n%rmAsdI`+#T#qy6crOZHBY+ZkC zB}r6ojcP$DlJpP~0+I*^_hgWZit8Sw?|E$T_;XL+=o70XMvN74muECOr8&iNB3|qQiuwbD4%j^0fNCN9FKOq9yAzAy)*JD%rqm5AsV{?Jys_EuMXLZAEMgS zC~F25Dd-A+b&R(_36#)Tw(5+;Y=4bQ?|J}r)@=z~51V(0;yf?5Ti8D6GOLQOkL*Ok z3GqsoDcdJ4pQj&q#-zri_99c^GJCeG6HVcUMHT0r`z`%`WQO{RzzLm37M#b=g)40s zooF2c2E=5|sZU`u9*^31i!!$D5Q+A%@jS#bU`Q2=1(myrW)1C7)HuE)SMO21wrG3zi0@(6k|8TW z{lUPixl(e4}yWZIWD-xf8Y4_!{wQG2sL1?bln1cg#vKkR}0ye&BW4tFYK!oXRbVQqpyma%l zRw2N-X1MoVAiBGgztEGbNK)G55_4R7i*A9assPllLoP-pAn#{wqw|h6716Df->;pl zlGKV~hiu3ZEe5aRG&xu6_tOCA8ixUo7AQxw0Yig(-7_P>(!rzon@SF6(Ku1#l9C_b z5tKh!XPq6zvhCI{B2(;;Si%ILUKhVt@dvrF@S0d?MvI96 z@hI;wRHh_Mb}NF zD?X662MzcrZSV%kP8}hVSy0QBXSiY2ERuz!d&A2GCkbhq6Hvas9-uzW;P?}sD0evL zQapk;3U&GpXzXYA8O>1C`Q8{XXhvk@sOXFgoNd>g?XV(8-@QitAS5%+`;LSQYkF;G z>r$jdgb99>=b3&xZuuCJ%o=viXyM^!uPLHbZl*QpvB4CJgtZ@D z%petuyfdOY2LVIlB2k?D4d>T!HlBr&k0J6 z@lu_p-`}nZ?i|IXMYA)k;+1WL3@>cZvRB3CG~WfJ-E9_t2O-Q;#}!m{t@6JfE_LbR zL>&>L5^C}L#TR1<> zc>|VzZoAMujKQkouVZwF;EAHp9n2D9kYX^c+lwS6I~+HJl-=hlG(Yz@JR((X?s?{c zWm%=FsP*P=h`I=u-ViCWS~hr~w(zm!0ur)kxPcrJT9E_%Y;&%FvOTHxG~?CK9rgeX zdm>VM1^`FF)HY>o_uZGI;5Du*>F%}T(8s+idP$F$RAT433DPvIsv8;aibFb-@=l6W zj(yNL$T0C4K-$XMPIh{gPd-0qXKlZ3e~1QXdMifU+W+@JV7tBQG5bk~t~;!(_BUSK zCED)j&Pcxo#iBHwzt+wwV56P(G`aU>X-UcGLvbUhz+(!EjYHL6oc8_ImY?b1CW$59 zEfjC(Cylz%wEo5uYx3cvD^PBI9H)QaRgElnF7+X){p9}RH{mDQ*A;oTiU#aegb#I8 zR<`^mPE$ytDWY`;ynbH2aWcQPJMEQ7xnjZ4a|p+uZ`Y}4Or?b^)|+LzBk!mkh+muA zw@I)HK-UeLK!szE5w_I>G@Bfe5>EC7n!%d)gKf(20*oEQ42v-aTHpRpv{TX|V8}DT zLKjLJ(K6~pWEG;WUzOo22H!UTv!&Q)9~s`b^f*a*7dhTyWOc3KPTmFhq1_N>?n&&wR5Vpsn$NEUGBww^S-n6rU(i z!*xMdNYe>A+G$Dn@ZReu`753_6%%=ZtRJmGc0cW6pr`0xi#In-(==Odl-7?U9z>Iq z{a8}TF&Clvl6hqWx(E${*u7X=Qtg)1cFX5%Kt7(Uulq(+(sIpL(>Ji7(G|*-{?p@c zKH%)VNuAZ-419SLvHc9PnuJ%o(%Gb-eJEfrw>OZOUY?v`I+$e3f4kl3^tk8He)w|- zp?h5#OY5juquJo7GuQ_qy^shE=1$v&vHl|i)_+xBzhl(2@D@=#6kzEO{&1VNjoak; zw%Rwt^@&e6lf=?M$6QWoo%B~PjAiC$PZ;+H$<1CwIabbdl-m9w= zCh9^EW9IRBbh^`Q`(b_Tf)xk5$+{^=Tn3Qp*ig_%?#2c9!=94QoVqTY%dImzj?7ss z#&M9D;J)oC1;T{NKkRoe8o{AX;(*t5y9HUb##u(q&@PnzsG)QzxAqKxvVU?L=jY#P zz_XM*B@e1CEy~z6SZE1$<;=!vCPN^6+iT{y?lhotNB@A@IOFphRQ@@)hdTZ?vZ$IP z)~>6w6F>&&A|$(=Pq;FlhWPcNHKEg=ywNs4 z&w~rpv2{M&lYSpH4QpeR?YeAkn(>gU2ep%gAZ3n4smH z*G(Z!X{{3{F0%dh&;jMSeW@LA2qj~=QGk2DXHy5)|GjRRr2BHjm_B$(0_ZhwJQ8?B zn=}m$S0J?fL`b9U)4>u-7rHPnGK3^jy5ki8op$D^nOrjHDlTwaPiUMll}kifz;FoFjbGX`Krr0A=_L94aYv2Oj|!78rX@aF`A`JyXyi}* zZ@dvE+n7Zezp_`QiPByOH<|xDf7drr_Sjq3kTLj>a1(P9)0c@>M?LW%Ns**IH5#Ht z?P;3I?soKUnA2t26&YgU!F}=s`KT(~Nq)3R=Ieb0srBQr5sYp)flAD_%9*vbSHbML zw;CnI&U9>-*;4Odn;klhv z`8T&I>D$Z*r*`aig>>~1`o%<>v`lH-gQv#>Cx`WAL;D+*ZGkSNK#rHxla_WDqaq45 zR>nq4lv3{~nO3=Z$V|%FK4ajTDQUBY`AUOJ$s$kN@?+JPm?VD0gof#^riFl~wzD_(&P>`zwJncaDwec*U+xxhA=uU=0V z_6(5Q!3I^#*wM6JmXW+~ie6OuEN_9rjtbGZ5gbq?`CT*4>X1sCBRQeD z-TyJ&&b0NWE=!UDL3+V3)2;(9|MpOyvx@C8J+oX8@iA$GCf0pV(B%eJzBq=)+vlh| z)#k*@tFaq#KMgM=Wy)%3@aH$?Ji0_mz5BIcc=kkpn*#HVfr1xl$!{9(^k8VsSIsYJu`bcFhI&y?gsQTXm%O0I@7UlZcvo95FTiPUPG0+rihNY zO&$D>{tOTg_lkc~OVMtcJ96~Np6P~f5sEnaadG^%US3(Sa`5jdQRpA2-ldeWJvTwPM*vq~MGVAif z$yewy#rPpqf6Oh}e1~4u)fIOVo2W_*Ba4|k1tan4_>_^a5BqHh;XEmhi)+{2IR?aW$%EiNm^j9#B03Vw--9wqH zR*SyVbtw<)&w1as1z@PF5dSFWvgfI35T?xFK$T9QP&%Jxb;z+o^N&FdheMVvFI zke6G@Lab+6m_JI2wCt33Z%+p5&|J^b`4nX{277Z1H)hjZ*5xb9v#YX^3k&6&Wo`+9 zV`|@l8Lt?{^!?#psVRk;Oe{qXx2jE125+rPT^6~g`vcxsETk6FmdJ{d(rMrAegM&- zZo5c*gCVM+q$P#N7lfW@L98TTsESqw_sPU5dIGrEmaG1UizO$WNrkrA5-==y(@SGK znJlHq!$GZ~ZFo__x+w_TPZ5<+q{<+TQBjUVU(oMkvaz*VLT~%sLzxfGX~kb|r4Z3~ zlLcbe$vV;5#oV@ePg_6xgF_!{4O(|jA&I{=evXkqaOn|{uAPGEM5^}n9eR%mJQ6m@ zqj)fIo&h-$mc+Lod|MYgTr4v8LI8x!qHfOs>#FhB&dT#3jS~qMZ>RiEC`My#`&{gV0q5c>jl1{ zR@b#)^6^ISjRH@L?3{!Ph{61=)@LFxK*`YSfH${&ve*i@fbdleplJ z;3Q$bM!zBK&~NgprpAPWm|j)NogS()<4RZj4119EM)Nq#wfvE@?C&g4(%e>_pBG0{ zivQZ#We(=H&fSr_}Mn?~+GrH1>|Ych+<`OQBLAM+0a zVAB#9FSU(7&av}Zw~p~VJZ?(GW_$#EsqH|;+G94mGUL?ZT$jkNG~w=H++(ubGrw(a zo4q1Hy(;nX-EJIfmL(aWD`RKUPTQs~pohdi;OB%>!d!@ z7ztTdpOZ=8jg+d@&tpQO9bmrgE^iJ|U%@fMvK|vcn!_HL9pk)I2O4VkZAS^$T4}3$ ziWz98)s28%C1n~g{zpknP=rb>rVe+Qwl{ud4PhQfc1n{qCt;$s_0zSDxL-)Iejb^|rQKb@ z@ixeDMVSW*`dCx)q#F2?#^*v*aIfjI?ld#>ZVJE7P+{pN)z-(!l|BP-BMviCNXML; z^S2^-Gfe`7n^1s)7496QP&I>mM!kp?Ase{KDhm~Hm!QW@P>BuS6O~UNNeGQNuetva zQsJw(TZ=Z>`epd8BeDLlDn8taIz4YE4u(|j6JWaG>(cYy-Sw5lHiPBLL`;&HOqX#6 z|A4r3(M3g1cP5cfxzT{*LCzO^SpwUz<#CL6?Rgf>Ova2OtKol6ceim(d5D1C#dlR} z9!J3iEX!ZC-YHR3^&^n=thULQYL~dd1 z%_-i-QoVBJJ@Si_fMCRPMP&sv5N&1<17luXMlDSXhQoG1l3rRy>m~UwNP;jHe6DU^ z#@_VjFg2rk><;Pa;w`L0YY%(O!rRCx13|QI%Y>d+(G)j(G^H@#K$fPiKgA-TVEX8n zfca7>34Lp3DWBXaMkK7k5d8_;qkkI|7M<&ANmFJ*#~(K87O0ElVDOUs{!5M`R(~hl z5EEkRM1?I4qy=oZ6F=4pzswZu@@@p@KTp}z@D{tH`HcR>zzP&x*RKY^!!J2Wh`je0m^fyvmhK;jP zGLtS>4bo=?7<)W>lF}FshWmr(bHcJt@5BiY4m_wgJJHOZc=%5xZ$bxky(t>09>vBn z+Chb_`mDE9DmgYP>6vXZKW`?Uf5($UaVA7{dYBP1DQqX&YZh0cgP%CY~tCw}0Et(MxM!H<@DZ7*pnhze} z&M05qdz#N?H>K9+uls_#HeGL%+EpjRo}h-skg}H=+psUIxK#FF_rhUkA@gUz-OTP9 z!M(VElhQTv9#1M`fA6~_yOKOOUS;H&TvafkGRG9)PUG9hbZm*lxjBI+Hm^1dxM`?w zj<^>3Eu=DJ06LU9J1TrIG#D8*aOVw6_OY1Ax&PoXWb*#%l?R|hekEOtn=BN8A| zI=!|u=-47nIH2D%Tc<%^5Ng|HuKi}Rj1MUTg#w0eo!mqEJp;dB^5G5`xBPQkot?1J zr1+S;&(+ZB*76j2gXY&{MS1Ov8hvER>)oQDNQBP68r+K`zS0u%ySLGM^ycr-`CVVR zLu!Q0PYBkMeizt0(I#|zfqz?CyEwn;t|FL|VIlm8G3v{-j^%R2B2u=9G)yVlY0Q7o z=l8LfM6|l$gT3sqrkC4Oh2K`96E&BWz+{A+AZYb;uEDLty77nk$00q4$)_C%1P`*I zkFP62@a6tPZO+qLzt>qw@QKh`EKq0chgrsgz$`a1b^II5xBQ?d=`Mmb+*vATclI=jF1S@5hb0#$}Q)&VajOfqo?=<9^1d z_BL0q40+ypV*kTPq&<<+6;W0X)&bQC;fP)Tdn3v7KZhPL5@B0Gc3{3A_$H=Xl>G)= z%sB?;ZuaKl<_ls&bBZl1q){@F#=9US;pUKCu$HgdG_As`gr;;2i|G8_Yay4R3w5aQ z>3K!JjKu5y=9TNk0~12~`#r(hK>Z;!ds>mE)IU$}ebk;{O|=odSNIb>oUc>LH%(5PgE|mDbq)~{jSF6t z79J@M8~#ey!&ASXKYM%zY>uvm8lnrU0py*pDe2$h@0M%=9QpYX+w-eW_WsU}QP+Gl z=}N0{g=be-_B;bneY}ezW~U!O4xlST0W7213>UuSH1>q?A1Yb^M^h8V?c6nTG^-WN z##6l{|%_+N5jDGTAzJrX<6)F49vdZFrU2Yq=^R z6&vZavC`^NXS5Jf#^w1_;f9r~f)jTqzLb6;BZd?mvIq(s4}K@z9fSGcdTL?=)8xA% zL#{;Nljknx&FPGK(m_N{QX;+zh&)^iGBjQGVV$_R&1#rpF{#F+R_>2Gq56S5a3V*4e#h3Pa)TA7CocmnLDyHveTdtd3pj}vA+}ix6^EJM8#WTa~S73^OdV)ZAhUazZ6+TR@ ziAM{CVNP~2g%pPOP{2t*(P&k#aDT0 z88dw-0~!AmxGN#Hr3N$bIPl&4ZZP1Vsv{M(6VhmCl(xA4!NQm|kHVF`$V(Sh8*^5dyfjfjt&pg7h_Yrnc*Tn4&f*PDIAnjr$N!@;IP- zoO#=6%z`X90`7YmG3c^)twlv|4MEjbi_{&!>n;ewJRC>quIhlPOz6uw3s;l?#%z1% zV@v=L+rqACu>dEgw9d!3AkBIrv)s4vp7?Y8!>10ny;Rl2yJW9x&S${&PtRW+YrwcW zy#)IO=zyxU?QCLo-T~=XPtf7tg<_P2uL%CskH=uI`KjF3;as+)Z$yCo?cMYzW*19! z)`GQPqA^HzNTKUG^?`WeqbLZC1~-=l0}i<8cuT*AqssR{HcW(YyL|?Rm|xLZnKm_4 zqfcz(c7FIaT?FqvitSxs*!<)M{;;j+rjHg)VQF}FHiPZW%6!%OELI4TuL9dq6Iz!zDK*Z z=B+N9-;u0-cm1ZVGiho5cA)(Y47ow^y>HNoyJj?l)NkJ9l4pQxvz-8R+7fc3xpSD2 zE1Fr%ydPQWGpO{YJ@n){99)w$rPJVyN2+q-wg&tXW4b!ou943-lzsV2Sc$q$H0E^W zr%`q5RDz2n66(hl&dBAw5Gea$%>L+Oo2 zBD&z;hZLNgJ4aRH$6Hg`eLe$l5lpB9r4&Z0eNaOrIA?N`?j(P52ckw}sRMet z`^1z1DC*LBIBB;^!E6rSx=qsr@hI*9()|2~OXT~8a=Ul+kgfdwOb)BzV{&#O*`0*x z02oB>Iya&Srl1&3$oyJ;Oe5Z5>LE%A{ek}`(=O!_g1`S^l)yxSrqwHGp7mBhXa!gM zE7>n`WP`-wya&XS*&jBs()rq+i~6J#F^Hcnm+Re4bR1hv{iFcLx_8n)ge7WIMiAcy z4trc8MP45ExyhET>}g}Ren;1Jh9ftMxTL0NrnbaQNuvfAnxoKMFCHyCx&4#km#D8- zjX$eQ6phFf6SO1ISUx}~NRl0n9d^6eMF&2ri$+-TWc>PQDW+ zu+rdku|ot&>upfATZ&WwjYtfc0hatuj3kEuYn$J;ThBL?A`&{E5NCa)wp8W4EivCX zbhz@G26OF=cQ;=*ij&?q^1}rLE)OR=L|^hKO5qZ{4P$GEZw+g;t#Q~}tj-3nvyA+u zUx}fr!LGkwFc@shCbuehbUiSEm2T(;omg!uwFI~ycXBSlTTN%d&2a^azaP5a(w;wj zHnJBGxl5f{SWrmqa~%<2erL#!v=lxZK_}lhxCiHHSf6d3j=3@lFjJ0PT+JrSNWAMc zCSsDEd!WJ!`&!&|*5svo`SK^OvwK@La=iIwfWJi4y!fqT@3ONL@=MOl;i8RCnlahU zM0^KnIC5CfZ80NJXTjkezC+#o=&$}hd}z`ol$1%yD1KHqL!Eh6oo?iSx_oBwVchdb zxjMKhJ;Zq)>7r<}$<^gbdy8=?eTn1=Z)L!9t--2uO0S-MuRfmq2J=Wk0qI5(^T)-| z^_yGSs-H(>4^9^q(1SaW5{SGN-%h2p1m`|R5LBA158Nf5++neuxI`D*v}hy$*V0tSP^7))c@V-?p2+=Cjj)C%1dwo_-UhM!QRA&2!8R7psXIw|sa;29r`W;G z&E?deb~Fc|02X&RSkM+?04Bd0z99b69~OLEVvkYRE;QR#k9%6_A@t~<7{*-~+#Sq$ z{pc7N#xs~dXYG1>&y3nt?y++<y7i^aHtyN|6GIP64NXv>trV=0jiirnzFw6QGO zWy@yXbt>q8+Utss#1_&-1=YVW6PAx8?I-w$vG3{DxakQ;^CLaF_pefw zZ4=5seo-)Rm;`OlOm+3*wWA8L(E98=Xi0lZo~NPsS_B?rNh7p~43S`AexQTU`d5Er zWu``gJ>a+iGKC019k}aWA!p+4M%P}F+VqgNhan>)Z_UO>KA6DgHQo(w%I;;m-MH-| z0D{C0$2k80>s8dHImXv1I#Sl>t3kDgmdaGdzjpv+eSgn2!}zaJhBxwBPnAYlv&ko? z9=N96_`2H5O_u4HD-=*cJBT>-&N#0GlUcm+Mf;UzOG3oEjPH;RfqfU>y>nB;KBtY0 z#YQzbR<}IoSPtdeEbfY}hu{^t1 z<|iZ`J?rZ*I7+qT)hTkcyV&>~(;Y(%O*-)AP1|Ju05WL2UE$Gs^GPJ0N-BtB5jN0s z$@R`D(s;MSIG%7`X^un+(KrgY>7Laq_zix2R!eJ0?En}n86+QmYt?mc1ldn>vqrUvR#>pOZ~{sOPbI%v^36j` zywa`>rSgT843MlCeq)O7m3KI$bnmW-Y3rd>D8e#sDXVF#f2(HCgrJ(^T!tuDdzEYt z!n&<$&Hn(jE>cMZQbTSeWgo^13=AHIxo-)|@M}=Z8DPLR3Y-z2t!!(iR@L3NnVEuz zCkJZeW2HDNGg()Xc+inkBe9e!;kJOK9%#~-G3pCTZ=e(N-_l5+)TfRZlYtl<_uwf0g0KGoYu#Dd53_-15y(VD4J4kWfd?PXvaIbQdDqE}RG+;4 zTW@|(H6``O+HTf3un{;>jsPF$nx?MoP3*2msKow4-8}NmG>RKCHhPhe7d&FRABMXB z0QMJ;v@KQ1P`5_jLO;83tridb359dov;6VH)6f71EIqnbM21UA5_nh%RgzRApmq6& z;us2w)KywiruwG7^66G|YeuAcH2&lDM_SYc?vrbK6YXHWM1*!$Ia7|{HbKv0*1X?R zhs=Re<2#t-G5`pEfQ~;fMs|d|K(d2hkihZ@=QTRqIAJso<;Xu%-n&g> z!*^_^>_%i%!N~jId-2GwVr?!&P2qm<$YId`0QJRpDaWbc&Xl6{HS9cbeQLw)k+TuO zamgd{uWInG#l1cx@@^fPFh^BvjxmgZkMOS%(L6J+>IF@Vak^taylj6?E4W_-c+XEw z<4;)>fO3a|I`DDNTGCTp5z$K*h=AjC6f6GZ+f53Czyl8kQ#fNGB&3~9=e9Qhd)9OAT@bi~>bOb} zrA9Q@M3?oU_-;QFD)@=ke`&Y(veWoW#qq?}&8Eq;VaNqfwtCh~r&7`9ds*NRNV!*5 z=cuaR+FGFh0GG>;PxY_U^Q!VmEYIdn?IR!JVpyNV*HWJ@vC#A92+dkb;undAJc!4= zN+pC5{*4y{-}9(C3R+4{50MTfS&Ib=p1|~_816dz(h6`K(kT)tz`)>rYC-g-3V0Qy zP#Ri&^xAdEy0;6xK?88yIrghp8jSaMChA31bByg62OiawwL0duNX}Nh&;Qi?VU$LM zvXahu-s5v;@%cyKD!Cz?i8nFrxbdImLwwme>)Y0v*%{9rvEI3CdTd#-fIIpQm7TSu zd~?UAO0dIs1F!f~6zl}_t4heqPVAe^7VxkHg2MoT`PCggMAv1Q{He*$JPv7Re2lTA zvSAgRvUF)q(e&zR+fPz?uP;Ki^ZC~*!`F&++&*o&WdJbk++v_PdzFlGLH#RLljX-^ zarplL_37=Q8|r->`!)Ek6D8M$ZyaO~v|ENGai5(>9RVQcw(9#1YkPR%Fx{asN%L-8 zWe=zwh&_6#{Bd8D`c|o_cu!ll)^xcHH+GVVqGR`RJ1`wlf!f2kKDe*buK{?!O8AB0 z*mbQla{{6}i1&ds6R69^z;(uWJsAi!@ccuSxYhc^HkSUs@K4dWPdHMfu(N*jcJp8G z3leFHv!rV#-{OVWg>}aS4&LAsgI8^Ak=N{#s4%(48yGq1$6?PHAI#RYmIKL1v$GpeI zVdlyXa1===wnB^#si`b%rFj&}zFr1IC#!qDH~=5v9s1P&0BIr91R}BMGF^v!o~QGz z*dg-+y`E!0s-=h{4c8bMC+I7lq^zutoHZ|dneJs@-@Il(-!{;rJdMY%Phrh)liOTg z*x$sb4JEzC4sdymfaLq*@~)#+mu1Mdh!-G`_&MZu&!GDA?_M+Uug2f-t-cuRI+{8S zPf}B+>BFfLTmr1XdPN>w;|JH&=f7WCsc73wNW26Hi|e!k0Q{(SXfFK3v zW~(s)IT^v?s>Dh4GjCZ|E_fKn{{UL1oSS=OLCIAEk5kw6s$AY`QN`9cPnzBO9zR;W zcy|Dp&OK`FsfF|@Y2k~#%$;$C_VqQh8wmy^0EOc{IQKQ52?~XA-#PUE0QJ?i!vV<| zKb|Tabu@#}YsVDIV~}Bi`A@Lv_#fw8XTxuZdbh&Q5w53hhT_KH1iZB@Rc4RWAK{fc zqju&gY~91$x~#*w*(CJ{c0ypH6r0Pqbi+Q(x|Fac4+-x@aDOo_{&7M z@gIgK7Zy?i#4*FG0rR7;@JgBamjL(Vb6ZS65y>)@+BRe#zP&&MW1ishF~`&L$G~3@ z{7LY?U0q{An{~8=3#%y!Hun*ZFvA3^DEpEq+`Tzmsr?f0C&YgZ{6*7_qv4x?CqNC& zgybytvcF~>8a5;4kv>N0ka(|)%<_p)e9_iD{{YPWKO*7^c(kECDt7PadXx`!7kuT|_IDH>d+P_ul<-7*eveHnU= znaRPc*K^y(@45&5@K9Dh6t`@t3>4!BKD{gFTx|3{))gC9CuY+1JC<3OGBDcj5h&#U z0JJ#-{YT?kwpu2fo>*Dk7<0m|(;rw4(3A?mrMz5gJ=iu6YGKfD!#1CaN+J)DrY{5Ph*a}enPU9e;)m7>Kf8>65#aZNMAE{Ay{%87spY>&kVpeWI3~`QtFCWYrCsNIm z-={R@+Jj;fj&OQ#I0qi|N}Wr3wBe#{hbP`5OAHzl*D3XsQl{ zDW$WOIJfh5*XOU9^4R_pql&KUD)nIBNYs*FCDY}h@590$4BMo052US5{{Vz1;j?u6 zK>AG8^R(aEQ4ca3i6xBWf*a<*?nkG%{BcyqrKonelm7ay&-LnGYXw9900pCm{Yr}4 z8(;qb1~chj_(1*~o|0UT`)X;2z+Vr$Pjo-+p|6|&0JSwQ`T3Ln`lI_-QqJ$R$&voi zqy2Y--vLAa00sX5!58|OCAK=h{s;d60Qy9HKJY2&b#y=Ad87Un=YszLhW6xtz=eF{ z{k5!iyqEs^r>?uLFWtPC{`#u_0A1+y%jkdLFaH3NC;d&W(;r{|00Lk9iT~F8Qnr}S z7?p=IMhU>jIH#nHqY8GM5J>bjpQpP9cn?UKln-Ek!mkb3`SF3Cz38#OGXQrVbN+a$ z_j_WAnb-ga2d{2AepO@wWCgl#FbDLky;vKWpwm;Vjh8(LPWk!)`OppNVKjSvwx;S% z9^totzWBcV_8<`Qo(L06sy00Kgr+2jD9vV8`y{o}^q6K~jevgWXV>~w zxc>mvY+?sF9@*nH5-v6`OyC^!A6kA1~HmN58uP9=vQ-E zT*TX>k_IZk=aI)yaq}q!TevlCO14r(QZg}`tvnBs(397k4E|&IzeDw=;-sv_892UZ z?tRPfm-emE^#Klp@jJ`Y?hqo^m?YrLWoE<~R`+GzvcG+QfGGmm?nhA8P!D)BYrULenJ=r}&dpi#*_7O5^bo zGmp}vy7BLhZ>BTd>)MpE5!7Bvg9o0GvJcX@9}HA_bFaAczt?&xe+l2z{jAq~ap0c- z=!W~nTD_*6iZkWQGMSu#kQEe`c0Pb|YxAGuAMHP?_{htlcrH0K%`+uh;GMTu3V7&0 z)gc|TyVq}jk|mb%?sIc^8xUWkC!}KUV zdXJg@A93O4d|8UcN7>U{tJhz@`t=yU;euixhrh z#=kMzOK#--GwGkgr)S(Yk^mXwp4IO&=AyfivEJlk2aF$K+tUE^Ln+2TLrN5GJn|{- z7z_+xf(PMKV(wF53S{$+DXcQQAI_vvxRn|I0QFQEP{e2YP$G3;@$ESLX#p^}bUiv| zqvrz|^`{mkbB>+GOGCM-ZFW6umgd~ z^{a4PyhkyT2c<(rCZ6OWcSvAgnnBe^C-SFDZ9FT!Xx$e$1(bpL*4CeS1-7Uu2;Uw@a&9sq*G2D(w2k$5~&t9jq NO|K(bFz0DA|Jn0wLqh-n literal 0 HcmV?d00001 From 59676a52ac09c3cc26054bae6708bed6b9fddbd3 Mon Sep 17 00:00:00 2001 From: Talia Ringer Date: Fri, 31 May 2024 16:33:42 -0500 Subject: [PATCH 8/8] Updates to SIGPLAN-M website --- LongTermMentoring.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/LongTermMentoring.md b/LongTermMentoring.md index 192bd00..2da39cc 100644 --- a/LongTermMentoring.md +++ b/LongTermMentoring.md @@ -3,7 +3,7 @@ layout: default title: "SIGPLAN-M" --- -The SIGPLAN-M logo: two lambdas holding hands in the shape of the letter M. +The SIGPLAN-M logo: two purple lambdas holding hands in the shape of the letter M. The SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M) organizes an international long-term mentoring program for programming languages researchers. The goal of the program is to address two mentoring needs in the programming languages community: @@ -14,7 +14,7 @@ and to access the perspectives of researchers from other institutions. In response to these needs, SIGPLAN-M matches mentors with mentees from different institutions for mentoring relationships that last at least a year. -As of November 2022, there are about 300 mentees and 200 mentors participating in the program. +As of May 2024, there are about 350 mentees and 250 mentors participating in the program. Here are some testimonials from mentees: > [SIGPLAN-M is] a career saver! @@ -33,7 +33,7 @@ Here are some testimonials from mentees: > I got help in all aspects - from research to getting through [a] graduate program. -Check out our [Twitter](https://twitter.com/SigplanM) for the latest news! You can also read more about us in [our upcoming article](https://dependenttyp.es/pdf/mentoring.pdf) in Communications of the ACM. +Check out our [Twitter](https://twitter.com/SigplanM) for the latest news! You can also read more about us in [our article](https://dependenttyp.es/pdf/mentoring.pdf) in Communications of the ACM. ## Committee Members @@ -49,7 +49,7 @@ We welcome aspiring and current programming languages researchers from all walks SIGPLAN members and non-members alike are welcome, and there is no cost to participate. There are no limitations on country of residence or languages spoken. -Please see our [mentoring guidelines](https://docs.google.com/document/d/1eueaiHjNhhqb3JC3wnNlTRcFquNl7BN1OqBczUBumNU/edit?usp=sharing) for more information +Please see our [mentoring guidelines](https://docs.google.com/document/d/1dqY4msyoLNr-tOclwdfNTYVprgGOG0N5UGC48t2_6V8/edit?usp=sharing) for more information on what the mentoring relationships look like, what sort of commitment is involved, and what other resources might be useful for mentors and mentees. ### Becoming a Mentor