clean up, add photo's, etc

diff --git a/_data/snippets.yml b/_data/snippets.yml
index 9b53bf0..cfbeade 100644 (file)
--- a/_data/snippets.yml
+++ b/_data/snippets.yml
@@ -1,7 +1,7 @@
 title:
   en: Mart Lubbers' Website
   nl: Mart Lubbers' Webpagina
 title:
   en: Mart Lubbers' Website
   nl: Mart Lubbers' Webpagina

-  nds: Mart Lubbers zien Webstie
+  nds: Mart Lubbers ziene Webstie

 languages:
   en:
     value: en
 languages:
   en:
     value: en


@@ -19,7 +19,7 @@ top:
 backto:
   en: Back to
   nl: Terug naar
 backto:
   en: Back to
   nl: Terug naar

-  nds: Truw noar
+  nds: Terug noar

 home:
   en: home
   nl: thuis
 home:
   en: home
   nl: thuis


@@ -27,11 +27,11 @@ home:
 languagename:
   en: Languages
   nl: Talen
 languagename:
   en: Languages
   nl: Talen

-  nds: Sproaken
+  nds: Sproakes

 currentfunction:
 currentfunction:

-  en: Assistant professor at the Radboud University Nijmegen
-  nl: Universitair docent bij de Radboud Universiteit Nijmegen
-  nds: Oeniversiteets docent an den Radboud Oeniversiteet Nimwegen
+  en: Assistant professor at the Radboud University
+  nl: Universitair docent aan de Radboud Universiteit
+  nds: Oeniversiteets docent an de Radboud Oeniversiteet

 fingerprint:
   en: Fingerprint
   nl: Vingerafdruk
 fingerprint:
   en: Fingerprint
   nl: Vingerafdruk


@@ -51,13 +51,13 @@ footer:
        least &ge;80x24 text mode in one of <a href="https://en.wikipedia.org/wiki/List_of_web_browsers">these web browsers</a>.<br />
        Powered by <a href="https://jekyllrb.com">Jekyll</a>.'
   nl: '
        least &ge;80x24 text mode in one of <a href="https://en.wikipedia.org/wiki/List_of_web_browsers">these web browsers</a>.<br />
        Powered by <a href="https://jekyllrb.com">Jekyll</a>.'
   nl: '

-       Geldige HTML 5 en geöptimaliseerd voor schermlezers..<br />
+       Geldige HTML 5 en geöptimaliseerd voor schermlezers.<br />

        Het best te bekijken met een schermresolutie van tenminste &ge;640x480 of
     tenminste &ge;80x24 tekstmodus in een van <a href="https://nl.wikipedia.org/wiki/Lijst_van_webbrowsers">deze webbrowsers</a>.<br />
        Gedreven door <a href="https://jekyllrb.com">Jekyll</a> (linkt naar een Engelse site).'
   nds: '
        Het best te bekijken met een schermresolutie van tenminste &ge;640x480 of
     tenminste &ge;80x24 tekstmodus in een van <a href="https://nl.wikipedia.org/wiki/Lijst_van_webbrowsers">deze webbrowsers</a>.<br />
        Gedreven door <a href="https://jekyllrb.com">Jekyll</a> (linkt naar een Engelse site).'
   nds: '

-       Gooien HTML 5 en optimaliseerd veur schearmleazers..<br />
-       Doe kaans dit ''t beste bekieken met nen schermresolutie van mear as &ge;640x480 of
+       Sekure HTML 5 dee of optimaliseerd is veur schearmleazers.<br />
+       Dow kaans dit ''t beste bekieken met ne schermresolutie van mear as &ge;640x480 of

     mear as &ge;80x24 in tekstmodus in een van <a href="https://nl.wikipedia.org/wiki/Lijst_van_webbrowsers">dizze webbrowsers</a> (geet noar ne Nederlaandsen webstie).<br />
        Maakt deur <a href="https://jekyllrb.com">Jekyll</a> (geet noar ne Engelse webstie).'
 
     mear as &ge;80x24 in tekstmodus in een van <a href="https://nl.wikipedia.org/wiki/Lijst_van_webbrowsers">dizze webbrowsers</a> (geet noar ne Nederlaandsen webstie).<br />
        Maakt deur <a href="https://jekyllrb.com">Jekyll</a> (geet noar ne Engelse webstie).'
 

