mipro

diff --git a/files/mipro25.pdf b/files/mipro25.pdf
new file mode 100644 (file)
index 0000000..0754202
Binary files /dev/null and b/files/mipro25.pdf differ

diff --git a/index.md b/index.md
index 67f7aa7..ff52959 100644 (file)
--- a/index.md
+++ b/index.md
@@ -45,9 +45,9 @@ language_reference: home
 ### Peer reviewed
 
 
-- P. Medur, M. Lubbers, G. Mauša, “Optimizing Keyword Spotting Classifier based on Tiny Machine Learning for Low-Power Embedded Devices,” in 2025 48st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, Croatia.
-<!--   ([pdf](files/mipro25.pdf))-->
-- N. Janssen, M. Lubbers, and P. Koopman, ̈́“Communication for Task-Oriented Systems with Edge Devices,” In: Trends in Functional Programming. TFP 2025.
+- P. Medur, M. Lubbers, and G. Mauša, “Optimizing Keyword Spotting Classifier Based on Tiny Machine Learning for Low-Power Embedded Devices”, in 2025 MIPRO 48th ICT and Electronics Convention, 2025, pp. 186–191.
+       ([pdf](files/mipro25.pdf))
+- N. Janssen, M. Lubbers, and P. Koopman, “Communication for Task-Oriented Systems with Edge Devices,” In: Trends in Functional Programming. TFP 2025.
        ([pdf](files/tfp25.pdf))
 - S. Li, P. Trinder, C. De Troyer, M. Lubbers, and A. Ramsingh, “The Benefits of Tierless Elixir/Potato for Engineering IoT Systems,” in Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, in Erlang 2024. New York, NY, USA: Association for Computing Machinery, 2024, pp. 84–95.
        ([pdf](files/erlang24.pdf))
@@ -78,7 +78,7 @@ language_reference: home
 
 ### Other
 
-- M. Lubbers and P. Achten, “Clean for Haskell Programmers”. 2024. [Online].  Available: https://arxiv.org/abs/2411.00037
+- M. Lubbers and P. Achten, “Clean for Haskell Programmers”. 2024. [Online].  Available: [https://arxiv.org/abs/2411.00037](https://arxiv.org/abs/2411.00037)
 
 ### Theses
 
@@ -93,9 +93,11 @@ language_reference: home
 
 #### Current
 
-- PhD: Niek Janssen, and Benedikt Rips
-- MSc: Elina Antonova
-- BSc: Niek Adams, Matej Hora
+- PhD: Niek Janssen and Benedikt Rips
+- MSc. Dante van Gemert
+- Internship: Madelief Slaats
+- BSc: Ard van der Putten, Patricia Ojeda Velázquez, Peter Klein Haneveld,
+  Joost van Esch
 
 #### Past
 
@@ -116,6 +118,8 @@ language_reference: home
 - R. van Rooijen, ‘Model Learning of Lexers’, Bachelor’s Thesis, Radboud University, Nijmegen, 2024.
 - P. van den Bosch, ‘Decompilation of Kasada’s JavaScript Virtual machine’, Bachelor’s Thesis, Radboud University, Nijmegen, 2025.
 - S. Vos, ‘Running iTasks tasks in the browser’, Bachelor’s Thesis, Radboud University, Nijmegen, 2025.
+- M. Hora, ‘Grafting Dynamic Editor Trees’, Bachelor’s Thesis, Radboud University, Nijmegen, 2025.
+
 
 ### Posters
 
@@ -131,41 +135,31 @@ language_reference: home
 
 ## Teaching
 
-- 2024/2025
-       - Compiler construction --- NWI-IMC004
-       - New Devices Lab --- NWI-IBC031
-- 2023/2024
-       - Compiler construction --- NWI-IMC004
-- Earlier:
+- Compiler Construction (M) --- NWI-IMC004, 2018-2021, 2023-now
+- New Devices Lab (B2) --- NWI-IBC031, 2020-2022, 2024-now
+- 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)
+- Task Oriented Programming for the Internet of Things ([3COWS/CEFP](https://people.inf.elte.hu/cefp/) summer school in Budapest, Hungary, 2019)
 <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)
+- Computers en Programmeren --- TCP1 (practicals only), 2019 at the [NLDA](https://www.defensie.nl/onderwerpen/defensieacademie)
+- Advanced Programming --- NWI-I00032 (tutorials only), 2018
 </details>
 
 ## Activities
 
-- Program committee [IFL2025](https://www.fing.edu.uy/inco/congresos/ifl2025), 2025
-- Program committee [CompSys](https://www.compsys.science/conference/current/), 2025
-- Program committee [TFPiE](https://wiki.tfpie.science.ru.nl/Main_Page), 2025
-- Program chair and host [IFL 2024](https://ifl24.cs.ru.nl/), 2024
-- Vice/publicity chair steering committee [IFL](https://www.ifl-symposia.org), 2024--2028
-- Reviewer for [Computing (Springer)](https://www.springer.com/journal/607),
-  [Sustrainable 2022 (Springer)](https://sustrainable.uniri.hr/).
+- PC member:
+       [TFP'26](https://trendsfp.github.io/),
+       [IFL'25](https://www.fing.edu.uy/inco/congresos/ifl2025),
+       [CompSys](https://www.compsys.science/conference/current/),
+       [TFPiE'25](https://trendsfp.github.io/)
+- PC chair:
+       [TFPiE'26](https://wiki.tfpie.science.ru.nl/TFPIE2026)
+       [IFL'24](https://ifl24.cs.ru.nl/),
+- Vice/publicity chair SC [IFL](https://www.ifl-symposia.org), 2024--2028
+- Reviewer for
+       [Scheme 2025](https://conf.researchr.org/home/icfp-splash-2025/scheme-2025),
+       [Computing (Springer)](https://www.springer.com/journal/607),
+       [Sustrainable 2022 (Springer)](https://sustrainable.uniri.hr/).
 
 ## Talks