Overview

Important Dates

Submissions

Committees

Registration

Conference Program

Conference Venue & Hotels

ATACCS'2011

ATACCS'2013

Formal H

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/

www.hala-sesar.net

www.sesarju.eu

www.eurocontrol.int

http://www.boeing.com

European ATM Research And Development Association

Association for Computer Machinery

ACM SIGCHI - Special Interest Group in Computer-Human Interaction

IFIP WG 13.5: Human Error, Safety, and System Development

The Lloyd's Register Educational Trust

Registration

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 4^th 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.

Registration procedure

IMPORTANT: In order to complete the online registration process, you will have to login into your HALA! account.

• Please follow the instructions available at the Hala! web site to register to the conference.
• If you do not have an account yet, please take a moment to register online: http://www.hala-sesar.net/user/register
• If you already have an account but do not remember your username or password, please follow this link: http://www.hala-sesar.net/user/password

In case of problems with the regstration procedures, please send an email to: eduardo.garcia.gonzalez@upm.es