Workshop: 22st Twente Student Conference on IT

When: Jan. 23, 2015, 11:00-15:00

Where: Waaier 3 , HB 2F, HB 2A

Who: other:

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






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





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