From 25d928c75ff30017a50ee45328cb380c0ea91cc0 Mon Sep 17 00:00:00 2001
From: jay-tux <sys.jonas@yahoo.com>
Date: Sun, 22 Feb 2026 23:39:38 +0100
Subject: [PATCH] Update teaching

---
 index.html    | 17 ++++++++---------
 jaytux.com.md | 10 +++++-----
 2 files changed, 13 insertions(+), 14 deletions(-)

diff --git a/index.html b/index.html
index 95c49c2..a49e03d 100644
--- a/index.html
+++ b/index.html
@@ -226,18 +226,17 @@ Phoenix, a data-parallel programming language
 <h2 id="news">News</h2>
 <ul>
 <li><a
+href="https://pliss.org/2025/"><strong>PLISS’25</strong></a><br />
+<small>May 26 - May 31, 2025</small><br />
+I attended the summer school in Bertinoro! This was followed by a short
+trip to Firenze/Florence, Muenchen/Munich, and Ravenstein.</li>
+<li><a
 href="https://www.asplos-conference.org/asplos2025/"><strong>ASPLOS/EuroSys’20</strong></a><br />
 <small>March 30 - April 3, 2025</small><br />
 I presented a talk titled <em>Modular Data and Parallelization
 Abstractions for Programming Heterogeneous Systems</em> at <a
 href="https://eurodw25.github.io/">EuroDW’25</a> in Rotterdam, and
-stayed for the full conference.<br />
-</li>
-<li><a
-href="https://pliss.org/2025/"><strong>PLISS’25</strong></a><br />
-<small>May 26 - May 31, 2025</small><br />
-I attended the summer school in Bertinoro! This was followed by a short
-trip to Firenze/Florence, Muenchen/Munich, and Ravenstein.</li>
+stayed for the full conference.</li>
 </ul>
 <hr />
 <h2 id="publications">Publications</h2>
@@ -249,12 +248,12 @@ Coming soon!
 <ul>
 <li><p><strong>Software Engineering Lab 1</strong> (Teaching
 Assistant)<br />
-<em>Semester:</em> Spring 2025<br />
+<small><em>Semesters:</em> Spring 2025, Spring 2026</small><br />
 <em>Description:</em> A project-oriented course meant to teach students
 to work in a professional setting, by building a mobile app.</p></li>
 <li><p><strong>Foundations of Programming Languages</strong> (Teaching
 Assistant)<br />
-<em>Semester:</em> Fall 2025<br />
+<small><em>Semesters:</em> Fall 2025</small><br />
 <em>Description:</em> A course in formalization, teaching students to
 reason formally about programming languages and the use of the Rocq
 theorem prover.</p></li>
diff --git a/jaytux.com.md b/jaytux.com.md
index 09baae6..2f8ada4 100644
--- a/jaytux.com.md
+++ b/jaytux.com.md
@@ -40,12 +40,12 @@ header-includes:
 
 ## News
 
-- [**ASPLOS/EuroSys'20**](https://www.asplos-conference.org/asplos2025/)  
-  <small>March 30 - April 3, 2025</small>  
-  I presented a talk titled *Modular Data and Parallelization Abstractions for Programming Heterogeneous Systems* at [EuroDW'25](https://eurodw25.github.io/) in Rotterdam, and stayed for the full conference.  
 - [**PLISS'25**](https://pliss.org/2025/)   
   <small>May 26 - May 31, 2025</small>  
   I attended the summer school in Bertinoro! This was followed by a short trip to Firenze/Florence, Muenchen/Munich, and Ravenstein.
+- [**ASPLOS/EuroSys'20**](https://www.asplos-conference.org/asplos2025/)  
+  <small>March 30 - April 3, 2025</small>  
+  I presented a talk titled *Modular Data and Parallelization Abstractions for Programming Heterogeneous Systems* at [EuroDW'25](https://eurodw25.github.io/) in Rotterdam, and stayed for the full conference.  
 
 ---
 
@@ -58,11 +58,11 @@ header-includes:
 ## Teaching
 
 - **Software Engineering Lab 1** (Teaching Assistant)  
-  *Semester:* Spring 2025  
+  <small>*Semesters:* Spring 2025, Spring 2026</small>  
   *Description:* A project-oriented course meant to teach students to work in a professional setting, by building a mobile app.
 
 - **Foundations of Programming Languages** (Teaching Assistant)  
-  *Semester:* Fall 2025  
+  <small>*Semesters:* Fall 2025</small>  
   *Description:* A course in formalization, teaching students to reason formally about programming languages and the use of the Rocq theorem prover.
 
 ---