Prof.
Dr. Joost Kok (Scientific
Director LIACS)
10:30 11:00 Oswald de Bruin and Giso
Dal
Process Modeling in Web
Applications
11:00 11:30 Derk Mus and
Tom ter Laak
The Google File System
Coffee break
11:45 12:15 Robin
van den Broek and Lars van Luik
On the Complexity of
Computing the Hypervolume Indicator
12:1512:45 Jurriaan
Rot and Frank van Rijn
Regular Expression
Matching Can Be Simple and Fast
Lunch break
13:3014:00 Guest speaker: Dr. Michael Lew
14:0014:30 Harma Everts
and Erik Zandvliet
Abstract Behavior Types:
A Foundation Model for Components and Their Composition
Coffeebreak
14:4515:15 Martijn
A Method for
Synthesizing Sequential Circuits
James Lo and Eric Nieuwenhuijsen