For enquiries or to request an invitation contact the conference chair: John.McCabe-Dansted@uwa.edu.au
The First International Workshop on Games and Heuristics for Optimisation of reactive Sys-tems (GHOrST2015) will be hosted by The University of Western Australia on Saturday the 14th March (with a welcoming ceremony on the Friday).
GHOrST2015 will bring together together industry representatives, researchers both from Western Australia and the world to share emerging and state of the art techniques for modelling and optimising reactive systems, such as plants, rail networks or ports.
To request an invitation to this workshop, email the chair: firstname.lastname@example.org
The goal of the two-day workshop is to allow researchers and industry to come together to examine ways computational methods can improve the efficiency, reliability and predictability of complex large scale processes. Attendees will present cutting edge techniques to real-world problems faced by industry.
Topics of interest include, but are not limited to
In addition to relevant UWA staff, the following academics plan to attend the conference:
UWA is recognised as a leading international university, situated next to the picturesque Matilda bay, with beautiful heritage-listed gardens. Perth has 80km of white sandy beaches with various tourist attractions such as Dolphin watching. You may even catch a glimpse of dolphins from Matilda bay. There is also a Mine Site Automation & Communication conference held in Perth in the two days prior to this workshop (see: http://www.mineautomation.com.au/wa/).
Friday 13th March @ The University Club
The welcoming reception will be held from 5pm onwards. From 5pm-7:30pm we will have an informal welcoming with food, music and drinks to allow guests to arrive at their leisure and network.
Saturday the 14th March @ Geology Lecture Theatre 1 (Webb)
9:00am - 09:30am Registration
9:30am - 10:30am First Keynote by Prof. Abdul Sattar, An Efficient Constraint-Based Local Search System (Kangaroo)
10:30am - 11:00am Morning Tea
11:00am - Noon First Panel: Optimised Scheduling for Multi-Agent, Applications of Games, Agents and Constraint Based Search
Noon - 1pm Lunch
01:00pm - 01:45pm Second Keynote by Dr. Jean-Baptiste Jeannin, Differential Temporal Dynamic Logic for Hybrid Systems and Airplane Collision Avoidance
01:45pm - 02:45pm Second Panel: Automated Reasoning for Complex Systems, Applications of Knowledge, Verification and Hybrid Systems
02:45pm - 03:15pm Where To from Here?
03:15pm onwards Informal Networking