Updated Miking website

miking-lang · Nov 10, 2023 · 08622c6 · 08622c6
1 parent cabbff1
commit 08622c6
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/docusaurus.config.js b/docusaurus.config.js
@@ -67,9 +67,9 @@ const config = {
             label: 'Publications',
           },
           {
-            to: 'workshop-2022',
+            to: 'workshop-2023',
             position: 'left',
-            label: 'Workshop 2022',
+            label: 'Workshop 2023',
           },
           {
             href: 'https://github.com/miking-lang/',

diff --git a/src/pages/workshop-2023.md b/src/pages/workshop-2023.md
@@ -12,12 +12,12 @@ The workshop is free of charge and includes lunch, coffee, and Swedish fika. The
 
 
 * **Date:** November 23, 2023
-* **Time:** 10.00-15.00 (including lunch and fika, see below)
+* **Time:** 10.00-17.00 (including lunch and fika, see below)
 * **Cost:** Free of charge
 * **Format:** Hybrid (in person or online via Zoom)
 * **Place:** KTH Campus, Digital Futures Hub, Stockholm. For a map, [see here](https://www.digitalfutures.kth.se/contact/how-to-get-here/).
 
-**REGISTRATION:**  [Please register as soon as possible by clicking on this link](https://www.kth.se/form/miking-workshop-2022)!
+**REGISTRATION:**  [Please register as soon as possible by clicking on this link](https://www.kth.se/form/miking-workshop-2023)!
 
 
 ## Agenda (tentative)
@@ -57,3 +57,9 @@ Speaker: David Broman
 Organizers: The Miking core team
 
 **17.00** **Conclusions and more happy hacking!**
+
+
+
+## Previous workshops
+
+* [workshop-2022](2022: 1st Miking Workshop, KTH, Stockholm)