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

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