|
Theme 1
|
Advanced Operational Research
|
|
Sessions
|
Dates
|
Hours
|
Topics
|
|
1
|
Tuesday, 27th June, 2017
|
Morning (3 Hours)
|
Traditional Optimization Approaches and Statistical Models in Operational Research: Overview
|
|
2
|
Tuesday, 27th 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, 28th 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, 29th 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, 30th June, 2017
|
Morning (3 Hours)
|
Formal Specification and Verification
· Z Specification Language: Case Study
· Formal Verification Framework
o Model Checking and Deductive Verification
|
