From 7633c6f73f3c6589335574516daf96b88431bbfb Mon Sep 17 00:00:00 2001
From: Robert Hirschfeld <>
Date: Mon, 13 Feb 2023 23:34:43 +0100
Subject: [PATCH] minor edits

---
 index.html        | 2 +-
 px16/index.html   | 2 +-
 px17.2/index.html | 2 +-
 px17/index.html   | 2 +-
 px18/index.html   | 2 +-
 px19/index.html   | 2 +-
 px20/index.html   | 2 +-
 px21/index.html   | 2 +-
 px22/index.html   | 2 +-
 px23/index.html   | 4 ++--
 10 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/index.html b/index.html
index 67e35f5..0097b37 100644
--- a/index.html
+++ b/index.html
@@ -27,7 +27,7 @@ <h1> Programming Experience (PX) Home </h1>
 
 <div class="important">
 <ul>
-  <li> <a href="./px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 13 or 14, 2023, Tokyo, Japan (hybrid) </li>
+  <li> <a href="./px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 14, 2023, Tokyo, Japan (hybrid) </li>
   <li> <a href="./px22/index.html" rel="external">PX/22</a> at <a href="https://2022.programming-conference.org/home/px-2022" rel="external">&lt;Programming&gt; 2022</a>, March 16, 2022, Porto, Portugal (online) </li>
   <li> <a href="./px21/index.html" rel="external">PX/21</a> at <a href="https://2021.programming-conference.org/home/px-2021" rel="external">&lt;Programming&gt; 2021</a>, March 23, 2021, Cambridge, UK (online) </li>
   <li> <a href="./px20/index.html" rel="external">PX/20</a> at <a href="https://2020.programming-conference.org/track/px-2020-papers/" rel="external">&lt;Programming&gt; 2020</a>, March 23, 2020, Porto, Portugal (online) </li>
diff --git a/px16/index.html b/px16/index.html
index 6be7722..bc2145a 100644
--- a/px16/index.html
+++ b/px16/index.html
@@ -199,7 +199,7 @@ <h2> Program committee </h2>
 <h2> PX editions </h2>
 
 <ul>
-  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 13 or 14, 2023, Tokyo, Japan (hybrid) </li>
+  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 14, 2023, Tokyo, Japan (hybrid) </li>
   <li> <a href="../px22/index.html" rel="external">PX/22</a> at <a href="https://2022.programming-conference.org/home/px-2022" rel="external">&lt;Programming&gt; 2022</a>, March 16, 2022, Porto, Portugal (online) </li>
   <li> <a href="../px21/index.html" rel="external">PX/21</a> at <a href="https://2021.programming-conference.org/home/px-2021" rel="external">&lt;Programming&gt; 2021</a>, March 23, 2021, Cambridge, UK (online) </li>
   <li> <a href="../px20/index.html" rel="external">PX/20</a> at <a href="https://2020.programming-conference.org/track/px-2020-papers/" rel="external">&lt;Programming&gt; 2020</a>, March 23, 2020, Porto, Portugal (online) </li>
diff --git a/px17.2/index.html b/px17.2/index.html
index fea7036..d35ddcb 100644
--- a/px17.2/index.html
+++ b/px17.2/index.html
@@ -213,7 +213,7 @@ <h2> Program committee </h2>
 <h2> PX editions </h2>
 
 <ul>
-  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 13 or 14, 2023, Tokyo, Japan (hybrid) </li>
+  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 14, 2023, Tokyo, Japan (hybrid) </li>
   <li> <a href="../px22/index.html" rel="external">PX/22</a> at <a href="https://2022.programming-conference.org/home/px-2022" rel="external">&lt;Programming&gt; 2022</a>, March 16, 2022, Porto, Portugal (online) </li>
   <li> <a href="../px21/index.html" rel="external">PX/21</a> at <a href="https://2021.programming-conference.org/home/px-2021" rel="external">&lt;Programming&gt; 2021</a>, March 23, 2021, Cambridge, UK (online) </li>
   <li> <a href="../px20/index.html" rel="external">PX/20</a> at <a href="https://2020.programming-conference.org/track/px-2020-papers/" rel="external">&lt;Programming&gt; 2020</a>, March 23, 2020, Porto, Portugal (online) </li>
diff --git a/px17/index.html b/px17/index.html
index 31357a1..3501cf2 100644
--- a/px17/index.html
+++ b/px17/index.html
@@ -189,7 +189,7 @@ <h2> Program committee </h2>
 <h2> PX editions </h2>
 
 <ul>
