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
News
- PLISS’25
+May 26 - May 31, 2025
+I attended the summer school in Bertinoro! This was followed by a short
+trip to Firenze/Florence, Muenchen/Munich, and Ravenstein.
+- ASPLOS/EuroSys’20
March 30 - April 3, 2025
I presented a talk titled Modular Data and Parallelization
Abstractions for Programming Heterogeneous Systems at EuroDW’25 in Rotterdam, and
-stayed for the full conference.
-
-- PLISS’25
-May 26 - May 31, 2025
-I attended the summer school in Bertinoro! This was followed by a short
-trip to Firenze/Florence, Muenchen/Munich, and Ravenstein.
+stayed for the full conference.
Publications
@@ -249,12 +248,12 @@ Coming soon!
Software Engineering Lab 1 (Teaching
Assistant)
-Semester: Spring 2025
+Semesters: Spring 2025, Spring 2026
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
+Semesters: Fall 2025
Description: A course in formalization, teaching students to
reason formally about programming languages and the use of the Rocq
theorem prover.
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/)
- March 30 - April 3, 2025
- 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/)
May 26 - May 31, 2025
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/)
+ March 30 - April 3, 2025
+ 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
+ *Semesters:* Spring 2025, Spring 2026
*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
+ *Semesters:* Fall 2025
*Description:* A course in formalization, teaching students to reason formally about programming languages and the use of the Rocq theorem prover.
---