diff --git a/_posts/nds/2023-10-31-veskes.md b/_posts/nds/2023-10-31-veskes.md
index e2b33af..40f7829 100644 (file)
--- a/_posts/nds/2023-10-31-veskes.md
+++ b/_posts/nds/2023-10-31-veskes.md
@@ -16,7 +16,7 @@ Vriej oawerzet noar [Jan Boerstoel](https://www.dbnl.org/tekst/_twe007198201_01/
 Dreenken\\
 döt luk zear\\
 mear dröag leaven\\
 Dreenken\\
 döt luk zear\\
 mear dröag leaven\\

-nog völ mear\\
+nog völ mear

 
 ### Allerhealigenoamnd harlopn (2023-10-31)
 
 
 ### Allerhealigenoamnd harlopn (2023-10-31)
 

diff --git a/_posts/nds/2024-09-02-zoonder-diej.md b/_posts/nds/2024-09-02-zoonder-diej.md
new file mode 100644 (file)
index 0000000..933af59
--- /dev/null
+++ b/_posts/nds/2024-09-02-zoonder-diej.md
@@ -0,0 +1,41 @@
+---
+layout: post
+title: Zoonder diej (ohne dich)
+date: 2024-09-02
+language: nds
+language_reference: zoonderdiej
+published: true
+---
+
+{% include toc.html %}
+
+### Zoonder diej (2024-04-25)
+
+ik bin krek in de dannen west\\
+doar had ik diej ja zeen veur 't lest\\
+'n oavend lig as ne dekken op 't laand\\
+en op de pea noar 'n bos zien raand\\
+en 't wold steet ja zo zwat en zoar\\
+\\
+[bruw]\\
+pien he'k, joa pien\\
+en gen vöggel kleenkt doar woar\\
+\\
+[refrean]\\
+zoonder diej kan ik nich wean, zoonder diej\\
+met diej bin ik ok alleen, zoonder diej (zoonder diej)\\
+zoonder diej blief'k noar 'n klok turen, zoonder diej\\
+met diej vleegt veurbiej de uren, te hoap met diej.\\
+zoonder diej\\
+\\
+op 't tooghoalt wat in'n graven lech\\
+is 't stil en al 't leaven weg\\
+zölfs 't oademen valt miej ok a zwoar\\
+\\
+[bruw]\\
+\\
+[refrean]\\
+\\
+zoonder diej\\
+zoonder diej\\
+zoonder diej

diff --git a/assets/p-thumb.jpg b/assets/p-thumb.jpg
index e5e6a15..06764e8 100644 (file)
Binary files a/assets/p-thumb.jpg and b/assets/p-thumb.jpg differ

diff --git a/assets/p.jpg b/assets/p.jpg
index f779c02..d8a5271 100644 (file)
Binary files a/assets/p.jpg and b/assets/p.jpg differ

diff --git a/assets/p0-thumb.jpg b/assets/p0-thumb.jpg
new file mode 100644 (file)
index 0000000..2ae4f3b
Binary files /dev/null and b/assets/p0-thumb.jpg differ

diff --git a/assets/p1-thumb.jpg b/assets/p1-thumb.jpg
new file mode 100644 (file)
index 0000000..87140de
Binary files /dev/null and b/assets/p1-thumb.jpg differ

diff --git a/assets/p2-thumb.jpg b/assets/p2-thumb.jpg
new file mode 100644 (file)
index 0000000..4b28c1e
Binary files /dev/null and b/assets/p2-thumb.jpg differ

diff --git a/assets/p3-thumb.jpg b/assets/p3-thumb.jpg
new file mode 100644 (file)
index 0000000..e5e6a15
Binary files /dev/null and b/assets/p3-thumb.jpg differ

diff --git a/assets/p4-thumb.jpg b/assets/p4-thumb.jpg
new file mode 100644 (file)
index 0000000..e5e6a15
Binary files /dev/null and b/assets/p4-thumb.jpg differ

diff --git a/assets/p5-thumb.jpg b/assets/p5-thumb.jpg
new file mode 100644 (file)
index 0000000..e5e6a15
Binary files /dev/null and b/assets/p5-thumb.jpg differ

diff --git a/assets/p5.jpg b/assets/p5.jpg
new file mode 100644 (file)
index 0000000..d8a5271
Binary files /dev/null and b/assets/p5.jpg differ

diff --git a/files/IFL_2024.ics b/files/IFL_2024.ics
new file mode 100644 (file)
index 0000000..dbfd2c2
--- /dev/null
+++ b/files/IFL_2024.ics
@@ -0,0 +1,798 @@
+BEGIN:VCALENDAR\r
+PRODID:-//Mozilla.org/NONSGML Mozilla Calendar V1.1//EN\r
+VERSION:2.0\r
+BEGIN:VTIMEZONE\r
+TZID:Europe/Amsterdam\r
+X-TZINFO:Europe/Amsterdam[2024a]\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+000000\r
+TZOFFSETFROM:+001730\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:18920501T001730\r
+RDATE:18920501T001730\r
+END:STANDARD\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19141108T000000\r
+RDATE:19141108T000000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+020000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19160501T000000\r
+RDATE:19160501T000000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+020000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19161001T010000\r
+RDATE:19161001T010000\r
+END:STANDARD\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+020000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19170917T030000\r
+RRULE:FREQ=YEARLY;BYMONTH=9;BYDAY=3MO;UNTIL=19180916T030000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+020000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19170416T020000\r
+RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=3MO;UNTIL=19180415T020000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+000000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19181111T120000\r
+RDATE:19181111T120000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19190301T230000\r
+RDATE:19190301T230000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+000000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19191005T000000\r
+RDATE:19191005T000000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19200214T230000\r
+RDATE:19200214T230000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+000000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19201024T000000\r
+RDATE:19201024T000000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19210314T230000\r
+RDATE:19210314T230000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+000000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19211026T000000\r
+RDATE:19211026T000000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19220325T230000\r
+RDATE:19220325T230000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+000000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19221008T000000\r
+RDATE:19221008T000000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19230421T230000\r
+RDATE:19230421T230000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19240329T230000\r
+RDATE:19240329T230000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19250404T230000\r
+RDATE:19250404T230000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19260417T230000\r
+RDATE:19260417T230000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+000000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19231007T000000\r
+RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=1SU;UNTIL=19271002T000000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19270409T230000\r
+RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=2SA;UNTIL=19280414T230000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19290421T020000\r
+RDATE:19290421T020000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19300413T020000\r
+RDATE:19300413T020000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19310419T020000\r
+RDATE:19310419T020000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19320403T020000\r
+RDATE:19320403T020000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+000000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19281007T030000\r
+RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=1SU;UNTIL=19321002T030000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19330326T020000\r
+RDATE:19330326T020000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+000000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19331008T030000\r
+RDATE:19331008T030000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19340408T020000\r
+RDATE:19340408T020000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19350331T020000\r
+RDATE:19350331T020000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19360419T020000\r
+RDATE:19360419T020000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19370404T020000\r
+RDATE:19370404T020000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19380327T020000\r
+RDATE:19380327T020000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+000000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19341007T030000\r
+RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=1SU;UNTIL=19381002T030000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19390416T020000\r
+RDATE:19390416T020000\r
+END:DAYLIGHT\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+000000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19400225T020000\r
+RDATE:19400225T020000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+000000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19391119T030000\r
+RDATE:19391119T030000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+020000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19400520T030000\r
+RDATE:19400520T030000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+020000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19421102T030000\r
+RDATE:19421102T030000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+020000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19430329T020000\r
+RDATE:19430329T020000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+020000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19431004T030000\r
+RDATE:19431004T030000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+020000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19440403T020000\r
+RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=1MO;UNTIL=19450402T020000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+020000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19440917T030000\r
+RRULE:FREQ=YEARLY;BYMONTH=9;BYDAY=3SU;UNTIL=19450916T030000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+020000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19460519T020000\r
+RDATE:19460519T020000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+020000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19461007T030000\r
+RDATE:19461007T030000\r
+END:STANDARD\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+020000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19770925T030000\r
+RDATE:19770925T030000\r
+END:STANDARD\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+020000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19781001T030000\r
+RDATE:19781001T030000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+020000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19770403T020000\r
+RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=1SU;UNTIL=19800406T020000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+020000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19790930T030000\r
+RRULE:FREQ=YEARLY;BYMONTH=9;BYDAY=-1SU;UNTIL=19950924T030000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+020000\r
+TZOFFSETFROM:+010000\r
+TZNAME:Europe/Amsterdam(DST)\r
+DTSTART:19810329T020000\r
+RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU;UNTIL=19960331T020000\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+020000\r
+TZNAME:Europe/Amsterdam(STD)\r
+DTSTART:19961027T030000\r
+RDATE:19961027T030000\r
+END:STANDARD\r
+BEGIN:DAYLIGHT\r
+TZOFFSETTO:+020000\r
+TZOFFSETFROM:+010000\r
+TZNAME:(DST)\r
+DTSTART:19970330T020000\r
+RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU\r
+END:DAYLIGHT\r
+BEGIN:STANDARD\r
+TZOFFSETTO:+010000\r
+TZOFFSETFROM:+020000\r
+TZNAME:(STD)\r
+DTSTART:19971026T030000\r
+RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU\r
+END:STANDARD\r
+END:VTIMEZONE\r
+BEGIN:VEVENT\r
+CREATED:20240821T073341Z\r
+LAST-MODIFIED:20240821T073354Z\r
+DTSTAMP:20240821T073354Z\r
+UID:5cf0b4f6-7c4f-44e6-9733-cdbb6daea173\r
+SUMMARY:Close day 1\r
+DTSTART;TZID=Europe/Amsterdam:20240826T163000\r
+DTEND;TZID=Europe/Amsterdam:20240826T164500\r
+TRANSP:OPAQUE\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T073206Z\r
+LAST-MODIFIED:20240821T074001Z\r
+DTSTAMP:20240821T074001Z\r
+UID:34bfb120-4a3b-42c0-8309-b6762e3e10f7\r
+SUMMARY:Lunch\r
+DTSTART;TZID=Europe/Amsterdam:20240826T120000\r
+DTEND;TZID=Europe/Amsterdam:20240826T133000\r
+TRANSP:OPAQUE\r
+LOCATION:Mercator I\, ground floor\r
+SEQUENCE:1\r
+X-MOZ-GENERATION:1\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T073258Z\r
+LAST-MODIFIED:20240821T074100Z\r
+DTSTAMP:20240821T074100Z\r
+UID:ea151e55-e840-4a02-893e-5cce22e6d7eb\r
+SUMMARY:Coffee and Tea\r
+DTSTART;TZID=Europe/Amsterdam:20240826T150000\r
+DTEND;TZID=Europe/Amsterdam:20240826T153000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: zuidhal (south hall)\r
+SEQUENCE:1\r
+X-MOZ-GENERATION:1\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T073058Z\r
+LAST-MODIFIED:20240821T074109Z\r
+DTSTAMP:20240821T074109Z\r
+UID:43bd1d28-a6b0-4e0c-a066-00448971e421\r
+SUMMARY:Coffee and tea\r
+DTSTART;TZID=Europe/Amsterdam:20240826T100000\r
+DTEND;TZID=Europe/Amsterdam:20240826T103000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: zuidhal (south hall)\r
+SEQUENCE:1\r
+X-MOZ-GENERATION:1\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T072723Z\r
+LAST-MODIFIED:20240821T074120Z\r
+DTSTAMP:20240821T074120Z\r
+UID:fe0503b5-cf91-46da-9038-fceee689620e\r
+SUMMARY:Welcome\r
+DTSTART;TZID=Europe/Amsterdam:20240826T085500\r
+DTEND;TZID=Europe/Amsterdam:20240826T090000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: HG00.303\r
+SEQUENCE:1\r
+X-MOZ-GENERATION:1\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T072440Z\r
+LAST-MODIFIED:20240821T074412Z\r
+DTSTAMP:20240821T074412Z\r
+UID:b01999d2-1101-4974-8132-7ce1117f07fd\r
+SUMMARY:Registration & Coffee andTea\r
+DTSTART;TZID=Europe/Amsterdam:20240826T083000\r
+DTEND;TZID=Europe/Amsterdam:20240826T085500\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: main entrance\r
+DESCRIPTION;ALTREP="data:text/html,%3Cbr%3E":\n\r
+SEQUENCE:1\r
+X-MOZ-GENERATION:1\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T073221Z\r
+LAST-MODIFIED:20240821T074735Z\r
+DTSTAMP:20240821T074735Z\r
+UID:5d9bef68-e21b-4a00-93a2-02f9bc402ca8\r
+SUMMARY:Steering Committee Meeting\r
+DTSTART;TZID=Europe/Amsterdam:20240826T133000\r
+DTEND;TZID=Europe/Amsterdam:20240826T140000\r
+TRANSP:OPAQUE\r
+LOCATION:Mercator I: M1 1.13\r
+SEQUENCE:2\r
+X-MOZ-GENERATION:2\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T074741Z\r
+LAST-MODIFIED:20240821T074807Z\r
+DTSTAMP:20240821T074807Z\r
+UID:dfabddec-bf34-413b-a873-d8f691082967\r
+SUMMARY:Walk-in\, coffee and tea\r
+DTSTART;TZID=Europe/Amsterdam:20240827T083000\r
+DTEND;TZID=Europe/Amsterdam:20240827T090000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: zuidhal (south hall)\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T074916Z\r
+LAST-MODIFIED:20240821T074943Z\r
+DTSTAMP:20240821T074943Z\r
+UID:2fbcb01c-37bb-4856-83b3-bd78e4d583f8\r
+SUMMARY:Coffee and tea\r
+DTSTART;TZID=Europe/Amsterdam:20240827T103000\r
+DTEND;TZID=Europe/Amsterdam:20240827T110000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: zuidhal (south hall)\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T075120Z\r
+LAST-MODIFIED:20240821T075147Z\r
+DTSTAMP:20240821T075147Z\r
+UID:b87933c3-c108-4ebc-ae62-d5f31f05b3e0\r
+SUMMARY:Lunch\r
+DTSTART;TZID=Europe/Amsterdam:20240827T120000\r
+DTEND;TZID=Europe/Amsterdam:20240827T131500\r
+TRANSP:OPAQUE\r
+LOCATION:Mercator I: ground floor\r
+SEQUENCE:2\r
+X-MOZ-GENERATION:2\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T075148Z\r
+LAST-MODIFIED:20240821T075200Z\r
+DTSTAMP:20240821T075200Z\r
+UID:417d4e0f-e748-4362-8eae-a1df32f4abe9\r
+SUMMARY:Bus leaves for social event\r
+DTSTART;TZID=Europe/Amsterdam:20240827T131500\r
+DTEND;TZID=Europe/Amsterdam:20240827T140000\r
+TRANSP:OPAQUE\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T075201Z\r
+LAST-MODIFIED:20240821T075210Z\r
+DTSTAMP:20240821T075210Z\r
+UID:92bdf2ce-6383-412f-94cc-299c6998b366\r
+SUMMARY:Social Event\r
+DTSTART;TZID=Europe/Amsterdam:20240827T140000\r
+DTEND;TZID=Europe/Amsterdam:20240827T210000\r
+TRANSP:OPAQUE\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T075214Z\r
+LAST-MODIFIED:20240821T075225Z\r
+DTSTAMP:20240821T075225Z\r
+UID:ba7c7815-1029-48fd-8c8f-4ca0dcd4ae0d\r
+SUMMARY:Back in Nijmegen\r
+DTSTART;TZID=Europe/Amsterdam:20240827T210000\r
+DTEND;TZID=Europe/Amsterdam:20240827T211500\r
+TRANSP:OPAQUE\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T075228Z\r
+LAST-MODIFIED:20240821T075248Z\r
+DTSTAMP:20240821T075248Z\r
+UID:965fb4fd-fdc4-43f9-9ed4-d718ab554724\r
+SUMMARY:Walk-in\, coffee and tea\r
+DTSTART;TZID=Europe/Amsterdam:20240828T083000\r
+DTEND;TZID=Europe/Amsterdam:20240828T090000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: zuidhal (south hall)\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T075250Z\r
+LAST-MODIFIED:20240821T075311Z\r
+DTSTAMP:20240821T075311Z\r
+UID:ad9e6ed8-bd06-4687-acc7-3597cfaa2e3a\r
+SUMMARY:Keynote 2: Wouter Swierstra — Programming with dependent types: b\r
+ eyond evaluating the simply typed lambda calculus\r
+DTSTART;TZID=Europe/Amsterdam:20240828T090000\r
+DTEND;TZID=Europe/Amsterdam:20240828T100000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: HG00.303\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T073026Z\r
+LAST-MODIFIED:20240821T075321Z\r
+DTSTAMP:20240821T075321Z\r
+UID:9d2f46f3-3ba9-4088-b2d2-72249b9a17c8\r
+SUMMARY:Keynote 1: Edsko de Vries — The case for call-by-name\r
+DTSTART;TZID=Europe/Amsterdam:20240826T090000\r
+DTEND;TZID=Europe/Amsterdam:20240826T100000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: HG00.303\r
+DESCRIPTION;ALTREP="data:text/html,Lazy%20languages%2C%20such%20as%20Haskel\r
+ l%20and%20Clean%2C%20implement%20call-by-need%0Asemantics%3A%20arguments%20\r
+ to%20functions%20are%20evaluated%20only%20if%20and%20when%20needed%2C%20but\r
+ %0Awill%20not%20be%20evaluated%20more%20than%20once.%20This%20is%20a%20usef\r
+ ul%20default%20which%20leads%20to%0Aa%20powerful%20language%2C%20but%20it%2\r
+ 0is%20not%20%3Cem%3Ealways%3C%2Fem%3E%20the%20right%20choice.%20In%20this%2\r
+ 0talk%20we%0Awill%20look%20at%20some%20examples%20where%20we%20would%20pref\r
+ er%20that%20arguments%20%3Cem%3Eare%3C%2Fem%3E%0Aevaluated%20anew%20each%20\r
+ time%20they%20are%20used%2C%20trading%20a%20small%20amount%20of%20performan\r
+ ce%0Afor%20a%20huge%20win%20in%20memory%20usage.%20We%20will%20explore%20wa\r
+ ys%20to%20emulate%20call-by-name%0Ain%20a%20call-by-need%20language%2C%20an\r
+ d%20speculate%20about%20language%20features%20that%20might%0Aallow%20us%20c\r
+ hoose%20between%20the%20two%20semantics%20in%20a%20more%20principled%20mann\r
+ er.%0A":Lazy languages\, such as Haskell and Clean\, implement call-by-need\r
+ \nsemantics: arguments to functions are evaluated only if and when needed\,\r
+  but\nwill not be evaluated more than once. This is a useful default which \r
+ leads to\na powerful language\, but it is not always the right choice. In t\r
+ his talk we\nwill look at some examples where we would prefer that argument\r
+ s are\nevaluated anew each time they are used\, trading a small amount of p\r
+ erformance\nfor a huge win in memory usage. We will explore ways to emulate\r
+  call-by-name\nin a call-by-need language\, and speculate about language fe\r
+ atures that might\nallow us choose between the two semantics in a more prin\r
+ cipled manner.\n\r
+SEQUENCE:1\r
+X-MOZ-GENERATION:2\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T075324Z\r
+LAST-MODIFIED:20240821T075346Z\r
+DTSTAMP:20240821T075346Z\r
+UID:248a94ad-4d56-44a0-9a31-58d0e1b2afc6\r
+SUMMARY:Coffee and tea\r
+DTSTART;TZID=Europe/Amsterdam:20240828T100000\r
+DTEND;TZID=Europe/Amsterdam:20240828T103000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: zuidhal (south hall)\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T075414Z\r
+LAST-MODIFIED:20240821T075429Z\r
+DTSTAMP:20240821T075429Z\r
+UID:864d8844-3edd-476f-8b00-31a0d53d6883\r
+SUMMARY:Lunch\r
+DTSTART;TZID=Europe/Amsterdam:20240828T120000\r
+DTEND;TZID=Europe/Amsterdam:20240828T133000\r
+TRANSP:OPAQUE\r
+LOCATION:Mercator I: ground floor\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T075500Z\r
+LAST-MODIFIED:20240821T075515Z\r
+DTSTAMP:20240821T075515Z\r
+UID:f5522e6c-25e9-40eb-9b11-eca7d13466c7\r
+SUMMARY:IFL matters & closing\r
+DTSTART;TZID=Europe/Amsterdam:20240828T150000\r
+DTEND;TZID=Europe/Amsterdam:20240828T153000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: HG00.303\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T105136Z\r
+LAST-MODIFIED:20240821T105204Z\r
+DTSTAMP:20240821T105204Z\r
+UID:64e647dc-0f9e-4cf2-9367-edf1a07bace1\r
+SUMMARY:iICS bestaat 20 jaar\r
+DTSTART;TZID=Europe/Amsterdam:20250918T100000\r
+DTEND;TZID=Europe/Amsterdam:20250918T230000\r
+TRANSP:OPAQUE\r
+LOCATION:Concertgebouw de Vereniging\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T073124Z\r
+LAST-MODIFIED:20240825T184244Z\r
+DTSTAMP:20240825T184244Z\r
+UID:d60a9584-d16d-4090-99b3-c64c8868ce68\r
+SUMMARY:Session I (chair: Jurriaan Hage)\r
+DTSTART;TZID=Europe/Amsterdam:20240826T103000\r
+DTEND;TZID=Europe/Amsterdam:20240826T120000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: HG00.303\r
+DESCRIPTION;ALTREP="data:text/html,Marco%20T.%20Morazan%2C%20Oliwia%20Kempi\r
+ nski%20and%20Andr%C3%A9s%20M.%20Garced%20%E2%80%94%20The%20Implementation%2\r
+ 0of%20FSM%20Computation%20Graphs%3Cbr%3E%3Cbr%3EAndr%C3%A9s%20M.%20Garced%2\r
+ C%20Tijana%20Mini%C4%87%20and%20Marco%20T.%20Morazan%20%E2%80%94%20The%20Im\r
+ plementation%20of%20Dynamic%20Visualizations%20for%20FSM%3Cbr%3E%3Cbr%3ENie\r
+ k%20Janssen%2C%20Mart%20Lubbers%20and%20Pieter%20Koopman%20%E2%80%94%20Dist\r
+ ributed%20Data%20in%20Task-Oriented%20Programming%20on%20Edge%20Devices":Ma\r
+ rco T. Morazan\, Oliwia Kempinski and Andrés M. Garced — The Implementat\r
+ ion of FSM Computation Graphs\n\nAndrés M. Garced\, Tijana Minić and Marc\r
+ o T. Morazan — The Implementation of Dynamic Visualizations for FSM\n\nNi\r
+ ek Janssen\, Mart Lubbers and Pieter Koopman — Distributed Data in Task-O\r
+ riented Programming on Edge Devices\r
+SEQUENCE:1\r
+X-MOZ-GENERATION:2\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T073237Z\r
+LAST-MODIFIED:20240825T184255Z\r
+DTSTAMP:20240825T184255Z\r
+UID:c875e0c0-84ad-4750-b93f-c735edf4c1ca\r
+SUMMARY:Session II (chair: Mart Lubbers)\r
+DTSTART;TZID=Europe/Amsterdam:20240826T140000\r
+DTEND;TZID=Europe/Amsterdam:20240826T150000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: HG00.303\r
+DESCRIPTION;ALTREP="data:text/html,Stian%20%C3%98verby%2C%20Joachim%20Tilst\r
+ ed%20Kristensen%20and%20Michael%20Kirkedal%20Thomsen%20%E2%80%94%20%0AProba\r
+ bly%3A%20A%20programming%20language%20with%20stochastic%20let-bindings%3Cbr\r
+ %3E%3Cbr%3EVanessa%20McHale%20%E2%80%94%20Pattern%20Matching%20as%20Inverse\r
+ %20in%20Typed%20Stack-Based%20Concatenative%20Languages":Stian Øverby\, Jo\r
+ achim Tilsted Kristensen and Michael Kirkedal Thomsen — \nProbably: A pro\r
+ gramming language with stochastic let-bindings\n\nVanessa McHale — Patter\r
+ n Matching as Inverse in Typed Stack-Based Concatenative Languages\r
+SEQUENCE:1\r
+X-MOZ-GENERATION:3\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T073318Z\r
+LAST-MODIFIED:20240825T184307Z\r
+DTSTAMP:20240825T184307Z\r
+UID:7d5f84ad-18f1-4ed1-a230-a44a8cd8fa39\r
+SUMMARY:Session III (chair: Sven-Bodo Scholz)\r
+DTSTART;TZID=Europe/Amsterdam:20240826T153000\r
+DTEND;TZID=Europe/Amsterdam:20240826T163000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: HG00.303\r
+DESCRIPTION;ALTREP="data:text/html,Razvan%20Nistor%20and%20Leonhard%20Appli\r
+ s%20%E2%80%94%20What%20about%20Haskell%20Bugs%3F%20Adapting%20bug%20taxonom\r
+ ies%20to%20Haskell's%20features%20and%20community%3Cbr%3E%3Cbr%3EOscar%20Le\r
+ ijendekker%20%E2%80%94%20Experience%20report%3A%20limitations%20of%20linear\r
+ ity%20in%20%0Adependent%20type%20theories%20when%20defining%20WebGL%20throu\r
+ gh%20types%20in%20Idris%202.":Razvan Nistor and Leonhard Applis — What ab\r
+ out Haskell Bugs? Adapting bug taxonomies to Haskell's features and communi\r
+ ty\n\nOscar Leijendekker — Experience report: limitations of linearity in\r
+  \ndependent type theories when defining WebGL through types in Idris 2.\r
+SEQUENCE:1\r
+X-MOZ-GENERATION:2\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T074843Z\r
+LAST-MODIFIED:20240825T184316Z\r
+DTSTAMP:20240825T184316Z\r
+UID:86385d3d-45ec-4b4e-a5b0-e01400ed517c\r
+SUMMARY:Session IV (chair: Tim Steenvoorden)\r
+DTSTART;TZID=Europe/Amsterdam:20240827T090000\r
+DTEND;TZID=Europe/Amsterdam:20240827T103000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: HG00.303\r
+DESCRIPTION;ALTREP="data:text/html,Rinat%20Stryungis%20and%20Tom%20Schrijve\r
+ rs%20%E2%80%94%20Staging%20Automatic%20Differentiation%20with%20Template%20\r
+ Haskell%3Cbr%3E%3Cbr%3ERuifeng%20Xie%20and%20Tom%20Schrijvers%20%E2%80%94%2\r
+ 0Calculating%20Compilers%20with%20Graded%20Functions%3Cbr%3E%3Cbr%3EYouyou%\r
+ 20Cong%2C%20Hironori%20Kawazoe%20and%20Hidehiko%20Masuhara%20%E2%80%94%20A%\r
+ 20Mostly%20CPS%2C%20Partly%20ANF%20Translation%20of%20Dependent%20Types":Ri\r
+ nat Stryungis and Tom Schrijvers — Staging Automatic Differentiation with\r
+  Template Haskell\n\nRuifeng Xie and Tom Schrijvers — Calculating Compile\r
+ rs with Graded Functions\n\nYouyou Cong\, Hironori Kawazoe and Hidehiko Mas\r
+ uhara — A Mostly CPS\, Partly ANF Translation of Dependent Types\r
+X-MOZ-GENERATION:1\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T074951Z\r
+LAST-MODIFIED:20240825T184326Z\r
+DTSTAMP:20240825T184326Z\r
+UID:1128c089-3abd-411f-9c4d-bb873c9fe877\r
+SUMMARY:Session V (chair: Marco Morazán)\r
+DTSTART;TZID=Europe/Amsterdam:20240827T110000\r
+DTEND;TZID=Europe/Amsterdam:20240827T120000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: HG00.303\r
+DESCRIPTION;ALTREP="data:text/html,Jordy%20Aaldering%2C%20Bernard%20van%20G\r
+ astel%20and%20Sven-Bodo%20Scholz%20%E2%80%94%20Dynamic%20Adaptation%20of%20\r
+ Runtime%20Systems%20Based%20on%20Energy%20Consumption%3Cbr%3E%3Cbr%3EPatric\r
+ k%20van%20Beurden%2C%20Thomas%20Koopman%2C%20and%20Sven-Bodo%20Scholz%20%E2\r
+ %80%94%20A%20%0ALight-Weight%20Method%20to%20Generate%20Code%20for%20Multip\r
+ le%20GPUs%20and%20Out-Of-Core%20%0AProblems":Jordy Aaldering\, Bernard van \r
+ Gastel and Sven-Bodo Scholz — Dynamic Adaptation of Runtime Systems Based\r
+  on Energy Consumption\n\nPatrick van Beurden\, Thomas Koopman\, and Sven-B\r
+ odo Scholz — A \nLight-Weight Method to Generate Code for Multiple GPUs a\r
+ nd Out-Of-Core \nProblems\r
+X-MOZ-GENERATION:1\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T075348Z\r
+LAST-MODIFIED:20240825T184341Z\r
+DTSTAMP:20240825T184341Z\r
+UID:2bed2678-a21e-4a52-9635-520600a1ea26\r
+SUMMARY:Session VI (chair: Youyou Cong)\r
+DTSTART;TZID=Europe/Amsterdam:20240828T103000\r
+DTEND;TZID=Europe/Amsterdam:20240828T120000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: HG00.303\r
+DESCRIPTION;ALTREP="data:text/html,Michael%20Youssef%20%E2%80%94%20Shortest\r
+ %20Paths%2C%20Pigeonholes%20and%20Finite%20Sets%20%3A%20A%20Constructive%20\r
+ Proof%20in%20Agda%3Cbr%3E%3Cbr%3EBj%C3%B6rn%20L%C3%B6tters%20and%20Uwe%20Me\r
+ yer%20%E2%80%94%20Context-Free%20Binding%20Grammars%3Cbr%3E%3Cbr%3EEnzo%20A\r
+ lda%20and%20Daniel%20Andres%20Pinto%20Alvarado%20%E2%80%94%20Redesigning%20\r
+ the%20Spreadsheet%20Core":Michael Youssef — Shortest Paths\, Pigeonholes \r
+ and Finite Sets : A Constructive Proof in Agda\n\nBjörn Lötters and Uwe M\r
+ eyer — Context-Free Binding Grammars\n\nEnzo Alda and Daniel Andres Pinto\r
+  Alvarado — Redesigning the Spreadsheet Core\r
+X-MOZ-GENERATION:1\r
+END:VEVENT\r
+BEGIN:VEVENT\r
+CREATED:20240821T075430Z\r
+LAST-MODIFIED:20240825T184353Z\r
+DTSTAMP:20240825T184353Z\r
+UID:9b43f5a6-1721-4cdd-b57e-0a3cb115201a\r
+SUMMARY:Session VII (chair: Peter Achten)\r
+DTSTART;TZID=Europe/Amsterdam:20240828T133000\r
+DTEND;TZID=Europe/Amsterdam:20240828T150000\r
+TRANSP:OPAQUE\r
+LOCATION:Huygens building: HG00.303\r
+DESCRIPTION;ALTREP="data:text/html,Joachim%20Kristensen%2C%20Michael%20Kirk\r
+ edal%20Thomsen%2C%20Sophie%20Adeline%20Solheim%20%0ABosio%20and%20Triera%20\r
+ Gashi%20%E2%80%94%20pun%3A%20Fun%20with%20Properties%3B%20Towards%20a%20Pro\r
+ gramming%0A%20Language%20With%20Built-in%20Facilities%20for%20Program%20Val\r
+ idation%3Cbr%3E%3Cbr%3EJessica%20Belicia%20Cahyono%2C%20Youyou%20Cong%20and\r
+ %20Hidehiko%20Masuhara%20%E2%80%94%20Daisy%3A%20A%20Block-Based%20Environme\r
+ nt%20for%20Learning%20Data%20Modeling%3Cbr%3E%3Cbr%3EAkane%20Taniguchi%2C%2\r
+ 0Youyou%20Cong%20and%20Hidehiko%20Masuhara%20%E2%80%94%20Formalizing%20an%2\r
+ 0Object-Oriented%20Programming%20Language%20with%20Delimited%20Control":Joa\r
+ chim Kristensen\, Michael Kirkedal Thomsen\, Sophie Adeline Solheim \nBosio\r
+  and Triera Gashi — pun: Fun with Properties\; Towards a Programming\n La\r
+ nguage With Built-in Facilities for Program Validation\n\nJessica Belicia C\r
+ ahyono\, Youyou Cong and Hidehiko Masuhara — Daisy: A Block-Based Environ\r
+ ment for Learning Data Modeling\n\nAkane Taniguchi\, Youyou Cong and Hidehi\r
+ ko Masuhara — Formalizing an Object-Oriented Programming Language with De\r
+ limited Control\r
+SEQUENCE:1\r
+X-MOZ-GENERATION:2\r
+END:VEVENT\r
+END:VCALENDAR\r

diff --git a/files/andrade.pdf b/files/andrade.pdf
deleted file mode 100644 (file)
index adcae1e..0000000
Binary files a/files/andrade.pdf and /dev/null differ

diff --git a/files/antonova.pdf b/files/antonova.pdf
deleted file mode 100644 (file)
index 1bbd75b..0000000
Binary files a/files/antonova.pdf and /dev/null differ

diff --git a/files/boer.pdf b/files/boer.pdf
deleted file mode 100644 (file)
index 52b20ed..0000000
Binary files a/files/boer.pdf and /dev/null differ

diff --git a/files/böhm.pdf b/files/böhm.pdf
deleted file mode 100644 (file)
index 1ae36cf..0000000
Binary files "a/files/b\303\266hm.pdf" and /dev/null differ

diff --git a/files/crooijmans.pdf b/files/crooijmans.pdf
deleted file mode 100644 (file)
index 446fd50..0000000
Binary files a/files/crooijmans.pdf and /dev/null differ

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

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

diff --git a/files/veen.pdf b/files/veen.pdf
deleted file mode 100644 (file)
index 784db26..0000000
Binary files a/files/veen.pdf and /dev/null differ

diff --git a/index.md b/index.md
index cd41e9e..29ab488 100644 (file)
--- a/index.md
+++ b/index.md
@@ -14,6 +14,8 @@ language_reference: home
 ## Work
 
 - Assistant professor at the Radboud University --- from 2024-01
 ## Work
 
 - Assistant professor at the Radboud University --- from 2024-01

+- Past:
+<details>

 - Scientific programmer at the TOP Software Technology --- from 2023-06 till 2023-12
 - Researcher at the Radboud University --- from 2023-06 till 2023-08
 - PhD candidate at the Radboud University --- from 2018-06 till 2023-05
 - Scientific programmer at the TOP Software Technology --- from 2023-06 till 2023-12
 - Researcher at the Radboud University --- from 2023-06 till 2023-08
 - PhD candidate at the Radboud University --- from 2018-06 till 2023-05


@@ -37,10 +39,13 @@ language_reference: home
 - Klusjes/Afwas bij Hotel de la Poste --- van 2005-01 tot 2008-03
 </details>
 </details>
 - Klusjes/Afwas bij Hotel de la Poste --- van 2005-01 tot 2008-03
 </details>
 </details>

+</details>

 
 ## Publications
 ### Peer reviewed
 
 
 ## Publications
 ### Peer reviewed
 

+- 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))

 - P. Koopman, and M. Lubbers, “Strongly-Typed Multi-View Stack-Based Computations,” in Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, in PPDP ’23. New York, NY, USA: Association for Computing Machinery, 2023.
        ([pdf](files/ppdp23.pdf))
 - M. Lubbers, P. Koopman, and R. Plasmeijer, “First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming,” in Proceedings of the 34st Symposium on Implementation and Application of Functional Languages, in IFL ’22. New York, NY, USA: ACM, 2023.
 - P. Koopman, and M. Lubbers, “Strongly-Typed Multi-View Stack-Based Computations,” in Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, in PPDP ’23. New York, NY, USA: Association for Computing Machinery, 2023.
        ([pdf](files/ppdp23.pdf))
 - M. Lubbers, P. Koopman, and R. Plasmeijer, “First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming,” in Proceedings of the 34st Symposium on Implementation and Application of Functional Languages, in IFL ’22. New York, NY, USA: ACM, 2023.


