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

SIGAda 2010 : ACM SIGAda Annual International Conference


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


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

WI 2018   2018 IEEE/WIC/ACM International Conference on Web Intelligence
CGDEIJ 2018   Computer Game Development and Education
CHI 2019   The ACM CHI Conference on Human Factors in Computing Systems
IJESA 2018   International Journal of Embedded Systems and Applications
ACM--ICGSP--Scopus, Ei Compendex 2018   ACM--2018 The 2nd International Conference on Graphics and Signal Processing (ICGSP 2018)--Scopus, Ei Compendex
IJPLA 2018   International Journal of Programming Languages and Applications
ACM CCS 2018   25th ACM Conference on Computer and Communications Security (ACM CCS)
CAIJ 2018   Computer Applications: An International Journal
ACM--PRAI--Ei and Scopus 2018   ACM--2018 the International Conference on Pattern Recognition and Artificial Intelligence (PRAI 2018)--Ei Compendex and Scopus
Middleware 2018   ACM/IFIP/USENIX Middleware 2018 Conference