Conference Agenda

Session
Plenary 1: Welcome and Plenary Session 1
Time:
Thursday, 11/Jul/2019:
9:00am - 10:30am

Session Chair: Dimitrios Rovas
Session Chair: James O'Donnell
Location: Imperial main

- Conference Opening Speech (Rovas)

- initiatives (Brillakis)

- COST proposal (Christodoulou)

- Opening Student Plenary (Jens Juri Hunhevicz), Best student paper

- Opening Plenary (Prof. R. Sacks), Best paper


Presentations

*Managing mistrust in construction using DLT: a review of use-case categories for technical decisions

Jens Juri Hunhevicz, Daniel Mark Hall

ETH Zurich, Switzerland

Hunhevicz-Managing mistrust in construction using DLT-171-2019-07-04_09-25.pdf


*Automated model checking for topologically complex code requirements – security room case study

Tanya Bloch, Meir Katz, Raz Yosef, Rafael Sacks

Virtual Construction Laboratory, Faculty of Civil and Environmental Engineering, Technion – Israel Institute of Technology, Haifa 32000, Israel

Bloch-Automated model checking for topologically complex code requirements – security room case s.pdf