@@ -79,33 +84,25 @@ language_reference: home
 
 #### Current
 
 
 #### Current
 

-- Niek Janssen (PhD)
+- PhD: Niek Janssen, and Benedikt Rips
+- MSc: Cas Visser, Elina Antonova, and Julian Bles
+- BSc: Patrick van den Bosch, and Sofie Vos

 
 

-- Rowan van Rooijen (BSc)
-- Patrick van den Bosch (BSc)
+#### Past

 
 

-#### Past 
+##### Master

 
 

-- E. Antonova, "mTask semantics and its comparison to TopHat," Bachelor's Thesis, Radboud University, Nijmegen, 2022
-       ([pdf](files/antonova.pdf), daily supervisor).
-- A.D. Nederveen, "A Task-Based Approach to the Internal Battle," Master’s Thesis (Military Technology, Processes & Systems), Netherlands Defence Academy, Den Helder, 2021
-       (<a href="#" title="On request">pdf</a>, daily supervisor).
-- G. Alberts, "Implementing Asynchronous I/O in iTasks," Master’s Thesis, Radboud University, Nijmegen, 2021
-       ([pdf](files/alberts.pdf), second reader).

 - S.S.E. Crooijmans, "Reducing the Power Consumption of IoT Devices in Task-Oriented Programming," Master’s Thesis, Radboud University, Nijmegen, 2021
 - S.S.E. Crooijmans, "Reducing the Power Consumption of IoT Devices in Task-Oriented Programming," Master’s Thesis, Radboud University, Nijmegen, 2021

