posted by system || 1568 views

HILT 2014 : High Integrity Language Technology ACM SIGAda Annual Conference


When Oct 20, 2014 - Oct 22, 2014
Where Portland, OR, USA
Submission Deadline TBD
Categories    programming languages   software engineering

Call For Papers

High integrity software must not only meet correctness and performance criteria but also satisfy stringent safety and/or security demands, typically entailing certification against a relevant standard. A significant factor affecting whether and how such requirements are met is the chosen language technology and its supporting tools: not just the programming language(s) but also languages for expressing specifications, program properties, domain models, and other attributes of the software or overall system.

HILT 2014 will provide a forum for experts from academia/research, industry, and government to present the latest findings in designing, implementing, and using language technology for high integrity software. To this end we are soliciting technical papers, experience reports (including experience in teaching), and tutorial proposals on a broad range of relevant topics.
Conference Submissions

Related Resources

HPDC 2017   The 26th International ACM Symposium on High-Performance Parallel and Distributed Computing
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
PLDI 2017   ACM SIGPLAN Symposium on Programming Language Design & Implementation
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
SIGIR 2017   The 40th International ACM SIGIR Conference on Research and Development in Information Retrieval
ICCRD 2017   The 9th International Conference on Computer Research and Development (ICCRD 2017)-SCOPUS
SAC PL 2017   ACM SAC'17 PL Track
8th ICISA 2017   ICISA International Conference on Information Sience and Applications
VRST 2017   The ACM Symposium on Virtual Reality Software and Technology (VRST)
2nd GEN TEFL 2017   2nd GEN TEFL International Conference 2017