2nd International Conference on Application and Theory of Automation in Command and Control Systems
Conference Venue & Hotels
Formal H is a workshop on Formal Methods in Human-Machine Interaction that will be held on May 28, 2012 at the Imperial College in London, right before the ATACCS 2012 conference. Further information on the web site: http://www.fmhfe.com/FormalH/
The conference location
ATACCS 2012 will be held at the Imperial College, London, UK, at the Mechanical Engineering Building.
For further information about conference location please visit the Imperial College London's web site at: http://www3.imperial.ac.uk/.
Please find here a list of hotel accomodations suggested by the Imperial College London.