posted by system || 2140 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)
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
2021 – Xth ICBELLP July Bangkok 2021   2021 – Xth International Conference on Business, Economics, Law, Language & Psychology (ICBELLP), 07-08 July, Bangkok
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
BIOTC--ACM, Ei and Scopus 2021   ACM--2021 3rd Blockchain and Internet of Things Conference (BIOTC 2021)--Ei Compendex, Scopus
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
IECC--Ei and Scopus 2021   ACM--2021 3rd International Electronics Communication Conference (IECC 2021)--Ei Compendex, Scopus
IEEE CAIT--Ei, Scopus 2020   2020 IEEE International Conference on Artificial Intelligence Technology (CAIT 2020)--Ei Compendex, Scopus
ITCC--Ei and Scopus 2021   ACM--2021 3nd International Conference on Information Technology and Computer Communications (ITCC 2021)--Ei Compendex, Scopus
ACM--CSAI--Ei, Scopus 2020   ACM--2020 4th International Conference on Computer Science and Artificial Intelligence (CSAI 2020)--Ei Compendex and Scopus