Update workshop-2024.md

Author: david-broman

src/pages/workshop-2024.md

@@ -22,42 +22,48 @@ The workshop is free of charge and includes lunch, coffee, and Swedish fika. The
 * **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: Deadline November 29, noon**
+**REGISTRATION (Deadline November 28, end-of-day):** [REGISER NOW!](https://www.kth.se/form/miking-workshop-2024)
 
 
 ## Agenda
-**10.00** **Registration**
+**10.00** **Registration and Coffee**
 
-**10.30** **Welcome and introduction to Miking**.
-Speaker: David Broman [[slides](/workshop-2023/intro.pdf)]
 
-**11.15** **Coffee break**
+**10.35** **Welcome and an introduction to Miking**.
+Speaker: David Broman 
+
 
-**11:30** **Session 1: Types and Parsing in Miking**
+**11.15** **Coffee break**
 
-* Title: *Universal Collection Types*. Speaker: Viktor Palmkvist [[slides](/workshop-2023/ucts.pdf)]
-* Title: *Towards LR parsing in Miking - key ideas and challenges*. Speaker: John Wikman [[slides](/workshop-2023/lrkparser.pdf)]
-* Title: *A new polymorphic type system for Miking*. Speaker: Anders Ågren Thuné [[slides](/workshop-2023/typesystem.pdf)]
+**11:30** **Tutorial: Parsing with Miking using Resolvable Ambiguity**
+Speaker: Viktor Palmkvist 
 
 **12.00** **Lunch**
 
+**13:15** **Session 1: Next generation of Miking: Types and Tool Support**
 
-**13.00** **Hacking session 1: Getting started and playing around**
+* Title: *Language Composition through Product Extension and Its Use Cases for DSL Development*. Speaker: Marten Voorberg
+* Title: *Empowering DSLs with Automated Language Server Generation*. Speaker: Didrik Munther 
+
+**13:45** **Hacking session 1: Getting started and playing around**
   Organizers: The Miking core team
 
-**14:30** **Session 2: Tuning and Code Generation**
-* Title: *Programming with Context-Sensitive Holes using Dependency-Aware Tuning*. Speaker: Linnea Stjerna [[slides](/workshop-2023/tuning.pdf)]
-* Title: *Functional programming on the JVM*. Speaker: Asta Olofsson
+**14:30** **Session 2: Optimized and Efficient Domain-Specific Languages**
+
+* Title: *Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers*. Speaker: Oscar Ericsson
+* Title: *Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions*. Speaker: Lars Hummelgren 
 
 **15.00** **Coffee break**
 
-**15:30** **Session 3: Domain-Specific Languages (DSLs) in Miking**
+**15:30** **Session 3: TreePPL - Phylogenetic Inference using Miking**
+
+* Title: *Phylogenetic inference problems: a brief introduction*. Speaker: Fredrik Ronquist
+* Title: *TreePPL: a DSL in Miking for Phyologenetics*. 
+* Title: *Implementing a complex biological model in TreePPL*. Speaker: Mariana P Braga
+* Title: *Automated inference optimizations in the probabilistic programming language Miking CorePPL*. Speaker: Gizem Caylak
 
-* Title: *TreePPL - a new DSL in Miking for Phyologenetics*. Speaker: Viktor Senderov [[slides](/workshop-2023/treeppl.pdf)]
-* Title: *Real-time Probabilistic Programming, a DSL in Miking*. Speaker: Lars Hummelgren [[slides](/workshop-2023/probtime.pdf)]
-* Title: *Equation-based modeling and simulation in Miking*. Speaker: Oscar Eriksson [[slides](/workshop-2023/eoo.pdf)]
 
-**16.15** **Hacking session 2: Try out your favorite DSL or hack on the compiler**
+**16.30** **Hacking session 2: Try out your favorite DSL or hack on the compiler**
 Organizers: The Miking core team
 
 **17.00** **Conclusions and more happy hacking!**
@@ -67,3 +73,4 @@ Organizers: The Miking core team
 ## Previous workshops
 
 * [2022: 1st Miking Workshop, KTH, Stockholm](workshop-2022)
+* [2023: 2nd Miking Workshop, KTH, Stockholm](workshop-2023)