posted by system || 1793 views

HILT 2014 : High Integrity Language Technology ACM SIGAda Annual Conference

FacebookTwitterLinkedInGoogle

Link: http://sigada.org/conf/hilt2014
 
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

ACMC 2017   Australasian Computer Music Conference
IJE 2017   International Journal of Education (IJE)
HPDC 2018   The 27th International ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC'18)
ACM - ICMLSC - Ei 2018   ACM--2018 the 2nd International Conference on Machine Learning and Soft Computing (ICMLSC 2018)--Ei Compendex & Scopus
ICMBN--ACM, Ei & Scopus 2018   ACM--2018 The 2nd International Conference on Multimedia, Broadcasting and Network (ICMBN 2018)--Ei & Scopus
AIAP 2018   5th International Conference on Artificial Intelligence and Applications
COLING 2018   The 27th International Conference on Computational Linguistics (COLING 2018)
MathSJ 2017   Applied Mathematics and Sciences: An International Journal
ICGSP--ACM, Scopus, Ei 2018   ACM--2018 The 2nd International Conference on Graphics and Signal Processing (ICGSP 2018)--Scopus, Ei Compendex
ICAISE--IEEE, EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus