Events

e350
January 23, 201522st Twente Student Conference on IT
Room: Waaier 3 , HB 2F, HB 2A
11:00-15:00

The bachelor students will present the results of their final bachelor assignment during a real conference. There is one track (E) dedicated to formal methods and software engineering.

Programma 22st Twente Student Conference on IT

 

11.00 - 11.30   Ontvangst: ingang Waaier

11.30 - 11.35   Waaier 3: Welkomstwoord door opleidingsdirecteur

11.35 - 11.55     Best paper track D: Floris Smit Mining Sensor Data to Overcome Decision Making Challenges in Race Sailing

11.55 - 12.15     Best paper track F: Lisa de Wilde Exploring How User Routine Affects the Recognition Performance of a Lock Pattern

12.15 - 12.35     Best paper track E: Martijn Bastiaan Preventing the 51%-Attack: a Stochastic Analysis of Two Phase Proof of Work in Bitcoin

12.35 - 12.45     Uitreiking Best Paper Awards door opleidingsdirecteur

12.45 - 13.30    Lunch: Waaier

 

 

HB 2F

HB 2A

 

13.30 - 13.45

Thomas Brus  (track E)

Predicting the Outcome of Scrabble Games

Bas Niesink (track B)

Finding Sources of Online News Articles using Textual Similarity

 

13.45 - 14.00

Jasper Driessens (track E)

Domain-specific Model Reduction in Executable Biology

Friso van Dijk (track D)

Barriers of Market Entry with POCT: A Case Study

 

14.00 - 14.15

Djurre van der Wal (track E)

Improving Symbolic Confluence Detection

Thomas Stols (track F)

A Taxonomy of Architecture-specific Use Cases, Security Risks and Mitigations in

Biometric Solutions for Mobile Devices

 

14.15 - 14.30

 

Pauze: koffie/thee ingang Waaier

 

14.30 - 14.45

Luuk Smit (track A)

What Does Your Television Know About You

Jan Ubbo van Baardewijk (track F)

Privacy-enhanced Biometric Hamming Distance Classification

 

14.45 - 15.00

Dennis van der Zwet (track E)

Specifying a Concurrent Program in Java using Separation Logic

 

 

15.00

 

Borrel Posterpresentatie Ontwerpproject: Educafe

Track A             Broadband for All

Track B             Data and Application Integration

Track D             Information Management

Track E             Software Engineering and Formal Techniques

Track F             Biometrics for Security and Safety