posted by user: mariachris || 2897 views || tracked by 4 users: [display]

SIGAda 2010 : ACM SIGAda Annual International Conference

FacebookTwitterLinkedInGoogle

Link: http://www.sigada.org/conf/sigada2010/
 
When Oct 24, 2010 - Oct 28, 2010
Where Fairfax, VA, USA
Submission Deadline Jun 25, 2010
Categories    programming languages   ada
 

Call For Papers

SIGAda 2010

ACM’s Annual International Conference on Ada and Related Technologies
Engineering Safe, Secure, and Reliable Software

Sponsored by SIGAda, ACM’s Special Interest Group on the Ada Programming Language,
in cooperation with SIGBED, SIGCAS, SIGCSE, SIGPLAN, Ada-Europe, and the Ada Resource Association

SUMMARY:

Reliability, safety, and security are among the most critical requirements of contemporary software. The application of software engineering methods, tools, and languages all interrelate to affect how and whether these requirements are met.

Such software is in operation in many application domains. Much has been accomplished in recent years, but much remains to be done. Our tools, methods, and languages must be continually refined; our management process must remain focused on the importance of reliability, safety, and security; our educational institutions must fully integrate these concerns into their curricula.

The conference will gather industrial and government experts, educators, software engineers, and researchers interested in developing, analyzing, and certifying reliable, safe, long-lived, secure software. We are soliciting technical papers and experience reports with a focus on, or comparison with, Ada.

We are especially interested in experience in integrating these concepts into the instructional process at all levels.

Related Resources

ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
IJFCST 2021   International Journal in Foundations of Computer Science & Technology
ACM--AITC--Ei and Scopus 2021   ACM--2021 3rd International Artificial Intelligence Technology Conference (AITC 2021)--EI Compendex, Scopus
IJPLA 2021   International Journal of Programming Languages and Applications
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)
CTCM 2021   7th International Conference of Control Theory and Computer Modelling
ICSCC--ACM, EI and Scopus 2021   ACM--2021 6th International Conference on Systems, Control and Communications (ICSCC 2021)--Ei Compendex, Scopus
COMPUTATION TOOLS 2021   The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
ACM--SPML--EI Compendex, Scopus 2021   ACM--2021 4th International Conference on Signal Processing and Machine Learning (SPML 2021)--EI Compendex, Scopus
SPML--ACM, EI, Scopus 2021   ACM--2021 4th International Conference on Signal Processing and Machine Learning (SPML 2021)--EI Compendex, Scopus