Theme 1

Advanced Operational Research

Sessions

Dates

Hours

Topics

1

Tuesday, 27^th June, 2017

Morning (3 Hours)

Traditional Optimization Approaches and Statistical Models in Operational Research: Overview

2

Tuesday, 27^th June, 2017

Afternoon (3 Hours)

AI for OR: Heuristic Optimisation Methods Summary

(The AI approach, Simulated Annealing, Tabu Searches, Genetic Algorithms, Artificial Neural Network, and the Deep Learning)

3

Wednesday, 28^th June, 2017

Morning (3 Hours)

Combination of Data-Driven and Knowledge-Driven Approaches

Some general talks and Q/A about paper writing and doing research

Theme 2

Reliable Software Development – Formal Approaches

Sessions

Dates

Hours

Topics

4

Thursday, 29^th June, 2017

Morning (3 Hours)

Introduction to Formal Requirement Specification

·         Why formal approach? Software Engineering and Software Qualities; Requirements Engineering Process; Specification Techniques Overview

5

Friday, 30^th June, 2017

Morning (3 Hours)

Formal Specification and Verification

·         Z Specification Language: Case Study

·         Formal Verification Framework

o Model Checking and Deductive Verification