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

ICNCC - Ei 2017   ACM--2017 VI International Conference on Network, Communication and Computing (ICNCC 2017)--EI & Scopus
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
SAC PL 2017   ACM SAC'17 PL Track
SLE 2017   10th ACM SIGPLAN International Conference on Software Language Engineering
ACM--ICNS 2017   ACM--2017 The 2nd International Conference on Network Security (ICNS 2017)--Ei Compendex and Scopus
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
ICETC - Ei 2017   ICETC 2017 - 2017 9th International Conference on Education Technology and Computers--Ei Compendex and Scopus
ICSIP-IEEE 2017   2nd International Conference on Signal and Image Processing - IEEE
WSDM 2018   The 11th ACM International Conference on Web Search and Data Mining
LREC 2018   Language Resources and Evaluation Conference