Aankomende woensdag 16 maart vindt Symposium Zephyrus plaats in Kinepolis in Enschede. Hierdoor is de verenigingskamer helaas de hele dag gesloten.

Op 17 maart vanaf 9 uur is de kamer weer open voor je vragen, of als je even wat te eten wilt halen.

Door een groot aantal besmettingen wijzen we op het advies om thuis te blijven bij klachten, en om een zelftest te doen als je naar IA of één van onze activiteiten komt.

Het is ons opgevallen dat er afgelopen week een verhoogd aantal besmettingen zijn geconstateerd onder onze leden. In overleg met de GGD hebben we besloten om de commissiemarkt van 16 februari te verplaatsen naar 2 maart. Verder gaan alle andere activiteiten komende week nog wel gewoon door, en blijft de Inter-Actief kamer de hele week geopend. Echter vragen we wel iedereen om extra voorzichtig te zijn; blijf thuis bij klachten en doe een zelftest voordat naar Inter-Actief of één van onze activiteiten komt.

Wij zoeken mensen die kunnen helpen tijdens de numerus fixus examendag (betaald!)

op 5 maart vindt het numerus fixus examen voor TCS plaats en omdat we onze campus natuurlijk ook aan deze mogelijke studenten willen laten zien, zijn er wat meer activiteiten rondom zoals een lunch en een kleine puzzeltocht-achtige activiteit rond de campus. Deze vinden plaats op zaterdag 5 maart van 9.30 tot 14.30 uur. Wij zijn op zoek naar studenten die deze dag willen helpen. Je wordt betaald via UTflex omdat het werk is voor de faculteit!

Als je geinteresseerd bent, stuur mij een bericht op education@inter-actief.net

On January 30th, 2022 Remco Abraham has received the ENIAC Thesis Award 2020-2021 for his thesis titled “Symbolic LTL Reactive Synthesis”.

A delegation of the ENIAC board visited Remco at home to hand over the big cheque (worth €500,-) and the physical trophy.

The jury consisted of Tim Kemp (winner last year, FMT), Pieter-Tjerk de Boer (DACS) and Luís Ferreira Pires (SCS). They scored all nominated theses on a number of criteria:

• Scientific approach
• Practical approach (“engineering approach”)
• Difficulty of research
• Readability and usability of thesis to specialists and computer scientists in general
• Benefits of research / development for greater good

The jury had the following to say:

The jury agreed that all the nominations were of excellent quality, which made us proud of the work that is being performed by our Master students. It was interesting to notice that the nominated theses are quite diverse not only in terms of their application areas, techniques, and methodologies, but also their presentation and writing styles. This means that the selection of the award-winning thesis is a far from trivial process. After evaluating the theses for their scientific depth, practical importance, level of difficulty (complexity), readability and relevance, the jury unanimously selected Remco Abraham as the winner of the ENIAC thesis award 2020-2021!

The thesis is entitled ‘Symbolic LTL Reactive Synthesis’, and the relatively short title hides the complexity and comprehensiveness of the work. The thesis dives into mathematical theories like Linear Temporal Logic, w-automata and parity games, amongst others, without losing the attention of the reader. The text is extremely clear and properly illustrated with figures and diagrams, making it accessible for computer scientists with some basic knowledge of formal methods.

Remco combined different mathematical theories of computation in a new way and in great depth. The jury was impressed by the amount and the quality of innovative work performed in this thesis. In addition to the theoretical work, Remco also implemented these theories in a software tool where he implemented multiple techniques for the first time using a symbolic approach. The tool has been compared with another tool that is quite popular in this area on a common set of benchmarks, both showing its correctness and showing potential benefits in performance. The tool embodies the practical application of the results, making the work quite complete.

We congratulate Remco for this outstanding achievement!

Remco was nominated by the FMT group. Besides Remco, the other nominees were:

