Terug van weg geweest: NINJA lezingenavond op 13 juni in Mercator (Nijmegen)

Na jaren van stilte organiseert NINJA samen met Thalia weer een lezingenavond met theorie en praktijk en (oud) studiegenoten ontmoeten, dit keer over het stuiterend DVD logo en Open Search Foundation.

De lezingenavond is op dinsdag 13 juni 2023 om 20:00, begane grond Mercator 1, Toernooiveld 200, Nijmegen.
We hebben twee sprekers: Jan Martens en Mark Overmeer. De lezingen zijn nederlandstalig.

Het stuiterende DVD-logo, Fibonacci sequence, en worse-case gedrag

Jan Martens werkt als PhD student bij de TU/e in de groep Formal System Analysis (FSA). De groep doet onderzoek naar de theorie en technieken van het formeel modelleren en verifieren van systemen.

In dit praatje behandelt hij het scenario van een stuiterend dvd logo <https://www.bouncingdvdlogo.com/>. De periodiciteit van het stuiterende logo geeft inzicht in de worse-case runtime van enkele essentiële algoritmes in de formele methode. Hij laat zien hoe deze objecten via de Fibonacci reeks gekoppeld zijn aan ons vakgebied van formele methode, waarin we systemen modelleren en analyseren.

Een Europese Zoekmachine

Mark Overmeer houdt zich, als ZZPer, momenteel vooral bezig met Open Source projecten. Onder andere met de "Open Search Foundation".

De meeste mensen gebruiken Google om informatie op het web te zoeken. Er zijn allerlei initiatieven om tot een waardig alternatief te komen... maar dat is totaal niet makkelijk.

Hoe bouw je een zoekmachine waar veel partijen aan deel kunnen nemen, waar gevarieerd onderzoek mee kan worden gedaan en dat zich ook nog houdt aan de Europese wetgeving?

De afgelopen drie jaar zocht ik naar oplossingen, maar kwam vooral grote gaten tegen in onze kunde. Een aantal grote ontwikkelingen zijn nodig om ook maar in de buurt te kunnen komen als serieuze concurrent voor Google. Mark bespreekt mogelijkheden om grote technische, organisatorische en juridische problemen op te lossen.

Over de lezingenavond
De avond is in Mercator 1, dus ook een mooie gelegenheid om weer eens op de universiteit langs te gaan en de banden weer aan te halen met (oud)studenten en (oud)docenten ;-)