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

ACM--ICDSP--EI, Scopus 2019   ACM--2019 3rd International Conference on Digital Signal Processing (ICDSP 2019)--Ei Compendex and Scopus
ACM--ICSCA--Ei Compendex, Scopus 2019   ACM--2019 8th International Conference on Software and Computer Applications (ICSCA 2019)--Ei Compendex, Scopus
IJIST 2018   The International Journal of Information Science & techniques
ACM--ICIGP--Ei, Scopus 2019   ACM--2019 2nd International Conference on Image and Graphics Processing (ICIGP 2019)--Ei Compendex, Scopus
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
ACM--ICVR--Ei, Scopus 2019   ACM--2019 5th International Conference on Virtual Reality (ICVR 2019)--Ei Compendex, Scopus
CAIJ 2018   Computer Applications: An International Journal
WSDM 2019   WSDM 2019: The 12th ACM International Conference on Web Search and Data Mining
IJRAP 2018   International Journal of Recent advances in Physics