-  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 13 or 14, 2023, Tokyo, Japan (hybrid) </li>
+  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 14, 2023, Tokyo, Japan (hybrid) </li>
   <li> <a href="../px22/index.html" rel="external">PX/22</a> at <a href="https://2022.programming-conference.org/home/px-2022" rel="external">&lt;Programming&gt; 2022</a>, March 16, 2022, Porto, Portugal (online) </li>
   <li> <a href="../px21/index.html" rel="external">PX/21</a> at <a href="https://2021.programming-conference.org/home/px-2021" rel="external">&lt;Programming&gt; 2021</a>, March 23, 2021, Cambridge, UK (online) </li>
   <li> <a href="../px20/index.html" rel="external">PX/20</a> at <a href="https://2020.programming-conference.org/track/px-2020-papers/" rel="external">&lt;Programming&gt; 2020</a>, March 23, 2020, Porto, Portugal (online) </li>
diff --git a/px18/index.html b/px18/index.html
index b27fa33..603e757 100644
--- a/px18/index.html
+++ b/px18/index.html
@@ -230,7 +230,7 @@ <h2> Program committee </h2>
 <h2> PX editions </h2>
 
 <ul>
-  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 13 or 14, 2023, Tokyo, Japan (hybrid) </li>
+  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 14, 2023, Tokyo, Japan (hybrid) </li>
   <li> <a href="../px22/index.html" rel="external">PX/22</a> at <a href="https://2022.programming-conference.org/home/px-2022" rel="external">&lt;Programming&gt; 2022</a>, March 16, 2022, Porto, Portugal (online) </li>
   <li> <a href="../px21/index.html" rel="external">PX/21</a> at <a href="https://2021.programming-conference.org/home/px-2021" rel="external">&lt;Programming&gt; 2021</a>, March 23, 2021, Cambridge, UK (online) </li>
   <li> <a href="../px20/index.html" rel="external">PX/20</a> at <a href="https://2020.programming-conference.org/track/px-2020-papers/" rel="external">&lt;Programming&gt; 2020</a>, March 23, 2020, Porto, Portugal (online) </li>
diff --git a/px19/index.html b/px19/index.html
index dd8f959..d996215 100644
--- a/px19/index.html
+++ b/px19/index.html
@@ -227,7 +227,7 @@ <h2> Program committee </h2>
 <h2> PX editions </h2>
 
 <ul>
-  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 13 or 14, 2023, Tokyo, Japan (hybrid) </li>
+  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 14, 2023, Tokyo, Japan (hybrid) </li>
   <li> <a href="../px22/index.html" rel="external">PX/22</a> at <a href="https://2022.programming-conference.org/home/px-2022" rel="external">&lt;Programming&gt; 2022</a>, March 16, 2022, Porto, Portugal (online) </li>
   <li> <a href="../px21/index.html" rel="external">PX/21</a> at <a href="https://2021.programming-conference.org/home/px-2021" rel="external">&lt;Programming&gt; 2021</a>, March 23, 2021, Cambridge, UK (online) </li>
   <li> <a href="../px20/index.html" rel="external">PX/20</a> at <a href="https://2020.programming-conference.org/track/px-2020-papers/" rel="external">&lt;Programming&gt; 2020</a>, March 23, 2020, Porto, Portugal (online) </li>
diff --git a/px20/index.html b/px20/index.html
index 46e4814..08f329f 100644
--- a/px20/index.html
+++ b/px20/index.html
@@ -232,7 +232,7 @@ <h2> Program committee </h2>
 <h2> PX editions </h2>
 
 <ul>
-  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 13 or 14, 2023, Tokyo, Japan (hybrid) </li>
+  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 14, 2023, Tokyo, Japan (hybrid) </li>
   <li> <a href="../px22/index.html" rel="external">PX/22</a> at <a href="https://2022.programming-conference.org/home/px-2022" rel="external">&lt;Programming&gt; 2022</a>, March 16, 2022, Porto, Portugal (online) </li>
   <li> <a href="../px21/index.html" rel="external">PX/21</a> at <a href="https://2021.programming-conference.org/home/px-2021" rel="external">&lt;Programming&gt; 2021</a>, March 23, 2021, Cambridge, UK (online) </li>
   <li> <a href="../px20/index.html" rel="external">PX/20</a> at <a href="https://2020.programming-conference.org/track/px-2020-papers/" rel="external">&lt;Programming&gt; 2020</a>, March 23, 2020, Porto, Portugal (online) </li>
diff --git a/px21/index.html b/px21/index.html
index 1f4b4a3..67c29d8 100644
--- a/px21/index.html
+++ b/px21/index.html
@@ -234,7 +234,7 @@ <h2> Program committee </h2>
 <h2> PX editions </h2>
 
 <ul>
-  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 13 or 14, 2023, Tokyo, Japan (hybrid) </li>
+  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 14, 2023, Tokyo, Japan (hybrid) </li>
   <li> <a href="../px22/index.html" rel="external">PX/22</a> at <a href="https://2022.programming-conference.org/home/px-2022" rel="external">&lt;Programming&gt; 2022</a>, March 16, 2022, Porto, Portugal (online) </li>
   <li> <a href="../px21/index.html" rel="external">PX/21</a> at <a href="https://2021.programming-conference.org/home/px-2021" rel="external">&lt;Programming&gt; 2021</a>, March 23, 2021, Cambridge, UK (online) </li>
   <li> <a href="../px20/index.html" rel="external">PX/20</a> at <a href="https://2020.programming-conference.org/track/px-2020-papers/" rel="external">&lt;Programming&gt; 2020</a>, March 23, 2020, Porto, Portugal (online) </li>
diff --git a/px22/index.html b/px22/index.html
index 8b1f529..8feef55 100644
--- a/px22/index.html
+++ b/px22/index.html
@@ -240,7 +240,7 @@ <h2> Program committee </h2>
 <h2> PX editions </h2>
 
 <ul>
-  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 13 or 14, 2023, Tokyo, Japan (hybrid) </li>
+  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 14, 2023, Tokyo, Japan (hybrid) </li>
   <li> <a href="../px22/index.html" rel="external">PX/22</a> at <a href="https://2022.programming-conference.org/home/px-2022" rel="external">&lt;Programming&gt; 2022</a>, March 16, 2022, Porto, Portugal (online) </li>
   <li> <a href="../px21/index.html" rel="external">PX/21</a> at <a href="https://2021.programming-conference.org/home/px-2021" rel="external">&lt;Programming&gt; 2021</a>, March 23, 2021, Cambridge, UK (online) </li>
   <li> <a href="../px20/index.html" rel="external">PX/20</a> at <a href="https://2020.programming-conference.org/track/px-2020-papers/" rel="external">&lt;Programming&gt; 2020</a>, March 23, 2020, Porto, Portugal (online) </li>
diff --git a/px23/index.html b/px23/index.html
index 9114f63..1c8edaa 100644
--- a/px23/index.html
+++ b/px23/index.html
@@ -25,7 +25,7 @@
 
 <h1> Programming Experience 2023 (PX/23) Workshop </h1>
 
-<p> March 13 (Mon) or 14 (Tue), 2023 (hybrid / online) </p>
+<p> March 14 (Tue), 2023 (hybrid) </p>
 
 <p> Co-located with <a href="http://2023.programming-conference.org/" rel="external">&lt;Programming&gt; 2023</a> in Tokyo, Japan </p>
 
@@ -256,7 +256,7 @@ <h2> Program committee </h2>
 <h2> PX editions </h2>
 
 <ul>
-  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 13 or 14, 2023, Tokyo, Japan (hybrid) </li>
+  <li> <a href="../px23/index.html" rel="external">PX/23</a> at <a href="https://2023.programming-conference.org/home/px-2023" rel="external">&lt;Programming&gt; 2023</a>, March 14, 2023, Tokyo, Japan (hybrid) </li>
   <li> <a href="../px22/index.html" rel="external">PX/22</a> at <a href="https://2022.programming-conference.org/home/px-2022" rel="external">&lt;Programming&gt; 2022</a>, March 16, 2022, Porto, Portugal (online) </li>
   <li> <a href="../px21/index.html" rel="external">PX/21</a> at <a href="https://2021.programming-conference.org/home/px-2021" rel="external">&lt;Programming&gt; 2021</a>, March 23, 2021, Cambridge, UK (online) </li>
   <li> <a href="../px20/index.html" rel="external">PX/20</a> at <a href="https://2020.programming-conference.org/track/px-2020-papers/" rel="external">&lt;Programming&gt; 2020</a>, March 23, 2020, Porto, Portugal (online) </li>