Program (October 18, 2017)


08.30 - 08.55

Coffee and registration


08.55 - 09.00

Opening





09.00 - 09.30

Tommaso Bolognesi

LOTOS-like composition of boolean nets and causal set construction

09.30 - 10.00

Hubert Garavel

From LOTOS to LNT

10.00 - 10.30

Kim Larsen

Compositional Testing of Real Time Systems




10.30 - 11.00

Coffee





11.00 - 11.30

Bernard Steffen

Model-based Testing without Models: The TodoMVC Case Study

11.30 - 12.00

Jan Friso Groote

Problem solving using process algebra considered insightful

12.00 - 12.30

Jan Tretmans

On the Existence of Practical Testers




12.30 - 14.00

Lunch





14.00 - 14.30

Arend Rensink

How Much are Your Geraniums? Taking Graph Conditions beyond First Order

14.30 - 15.00

Boudewijn Haverkort

C'est le ton qui fait la musique

15.00 - 15.30


Mariëlle Stoelinga

Boosting Fault Tree Analysis by Formal Methods




15.30 - 16.00

Coffee





16.00 - 16.30

Holger Hermanns

From Lotosphere to Thermosphere

16.30 - 16.45

Presentation Festschrift


16.45 - 17.15

Ed Brinksma





17.15

Drinks


19.30

Dinner (for invited Festschrift contributors and guests)


   Organisers/editors:
   Joost-Pieter Katoen
   Arend Rensink
   Rom Langerak

   Secretary: Ida den Hamer – Mulder
   e-mail: i.c.denhamer-mulder@utwente.nl