2nd International Conference on Application and Theory of Automation in Command and Control Systems
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 attendance to ATACCS is free of charges. However, for the purpose of organization, attendees and authors are required to begin registration from now, prior to the commencement the conference.
The deadline for registration is 4th of May, 2012.
If for any reason you cannot make it to the Conference after you have registered, please notify the organizing committee in ample time before the conference in order to minimize on the waste of resources.
IMPORTANT: In order to complete the online registration process, you will have to login into your HALA! account.
In case of problems with the regstration procedures, please send an email to: firstname.lastname@example.org