add talks and note on student topics

diff --git a/_includes/index_header.html b/_includes/index_header.html
index 876769b..3b1d208 100644 (file)
--- a/_includes/index_header.html
+++ b/_includes/index_header.html
@@ -3,6 +3,5 @@
 <tt>mart@martlubbers.net</tt> (GPG: <a href="http://martlubbers.net/mart@martlubbers.net.asc" title="Fingerprint: 74FF FBF1 4758 273B 2F56  A30C A937 B7A1 AD3F EBE7" style="font-family:monospace">AD3FEBE7</a>)<br />
 <tt>mart@cs.ru.nl</tt><br />
 <a rel="me" href="https://gitlab.com/mlubbers">gitlab</a>,
-<a rel="me" href="https://akademienl.social/@mart">Mastodon</a>,
 <a rel="me" href="https://dblp.uni-trier.de/pid/238/2964.html">dblp</a>,
 <a rel="me" href="https://orcid.org/0000-0002-4015-4878">ORCiD</a>

diff --git a/index.md b/index.md
index a977132..7792ceb 100644 (file)
--- a/index.md
+++ b/index.md
@@ -7,6 +7,8 @@ language_reference: home
 
 {% include index_header.html %}
 
+#### For BSc, MSc and internship topics, please see: [https://sws.cs.ru.nl/Teaching/TOP](https://sws.cs.ru.nl/Teaching/TOP).
+
 {% include toc.html %}
 
 ## Work
@@ -108,22 +110,40 @@ language_reference: home
 
 ## Teaching
 
-- Sustainable IoT Programming ([SusTrainable 2023](https://sustrainable.dei.uc.pt/) summer school in Coimbra, Portugal, 2023)
-- Green Computing for the IoT ([SusTrainable 2022](https://sustrainable.uniri.hr/) summer school in Rijeka, Croatia, 2022)
-- New Devices Lab --- NWI-IBC031 (20/21, 21/22, 22/23)
-- Computers en Programmeren --- TCP1 (19/20) at the [NLDA](https://www.defensie.nl/onderwerpen/defensieacademie)
-- Task Oriented Programming for the Internet of Things ([3COWS/CEFP](https://people.inf.elte.hu/cefp/) summer school in Budapest, Hungary, 2019)
-- Compiler construction --- NWI-IMC004 (18/19, 19/20, 20/21, 21/22, 23/24)
-- Advanced Programming --- NWI-I00032 (18/19)
+- 2023/2024
+       - Compiler construction --- NWI-IMC004
+- Earlier:
+<details>
+- 2022/2023
+       - New Devices Lab --- NWI-IBC031
+       - Sustainable IoT Programming ([SusTrainable 2023](https://sustrainable.dei.uc.pt/) summer school in Coimbra, Portugal, 2023)
+- 2021/2022
+       - New Devices Lab --- NWI-IBC031
+       - Compiler construction --- NWI-IMC004
+       - Green Computing for the IoT ([SusTrainable 2022](https://sustrainable.uniri.hr/) summer school in Rijeka, Croatia, 2022)
+- 2020/2021
+       - New Devices Lab --- NWI-IBC031
+       - Compiler construction --- NWI-IMC004
+- 2019/2020
+       - Computers en Programmeren --- TCP1 (practicals only) at the [NLDA](https://www.defensie.nl/onderwerpen/defensieacademie)
+       - Task Oriented Programming for the Internet of Things ([3COWS/CEFP](https://people.inf.elte.hu/cefp/) summer school in Budapest, Hungary, 2019)
+       - Compiler construction --- NWI-IMC004
+- 2018/2019
+       - Compiler construction --- NWI-IMC004
+       - Advanced Programming --- NWI-I00032 (tutorials only)
+</details>
 
 ## Activities
 
 - Reviewer for [Computing (Springer)](https://www.springer.com/journal/607),
-  [Sustrainable 2022](https://sustrainable.uniri.hr/).
-- Vice/publicity chair steering committee [IFL](https://www.ifl-symposia.org)
+  [Sustrainable 2022 (Springer)](https://sustrainable.uniri.hr/).
+- Vice/publicity chair steering committee [IFL](https://www.ifl-symposia.org), 2024--2028
+- Program committee [TFPiE](https://wiki.tfpie.science.ru.nl/Main_Page), 2025
 
 ## Talks
 
+- 2024-05-28 --- The Design and Implementation of Embedded Domain-Specific Languages ([Lambda Days 2024](https://www.lambdadays.org/lambdadays2024))
+- 2024-04-11 --- Tierless Internet of Things with Task-Oriented Programming ([ICT.OPEN2024 (Mastering Complexity for Cyber-Physical Systems (CPS))](https://www.ictopen.nl/))
 - 2024-01-16 --- Simplifying Classy Deep Embedding ([SWSSeminar](https://www.sws.cs.ru.nl/SWSSeminar))
 - 2023-11-27 --- Sustainable Software Engineering for the Internet of Things ([BENEVOL 2023](https://benevol2023.github.io/))
 - 2023-10-04 --- Orchestrating the Internet of Things with Task-Oriented Programming ([PhD defense](/en/thesis.html))
@@ -136,6 +156,8 @@ language_reference: home
 - 2022-05-17 --- First-Class Data Types in Shallow Embedded Domain Specific Languages using Metaprogramming ([TFP 2022](https://trendsfp.github.io))
 - 2022-04-04 --- Onderzoeker in de Klas ([BS Noorderbreedte](https://noorderbreedtediemen.nl))
 - 2022-01-20 --- Task-Oriented Programming for the Internet of Things ([ENS seminar](https://www.tudelft.nl/ewi/over-de-faculteit/afdelingen/software-technology/embedded-and-networked-systems))
+- Earlier:
+<details>
 - 2021-11-04 --- Green Computing for the Internet of Things ([SusTrainable Teacher Training](https://sustrainable.github.io/))
 - 2021-04-07 --- Deep Embedding with Class ([SWSSeminar](https://www.sws.cs.ru.nl/SWSSeminar))
 - 2021-02-17 --- Asynchronous Shared Data Sources ([TFP 2021/LambdaDays 2021](http://tfp2021.org), [video](https://youtu.be/ouXBbj5DV5w))
@@ -150,7 +172,7 @@ language_reference: home
 - 2018-10-23 --- Three day teacher training on TOP and IOT for the 3COWS project ([3COWS](https://kpi.fei.tuke.sk/en/user/szabo-csaba/focusing-education-composability-comprehensibility-and-correctness-working-software))
 - 2018-01-05 --- Task Oriented Pearl: Distributed Blockchain Applications ([NLFP18](http://wiki.clean.cs.ru.nl/NL-FP_dag_2018))
 - 2017-08-31 --- Task Oriented Programming and the Internet of Things ([IFL 2017](http://2017.iflconference.org/))
-- Earlier:
+- Even earlier:
 <details>
 - 2017-03-11 --- [Software Science Master's](http://www.ru.nl/english/education/masters/software-science/) information evening ([RU](https://ru.nl))
 - 2016-11-17 --- [Software Science Master's](http://www.ru.nl/english/education/masters/software-science/) information evening ([RU](https://ru.nl))
@@ -163,6 +185,7 @@ language_reference: home
 - 2014-09-09 --- Introduction to the command line and [bash](https://www.gnu.org/software/bash) ([LUGN](http://www.linuxnijmegen.nl/))
 - 2014-07-08 --- Advanced usage of [ssh](https://www.openssh.com) ([LUGN](http://www.linuxnijmegen.nl/))
 </details>
+</details>
 
 ## Other