School of Computer Science and Software Engineering

The First International Workshop on Games and Heuristics for Optimisation of reactive Sys-tems

Further information


For enquiries or to request an invitation contact the conference chair:

Important dates

GHOrST2015 Workshop:
13 - 14 March

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:

Workshop objectives

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

  • Optimisation Algorithms,
  • Local search and Heuristics
  • Evolutionary Algorithms
  • Process Modelling via Games and Automata
  • Process Visualisation
  • Numerical Optimisation
  • Temporal Reasoning about Complex Processes
In addition to local UWA staff, attendee's from industry will be able to present their problems to an international panel who have applied their expertise to a variety of industrial applications, including business processes, eMarkets and airborne collision avoidance systems.

International and Interstate Guests

In addition to relevant UWA staff, the following academics plan to attend the conference: 

  • Professor Abdul Sattar and Dr M. A. Hakim Newton from Griffith University, who developed the “Kangaroo” tool for efficient constraints based local search tool. Professor Abdul Sattar is the founding Director of the Institute for Integrated and Intelligent Systems 
  • Professor Michael Thielscher from University of New South Wales is an expert in games and logic. Games can be used to determine how an automated system can achieve a goal when having to interact with an unpredictable environment. 
  • Professor Ron Van der Meyden from University of New South Wales is an expert in Knowledge, Logic and Distributed Systems.
  • Professor Dongmo Zhang from University of Western Sydney is an expert in automated negotiation and eMarkets. 
  • Dr Jean-Baptiste Jeannin from Carnegie Mellon University is an expert in Logic and Verification. For example, formally verifying Airborne Collision Avoidance Systems


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:


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 


School of Computer Science and Software Engineering

This Page

Last updated:
Friday, 13 March, 2015 4:18 PM