ARVI Tallinn meeting, 10-11 Dec. 2015: Programme

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