A message from the BITOC (program committee BIT):

We are looking for a student who is willing to make minutes of the meetings of the Programme Committee BIT (BITOC).

For this activity we are looking for a student who is concerned, and, preferably, who has some experience in making (English) minutes, and is registered as BIT -student (bachelor or master). The minutes secretary cannot be a member of the BITOC.

There are 7-8 meetings per year. The meetings take place on Thursday afternoon from 12.45 until approximately 14.30 hr. The minutes secretary will receive a compensation. He/she will have a UT Flex appointment and can claim expenses for worked hours.

In case you have any questions about this position you can contact the chairman Luis Ferreira Pires or the undersigned email.

In case you are interested, please send your application at the latest May 23, 2022 to boz-bit@utwente.nl.

Een paar weken geleden vond de interne competitie van de jaarlijkse lerarenprijzen plaats.

En we hebben een winnaar!

Met een overweldigende hoeveelheid stemmen en veel liefdevolle woorden van studenten heeft hij gewonnen!

Wallace Corbo Ugulino!

Wij feliciteren hem en wensen hem veel succes in de universiteit brede competitie!

Het kandidaat-bestuur voor het volgende collegejaar is bekend!

De volgende mensen willen vanaf september het huidige bestuur opvolgen:

• Voorzitter - Oliver Davies
• Secretaris - Maarten Meijer
• Penningmeester - Jochem Bleeker
• Interne betrekkingen - Quirijn Hoenink
• Externe betrekkingen - Wout Velthuis
• Onderwijs - Niels Rotmensen
• Vicevoorzitter- Mariska Frelier

Ze zijn bereikbaar op cb2223@inter-actief.net.

v.l.n.r. Niels, Quirijn, Maarten, Oliver, Jochem, Wout, Mariska

Vandaag heeft Inter-Actief haar eerste grote aankoop gedaan vanuit het nieuwe winstplan. We kijken uit naar de vele varierende mogelijkheden van ons nieuwe bezit!

Door het gebrek aan activiteiten en andere uitgaven tijdens de coronacrisis heeft Inter-Actief een redelijke winst opgebouwd. Zoals besproken op de laatste algemene ledenvergadering zal de vereniging daarom pogen om het vermogen af te bouwen met meerdere grote uitgaven. Verdere plannen zullen nog worden uitgewerkt op o.a. de inputsessie van aankomende woensdag.

Echter staat het bestuur ook in zijn recht om zulke uitgaven te maken buiten het strategisch plan van de inputsessie om. Zo werd er afgelopen week een enorm voordelige aanbieding voorgeschoten, welke niet te missen valt. Hierbij presenteren wij dan ook trots waar wij het eerste deel van de winst aan hebben mogen uitgeven:

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