• Chakshu Gupta – “HoneyKube: Designing a Honeypot Using Microservices-Based Architecture” (SCS)
• Frank Ruis – “Independent Prototype Propagation Graph for Compositional Zero-Shot Recognition” (DMB)
• Ricardo Ampudia – “Visible Light Positioning for Unmanned Aerial Vehicles” (PS)
• Matthijs Souilljee – “Locating Selective Sweeps with Accelerated Convolutional Neural Networks” (CAES)
• Rick de Vries – “Clash of Clangs: Differential Testing of srcML and Clang” (FMT)

We would like to thank the departments for the nominations and the jury for reading and grading the theses. We wish all nominees the best of luck with their future careers!

Original message: https://eniacalumni.wordpress.com/2022/01/31/remco-abraham-wins-the-eniac-thesis-award-2020-2021/

Om Arend te bedanken voor zijn werk voor het programma hebben we hem een cadeau gegeven.

Met ingang van dit jaar heeft Arend ons verlaten als opleidingsdirecteur om een ​​nieuw avontuur aan te gaan binnen onze faculteit. Om hem te bedanken voor zijn tijd en inspanningen om ons te helpen de beste studie te maken voor al onze studenten hebben wij een persoonlijk cadeau samengesteld. De studenten en medewerkers schreven berichten voor hem en de opleidingscommissie bundelde deze in een boek.

Arend wil alle studenten en medewerkers bedanken voor deze tijd en hun leuke berichten.

De Kick-IT commissie voor 2022 is gevormd. Samen zullen ze het opleidingsdeel van de Kick-In organiseren.

De functieverdeling is als volgt:

Hella Janssen - Voorzitter

Niels Rotmensen - Secretaris & Bachelor Dag

Krisiyan Dimitrov - Penningmeester

Wout Velthuis - Logistiek

Mariska Frelier - Kamp & Activisten

Anamaria Ceban - Doegroepmarkt & Integratie

Van links naar rechts: Niels, Wout, Hella, Mariska, Anamaria, Krisiyan

Nu fysieke colleges weer zijn toegestaan op de campus, is ook de Inter-Actief kamer weer dagelijks van 9 tot 16:00 geopend.

Vanwege de 1,5 m maatregel kan er op dit moment nog wel maar een beperkt aantal mensen in de Inter-Actief kamer werken. Maar je kan nog altijd langskomen om een snack te halen uit onze cookie corner, of om even een vraag te stellen. Daarnaast wijzen we graag nog op het universiteitsbeleid om twee keer per week een zelftest te doen, en om in universiteitsgebouwen altijd een mondkapje te dragen.

De IBC-commissie 2022 is gevormd!

De commissie bestaat uit de volgende leden:

• Wander Stribos - Voorzitter
• Cas ten Have - Secretaris \ Promotie
• Gilian Schrijver - Penningmeester
• Pim Mulder - Logistiek
• Pepijn Visser - Excursies
• Arda Koc - Excursies

Naar aanleiding van de huidige coronamaatregelen is de Inter-Actief kamer helaas wederom gesloten.

Afgelopen zaterdag, 18 december, kondigde de overheid nieuwe coronamaatregelen aan als reactie op de snel verspreidende omikron-variant van het virus. Als gevolg is de Inter-Actief kamer momenteel gesloten, en kunnen de meeste geplande activiteiten geen doorgang vinden.

Verdere informatie over de effecten van de nieuwe maatregelen zullen later volgen. Voor nu blijft het bestuur bereikbaar om te helpen met enige vragen of problemen in de verenigingskamer, of op contact@inter-actief.net.

Tijdens de Algemene Ledenvergadering van 13 december 2021 is besloten Kevin Alberts te benoemen tot Lid van Verdienste.