-       ([pdf](files/crooijmans.pdf), daily supervisor).
-- D.J.M. Artz, "Information Technology Support for the Arterial Thoracic Outlet Syndrome," Bachelor’s Thesis, Radboud University, Nijmegen, 2020
-       ([pdf](files/artz.pdf), second reader).
-- M.L. de Boer, "Secure Communication Channels for mTask," Bachelor’s Thesis, Radboud University, Nijmegen, 2020
-       ([pdf](files/boer.pdf), daily supervisor).
-- VDG W.F.T. Vos, "Draadloze prestaties van de Wemos D1 Mini V3," Bachelor’s Thesis (Militaire Systemen en Technologie), Netherlands Defence Academy, Den Helder, 2020
-       (<a href="#" title="On request">pdf</a>, client).
+- A.D. Nederveen, "A Task-Based Approach to the Internal Battle," Master’s Thesis (Military Technology, Processes & Systems), Netherlands Defence Academy, Den Helder, 2021

 - E. van der Veen, "Mutable Collection Types in Shallow Embedded DSLs," Master’s Thesis, Radboud University, Nijmegen, 2020
 - E. van der Veen, "Mutable Collection Types in Shallow Embedded DSLs," Master’s Thesis, Radboud University, Nijmegen, 2020

-       ([pdf](files/veen.pdf), daily supervisor).

 - H. Böhm, “Asynchronous Actions in a Synchronous World,” Master’s Thesis, Radboud University, Nijmegen, 2019
 - H. Böhm, “Asynchronous Actions in a Synchronous World,” Master’s Thesis, Radboud University, Nijmegen, 2019

