D-CON Business Meeting:
=======================
Start: 12.05.

Agenda:
Thanks to the organizers, Malte Lochau, Lars Luthmann, Géza Kulcsár.

Thanks to the invited speakers, Mohammad Mousavi, Andrea Corradini.

Thanks to the students for making this a lively event, 
contributing talks and chairing sessions.

Next D-CON:
Javier Esparza agreed to host D-CON 2019 in Munich!
It will probably take place in the week March 17-22, ± one week.
Thanks a lot!

Format:
The length of talks is being discussed.
Longer talks of around 40 minutes are preferred.
10 minutes talks on ideas and/or highlights could be tried out.

An opening towards verification (CONCAV) and co-algebra is being discussed. 
This is considered a good idea.
The suggestion is to approach Martin Lange, Martin Leucker, and Lutz Schroeder.
Concerning a larger number of talks, there are suggestions to have three parallel sessions, talks until 7pm on Thursday or until 3pm on Friday. 

Closing: 12.15.