The scientific programme (and coffee breaks) will take place in the building of the Estonian Academy of Science, Kohtu 6, on Toompea hill. (See the map.)
Thursday, 10 Dec 2015
9.00-10.30
Wolfgang Ahrendt: StaRVOOrS: Combined static and runtime verification of object-oriented software
Volker Stolz: A tale of three projects – RV at the University of Oslo and Høgskolen i Bergen (slides/Prezi)
10.30-11.00 Coffee
11.00-12.30
Alexander Weiss: Non-intrusive online observation of multicore processors (PDF)
Nikita Salnikov-Tarnovski: Monitoring industry: current state and problems
12.30-14.00 Lunch at Olematu Rüütel, Kiriku põik 4a
14.00-15.30
Martin Sachenbacher: Potential applications of RV and diagnosis to Li-ion batteries (PDF)
Christian Colombo: Facilitating testing and monitoring of number entry systems in medical devices (PPTX)
15.30-16.00 Coffee
16.00-17.30
WG4 and WG3 discussion
18.45 Meeting at the arcade of the Town Hall, at Raekoja plats, for those that want to walk to the restaurant together
19.30-… Dinner at Kolm Sibulat, Telliskivi 2 (menu)
Friday, 11 Dec 2015
9.00-10.30
Domenico Bianculli: Model-driven trace checking of temporal properties (PDF)
Alena Rodionova: Temporal logic as filtering
10.30-11.00 Coffee
11.00-12.30
Gordon Pace: Compliance checking supporting an open payments ecosystem
WG3 discussion (continued)
12.30-14.00 Lunch at Olematu Rüütel
14.00-15.30
MC meeting
15.30-16.00 Coffee