Add high resolution icons and update P overview video (p-org#692)

mchadalavada · web-flow · commit c7dfc2dde4c2 · 2024-02-08T15:53:41.000-08:00
* Add high resolution icons

* Update P overview video
diff --git a/Docs/docs/index.md b/Docs/docs/index.md
@@ -28,12 +28,14 @@ communicating state machines. P supports several backend analysis engines
 checking and symbolic execution) to check that the distributed system modeled in P
 satisfy the desired correctness specifications.
 
-> The following talk provides an overview of P, its impact in academia and industry, and answers the main question that gets asked most by service teams and developers: **"why do formal modeling?"**:
-[(P @ StrangeLoop) Formal Modeling and Analysis of Distributed Systems (Finding Critical Bugs Early!!)](https://www.youtube.com/watch?v=5YjsSDDWFDY)
+> If you are wondering **"why do formal methods at all?"** or **"how is AWS using P to gain confidence in correctness of their services?"**, the following re:Invent 2023 talk answers this question, provides an overview of P, and its impact inside AWS:
+[(Re:Invent 2023 Talk) Gain confidence in system correctness & resilience with Formal Methods (Finding Critical Bugs Early!!)](https://youtu.be/FdXZXnkMDxs?si=iFqpl16ONKZuS4C0)
+
+
 
 <div align="center">
-      <a href="https://www.youtube.com/watch?v=5YjsSDDWFDY">
-         <img src="https://img.youtube.com/vi/5YjsSDDWFDY/0.jpg" style="width:40%;">
+      <a href="https://www.youtube.com/watch?v=FdXZXnkMDxs">
+         <img src="https://img.youtube.com/vi/FdXZXnkMDxs/hqdefault.jpg" style="width:40%;">
       </a>
 </div>
 
diff --git a/Icon/new_icon_high_resolution.png b/Icon/new_icon_high_resolution.png
diff --git a/Icon/new_icon_high_resolution.svg b/Icon/new_icon_high_resolution.svg
@@ -0,0 +1,97 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   width="3991"
+   height="3325"
+   xml:space="preserve"
+   overflow="hidden"
+   version="1.1"
+   id="svg29"
+   sodipodi:docname="p_logo.svg"
+   inkscape:version="1.1.2 (b8e25be833, 2022-02-05)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg"><sodipodi:namedview
+     id="namedview31"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageshadow="2"
+     inkscape:pageopacity="0.0"
+     inkscape:pagecheckerboard="0"
+     showgrid="false"
+     inkscape:zoom="0.12150376"
+     inkscape:cx="4534.8391"
+     inkscape:cy="1485.5507"
+     inkscape:window-width="1920"
+     inkscape:window-height="1001"
+     inkscape:window-x="-9"
+     inkscape:window-y="-9"
+     inkscape:window-maximized="1"
+     inkscape:current-layer="g27" /><defs
+     id="defs5"><clipPath
+       id="clip0"><rect
+         x="148"
+         y="481"
+         width="3991"
+         height="3325"
+         id="rect2" /></clipPath></defs><g
+     clip-path="url(#clip0)"
+     transform="translate(-148 -481)"
+     id="g27"><path
+       d="M736.192 2240.25 2114.98 3099.75 2057.86 3191.39 679.07 2331.88Z"
+       fill="#424B6F"
+       fill-rule="evenodd"
+       id="path7"
+       inkscape:export-filename="C:\Users\jmsan\Pictures\p_logo.png"
+       inkscape:export-xdpi="442"
+       inkscape:export-ydpi="442" /><path
+       d="M689.56 1886.24 2078.49 1043.22 2134.51 1135.52 745.588 1978.55Z"
+       fill="#424B6F"
+       fill-rule="evenodd"
+       id="path9"
+       inkscape:export-filename="C:\Users\jmsan\Pictures\p_logo.png"
+       inkscape:export-xdpi="442"
+       inkscape:export-ydpi="442" /><path
+       d="M148 2174C148 1951.98 327.982 1772 550 1772 772.018 1772 952 1951.98 952 2174 952 2396.02 772.018 2576 550 2576 327.982 2576 148 2396.02 148 2174Z"
+       fill="#333541"
+       fill-rule="evenodd"
+       id="path11"
+       inkscape:export-filename="C:\Users\jmsan\Pictures\p_logo.png"
+       inkscape:export-xdpi="442"
+       inkscape:export-ydpi="442" /><path
+       id="rect17"
+       style="fill:#333541;stroke-width:1.00035"
+       d="m 2345,478.64426 h 726 V 3806 h -726 z m 726,0 h 559.5 c 280.84,0 508.5,265.90726 508.5,593.92044 0,328.0122 -227.66,593.9205 -508.5,593.9205 h -560.8767 c 0.04,-398.8485 -2.1436,-791.84778 1.3767,-1187.84094 z"
+       sodipodi:nodetypes="ccccccssscc"
+       inkscape:export-filename="C:\Users\jmsan\Pictures\p_logo.png"
+       inkscape:export-xdpi="442"
+       inkscape:export-ydpi="442" /><circle
+       id="path22551"
+       style="fill:#000000;stroke:#000000"
+       cx="3133.5044"
+       cy="995.38739"
+       r="0" /><circle
+       id="path22553"
+       style="fill:#000000;stroke:#000000"
+       cx="3133.5044"
+       cy="995.38739"
+       r="0" /><path
+       id="path2876"
+       style="fill:#333541;fill-opacity:1;stroke:#000000;stroke-width:0"
+       d="m 2345.81,611.493 a 402.5,402.5 0 0 0 -310.7363,390.9004 402.5,402.5 0 0 0 310.7363,390.9023 z" /><path
+       id="path3073"
+       style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0"
+       d="m 2345.81,611.493 v 781.8027 a 402.5,402.5 0 0 0 91.7637,11.5977 402.5,402.5 0 0 0 402.5,-402.5 402.5,402.5 0 0 0 -402.5,-402.5 402.5,402.5 0 0 0 -91.7637,11.5996 z"
+       inkscape:export-filename="C:\Users\jmsan\Pictures\p_logo.png"
+       inkscape:export-xdpi="442"
+       inkscape:export-ydpi="442" /><path
+       id="path2876-6"
+       style="fill:#333541;fill-opacity:1;stroke:#000000;stroke-width:0"
+       d="m 2346.1601,2800.7473 a 402.5,402.5 0 0 0 -310.7363,390.9004 402.5,402.5 0 0 0 310.7363,390.9023 z" /><path
+       id="path3073-2"
+       style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0"
+       d="M 2346.1601,2800.7473 V 3582.55 a 402.5,402.5 0 0 0 91.7637,11.5977 402.5,402.5 0 0 0 402.5,-402.5 402.5,402.5 0 0 0 -402.5,-402.5 402.5,402.5 0 0 0 -91.7637,11.5996 z"
+       inkscape:export-filename="C:\Users\jmsan\Pictures\p_logo.png"
+       inkscape:export-xdpi="442"
+       inkscape:export-ydpi="442" /></g></svg>
diff --git a/README.md b/README.md
@@ -24,12 +24,14 @@ communicating state machines. P supports several backend analysis engines
 checking and symbolic execution) to check that the distributed system modeled in P
 satisfy the desired correctness specifications.
 
-> The following talk provides an overview of P, its impact in Academia and Industry, and answers the main question that gets asked most of the times by service teams and developers: **"why do formal modeling?"**:
-[(P @ StrangeLoop) Formal Modeling and Analysis of Distributed Systems (Finding Critical Bugs Early!!)](https://www.youtube.com/watch?v=5YjsSDDWFDY)
+> If you are wondering **"why do formal methods at all?"** or **"how is AWS using P to gain confidence in correctness of their services?"**, the following re:Invent 2023 talk answers this question, provides an overview of P, and its impact inside AWS:
+[(Re:Invent 2023 Talk) Gain confidence in system correctness & resilience with Formal Methods (Finding Critical Bugs Early!!)](https://youtu.be/FdXZXnkMDxs?si=iFqpl16ONKZuS4C0)
+
+
 
 <div align="center">
-      <a href="https://www.youtube.com/watch?v=5YjsSDDWFDY">
-         <img src="https://img.youtube.com/vi/5YjsSDDWFDY/0.jpg" style="width:40%;">
+      <a href="https://www.youtube.com/watch?v=FdXZXnkMDxs">
+         <img src="https://img.youtube.com/vi/FdXZXnkMDxs/0.jpg" style="width:40%;">
       </a>
 </div>
 
