posted by system || 2239 views || tracked by 1 users: [display]

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

SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
MLHMI--Ei and Scopus 2021   2021 2nd International Conference on Machine Learning and Human-Computer Interaction (MLHMI 2021)--Ei Compendex, Scopus
SPECOM 2021   23rd International Conference on Speech and Computer
DMSE 2021   2nd International Conference on Data Mining and Software Engineering
ICAS 2021   9th International Conference on Asian Studies 2021
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
ACM--ICSCC--EI Compendex and Scopus 2021   ACM--2021 6th International Conference on Systems, Control and Communications (ICSCC 2021)--Ei Compendex, Scopus
ACM--ICMLT--Ei and Scopus 2021   ACM--2021 6th International Conference on Machine Learning Technologies (ICMLT 2021)--EI Compendex, Scopus
CCIOT--ACM, EI Compendex, Scopus 2021   ACM--2021 6th International Conference on Cloud Computing and Internet of Things (CCIOT 2021)--Ei Compendex, Scopus
ICCPR--ACM, Ei, Scopus 2021   ACM--2021 10th International Conference on Computing and Pattern Recognition (ICCPR 2021)--Ei Compendex, Scopus