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

CIKM 2017   The 26th 2017 ACM Conference on Information and Knowledge Management
ESEC/FSE 2017   11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
HPDC 2017   The 26th International ACM Symposium on High-Performance Parallel and Distributed Computing
SEKE 2017   The Twenty-Ninth International Conference on Software Engineering and Knowledge Engineering
VRST 2017   The ACM Symposium on Virtual Reality Software and Technology (VRST)
WCSE 2017   7th International Workshop on Computer Science and Engineering --Scopus & Ei compendex
SAC PL 2017   ACM SAC'17 PL Track
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
SLATE 2017   The 3rd International Conference on the Globalization of Second Language Acquisition and Teacher Education
SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity