posted by system || 1822 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

ACM--ICNCC--Ei and Scopus 2018   2018 VII International Conference on Network, Communication and Computing (ICNCC 2018)-- ACM, Ei Compendex and Scopus
CGDEIJ 2018   Computer Game Development and Education
EMNLP 2018   2018 Conference on Empirical Methods in Natural Language Processing
ICAISE--IEEE, EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus
WI 2018   2018 IEEE/WIC/ACM International Conference on Web Intelligence
IJIST 2018   The International Journal of Information Science & techniques
LTA 2018   3rd International Workshop on Language Technologies and Applications
ASE 2018   33rd IEEE/ACM International Conference on Automated Software Engineering
CHI 2019   The ACM CHI Conference on Human Factors in Computing Systems
IJESA 2018   International Journal of Embedded Systems and Applications