ATACCS'2012
2nd International Conference on Application and Theory of Automation in Command and Control Systems
Submissions
Previous edition
Next edition
Associated event
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/
Sponsors
|
SubmissionsResearch PapersResearch paper submissions (up to 10 pages) should describe substantial contributions of novel ongoing work that has produced advanced results including validation of results. Accepted submissions will be presented in the main conference program (20 minutes presentation + 5 minutes for questions)and published in the conference proceedings. Posters and demonstrationsPosters and demonstrations should feature a short paper (up to 4 pages) that will be published in the conference proceedings. In addition to this paper, posters should be accompanied by a one page featuring the poster that will be exhibited during the conference. Demonstrations should be accompanied by a video record illustrating the live demonstrations the authors are able to do during the conference. Doctoral ConsortiumDoctoral Consortium submissions (up to 4 pages) should present a PhD thesis topic motivated by aims and goals, on the theme automation and supported by some work in-progress and that present original, sound, and advanced results in order to address a well-defined problem. The submission should be accompanied with a free-form CV of the PhD candidate. Accepted submissions will be presented during the conference (10 minutes presentation + 5 minutes for questions) and authors will be invited to present a poster of their work during a session during the main conference.
Guidelines for preparing camera-ready versions of accepted contributions
For additional information concerning the publication please contact us at winckler@irit.fr. |