Ada Conferences
ACM SIGADA Home Page
HILT 2012: Boston, Massachusetts, USA
Ben Brosgol, Jeff Boleng, S. Tucker Taft (Eds.):
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA.
ACM 2012, ISBN 978-1-4503-1505-0
Contents 
SIGAda 2011: Denver, Colorado, USA
Ricky E. Sward, Michael Feldman, Dan Eilers, Jean-Pierre Rosen, Frank Singhoff, Julien Delange, Mark Gardinier, Karl A. Nyberg, Jeff Boleng (Eds.):
Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011.
ACM 2011, ISBN 978-1-4503-1028-4
Contents
SIGAda 2010: Fairfax, Virginia, USA
Alok Srivastava, Jeff Boleng (Eds.):
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010.
ACM 2010, ISBN 978-1-4503-0027-8
Contents
SIGAda 2009: Saint Petersburg, Florida, USA
Greg Gicca, Jeff Boleng (Eds.):
Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009.
ACM 2009, ISBN 978-1-60558-475-1
Contents
SIGAda 2008: Portland, OR, USA
Michael B. Feldman, Leemon C. Baird III (Eds.):
Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008.
ACM 2008, ISBN 978-1-60558-274-0
Contents
SIGAda 2007: Fairfax, Virginia, USA
Alok Srivastava, Leemon C. Baird III (Eds.):
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007.
ACM 2007, ISBN 978-1-59593-876-3
Contents
SIGAda 2006: Albuquerque, New Mexico, USA
Greg Gicca, Ricky E. Sward, Leemon C. Baird III (Eds.):
Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006.
ACM 2006, ISBN 1-59593-563-0
Contents
SIGAda 2005: Atlanta, GA, USA
John W. McCormick, Leemon C. Baird III (Eds.):
Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005.
ACM 2005, ISBN 1-59593-185-6
Contents
SIGAda 2004: Atlanta, GA, USA
John W. McCormick, Ricky E. Sward (Eds.):
Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004.
ACM 2004, ISBN 1-58113-906-3
Contents
SIGAda 2003: San Diego, CA, USA
Robert C. Leif, Ricky E. Sward (Eds.):
Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003.
ACM 2003, ISBN 1-58113-476-2
Contents
SIGAda 2002: Houston, Texas, USA
Salih Yurttas, John McCormick (Eds.):
Proceedings of the 2002 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002, Houston, Texas, USA, December 8-12, 2002.
ACM 2002, ISBN 1-58113-611-0
Contents
- SIGAda 2002 Home Page
SIGAda 2001: Bloomington, Minnesota, USA
Proceedings ACM SIGAda Annual International Conference (SIGAda 2001), September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA.
ACM, 2001
Contents -
SIGAda 2001 Home Page
SIGAda 2000: Laurel, MD, USA
SIGAda 2000 Home Page
SIGAda 1999: Redondo Beach, CA, USA
Proceedings ACM SIGAda Annual International Conference (SIGAda 1999), The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, October 17-21, 1999, Redondo Beach, CA, USA. ACM, 1999
Contents
- SIGAda 1999 Home Page
SIGAda 1998: Washington, DC, USA
SIGAda '98. Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, November 8-12, 1998, Washington, DC, USA. ACM
Contents -
SIGAda 1998 Home Page
TRI-Ada 1997: St. Louis, Missouri, USA
TRI-Ada '97 Conference, The annual meeting of the Ada programming world, November 9-13, 1997, St. Louis, Missouri, USA, Proceedings.
ACM, 1997, ISBN 0-89791-981-5
Contents
TRI-Ada 1996: Philadelphia, Pennsylvania
TRI-Ada '96 Conference, The annual meeting of the Ada programming world, December 3-7, 1996, Philadelphia, Pennsylvania, USA, Proceedings.
ACM, 1996, ISBN 0-89791-808-8
Contents
TRI-Ada 1995: Anaheim, CA, USA
TRI-Ada '95. Tutorial Proceedings on
Ada's Role in Global Markets: solutions for a changing complex world, November 5-10, 1995, Anaheim, CA, USA. ACM
Contents
TRI-Ada 1994: Baltimore, Maryland, USA
Proceedings of the 1994 Conference on TRI-Ada '94, November 6-11, 1994, Baltimore, Maryland, USA. ACM, 1994
Contents
TRI-Ada 1993: Seattle, Washington, USA
Conference Proceedings on TRI-Ada '93, September 18-23, 1993, Seattle, Washington, USA. ACM, 1993
Contents
TRI-Ada 1992: Orlando, Florida, USA
Conference Proceedings on TRI-Ada '92, November 17-20, 1992, Orlando, Florida USA. ACM, 1992
Contents
Tutorial Proceedings on TRI-Ada '92, Volume 1, November 17-20, 1992, Orlando, Florida USA. ACM, 1992
Contents
Tutorial Proceedings on TRI-Ada '92, Volume 2, November 17-20, 1992, Orlando, Florida USA. ACM, 1992
Contents
Towards a Formal Description of Ada 1980
Dines Bjørner, Ole N. Oest (Eds.):
Towards a Formal Description of Ada.
Lecture Notes in Computer Science 98 Springer 1980, ISBN 3-540-10283-3
Contents
Design and Implementation of Programming Languages 1976: Ithaca, NY, USA
John H. Williams, David A. Fisher (Eds.):
Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30 - October 1, 1976.
Lecture Notes in Computer Science 54 Springer 1977, ISBN 3-540-08360-X
Contents
Last update Tue May 21 17:59:50 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
