https://sirius-labs.no/workshop-on-formal-methods-and-artificial-intelligence-in-logistics-bergen-2nd-december/ Centre for Scalable Data Access in the Oil and Gas Domain Wed, 22 Jan 2020 12:07:28 +0000 hourly 1 https://wordpress.org/?v=6.8.2