Acht jaar geleden begon Kevin Alberts met studeren bij Inter-Actief, Vrijwel direct na het begin van zijn studie werd hij actief bij de systeembeheercommissie. Dit begon een lange en zeer nuttige tijd bij het helpen van de vereniging met onze IT-systemen, niet alleen in de SysCom maar ook in de websitecommissie, en door de jaren heen veranderde Kevin langzaam in iemand die er altijd was om te helpen met eventuele problemen met betrekking tot elk systeem dat Inter-Actief heeft (Ook wel bekend als "Albeeeerts help!" door de kamer roepen). Maar Kevin heeft niet alleen veel geholpen met onze IT-systemen, hij sloot zich ook aan bij meerdere commissies die ons hielpen bij het organiseren van verschillende evenementen. Vooral als tapper en lid van de Sociëteitscommissie. Met 227 borrels als tapper op zijn naam en zijn tijd als Quaestor voor de Sociëteitscommissie, waarbij hij niet alleen deze taak vervulde, maar ook een systeem bouwde om zijn opvolgers en toekomstige penningmeesters van Inter-Actief te helpen. Dit vloeide door naar meerdere jaren van adviesverlening als lid van de KascontroleCommissie. Samengevat, Kevin heeft onze vereniging veel geholpen, niet alleen als iemand die er was om te helpen tijdens zijn tijd aan onze universiteit, maar ook als iemand die de vereniging heeft geholpen met het opzetten voor de toekomst.

Naar aanleiding van de huidige coronamaatregelen kunnen bepaalde dingen helaas niet door gaan. Desalniettemin blijft de Inter-Actief kamer gelukkig wel geopend.

Afgelopen vrijdag, 12 november, kondigde de overheid nieuwe coronamaatregelen aan. Hierna heeft de universiteit gisteren, 15 november, besloten welke maatregelen zij als reactie daarop nemen. Tijdens deze lockdown-periode zullen er minder activiteiten kunnen doorgaan. Maar gelukkig zal de Inter-Actief kamer nog wel open blijven voor vragen, printen, of het halen van koffie en snacks.

Zo lang het advies blijft om vanuit huis te werken, is de Inter-Actief kamer niet bedoeld voor sociale bijeenkomsten of grote groepen. Daarnaast willen we jullie wijzen op het advies van de universiteit om regelmatig gebruik te maken van zelftests, en op het verplichte gebruik van mondkapjes als u zich binnen de universiteit verplaatst.

Voor nu zijn dat alle relevante updates. Wij als bestuur hopen jullie hiermee voldoende te hebben geïnformeerd, en hopen dat jullie veilig blijven.

Looking for TAs for programming courses!

A message from Jan Broenink:

I am looking for student assistants for my courses on programming:

ECSI part of CPS (Embedded Control Systems Implementation of minor / elective module Cyber-Physical Systems) in 1B on Raspberry Pi and Linux (Raspbian) that students use to write very simple and basic I/O driver programs to control a motor. This part is attended by EE and AT students, TCS students take the other part of the module on Wednesdays, namely Physical Systems Modelling and Control. The practicals run on 6 Wednesdays, starting from 17-11 up to and including 22-12, so all activity is before Christmas. That practical is full day. Next to that some preparation work spread over the 3-4 weeks ahead of the quarter, and grading of each week’s exercise, taking 4-5 hours.

RTSD, Real-Time Software Development (MSc course) in 1B This year on real-time programming using Raspberry Pi 4, using Xenomai (Real-time version of Linux) on 2 cores and Rasbian on 2 other cores. Next to that, also use of ROS2, a networking / messaging (middleware) system used in robotics. It is a big change compared to previous years. So, now experience of student assistants is more on computer engineering, C, C++ programming, testing of hard-real time software, and of course controlling some robotic setup (2 motors and a webcam).

Programming 2, BSc + MSc couse in 2A On the basics of C++ programming, for BSc students part of EE-Module 7B (3 EC). MSc students are mostly from Biomedical Engineering, and do a larger end project.

If you are interested please email board@inter-actief.net