-       ([pdf](files/böhm.pdf), daily supervisor/second reader).

 - M. Amazonas Cabral De Andrade, “Developing Real Life, Task Oriented Applications for the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2018
 - M. Amazonas Cabral De Andrade, “Developing Real Life, Task Oriented Applications for the Internet of Things,” Master’s Thesis, Radboud University, Nijmegen, 2018

-       ([pdf](files/andrade.pdf), daily supervisor).
+
+##### Bachelor
+
+- R.M.T. van Rooijen, "Model Learning of Lexers" Bachelor's Thesis, Radboud University, Nijmegen, 2024
+- E. Antonova, "mTask semantics and its comparison to TopHat," Bachelor's Thesis, Radboud University, Nijmegen, 2022
+- M.L. de Boer, "Secure Communication Channels for mTask," Bachelor’s Thesis, Radboud University, Nijmegen, 2020

 
 ### Posters
 
 
 ### Posters
 


@@ -121,6 +118,9 @@ language_reference: home
 
 ## Teaching
 
 
 ## Teaching
 

+- 2024/2025
+       - Compiler construction --- NWI-IMC004
+       - New Devices Lab --- NWI-IBC031

 - 2023/2024
        - Compiler construction --- NWI-IMC004
 - Earlier:
 - 2023/2024
        - Compiler construction --- NWI-IMC004
 - Earlier:


@@ -146,10 +146,11 @@ language_reference: home
 
 ## Activities
 
 
 ## Activities
 

+- 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/).
 - Reviewer for [Computing (Springer)](https://www.springer.com/journal/607),
   [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
 
 
 ## Talks