| 2014 | | Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014 SIGADA | Portland | 2014-10-18/21 |
| 2013 | | Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013 SIGADA | Pittsburgh | 2013-11-10/14 |
| 2012 | | Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA SIGADA | Boston | 2012-12-02/06 |
| 2011 | | Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011 SIGADA | Denver | 2011-11-06/10 |
| 2010 | | Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010 SIGADA | Fairfax | 2010-10-24/28 |
| 2009 | | Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009 SIGADA | St. Petersburg | 2009-11-01/05 |
| 2008 | | Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008 SIGADA | Portland | 2008-10-26/30 |
| 2007 | | Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007 SIGADA | Fairfax | 2007-11-04/08 |
| 2006 | | Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006 SIGADA | Albuquerque | 2006-11-12/16 |
| 2005 | | 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 SIGADA | Atlanta | 2005-11-13/17 |
| 2004 | | 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 SIGADA | Atlanta | 2004-11-14 |
| 2003 | | 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 SIGADA | San Diego | 2003-12-07/11 |
| 2002 | | 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 SIGADA | Houston | 2002-12-08/12 |
| 2001 | | Proceedings ACM SIGAda Annual International Conference, SIGAda 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA, September 30 - October 4, 2001. SIGADA | Bloomington | 2001-09-30 to 2001-10-04 |
| 2000 | | Ada Conferences SIGADA | Laurel | 2000-01-01 |
| 1999 | | Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999. SIGADA | Redondo Beach | 1999-10-17/21 |
| 1998 | | Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, SIGAda 1998, Washington, DC, USA, November 8-12, 1998 SIGADA | Washington, D.C. | 1998-11-08/12 |
| 1997 | | Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA SIGADA | St. Louis | 1997-11-09/13 |
| 1996 | | The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA SIGADA | Philadelphia | 1996-12-03/07 |
| 1995 | | Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA. SIGADA | Anaheim | 1995-11-05/10 |
| 1994 | | Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA. SIGADA | Baltimore | 1994-11-06/11 |
| 1993 | | Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle, Washington, USA. SIGADA | Seattle | 1993-09-18/23 |
| 1992 | | Ada Conferences SIGADA | Orlando | 1992-11-17/20 |
| 1992 | | Conference Proceedings on TRI-Ada 1992, Orlando, Florida USA, November 17-20, 1992. | | |
| 1992 | | Tutorial Proceedings on TRI-Ada 1992, November 17-20, 1992, Orlando, Florida USA - Volume 1 | | |
| 1992 | | Tutorial Proceedings on TRI-Ada 1992, November 17-20, 1992, Orlando, Florida USA - Volume 2 | | |
| 1991 | | Introduction to Ada - Tri-Ada 1991 Tutorial, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991 | San Jose | |
| 1991 | | Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991 | San Jose | |
| 1990 | | Proceedings of the conference on TRI-ADA 1990, TRI-Ada 1990, Baltimore, Maryland, USA, December 3-6, 1990 | Baltimore | |
| 1989 | | Proceedings of the Conference on Tri-Ada 1989 - Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989, Pittsburgh, Pennsylvania, USA, 1989 | Pittsburgh | |
| 1988 | | Proceedings of the Conference on TRI-Ada 1988, TRI-Ada 1988, Charleston, West Virginia, USA, 1988 | Charleston | |
| 1987 | | Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, SIGAda 1987, Boston, Massachusetts, USA, 1987 | Boston | |
| 1985 | | Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, SIGAda 1985, Paris, France, May 14-16, 1985 | Paris | |
| 1980 | | Towards a Formal Description of Ada | | |
| 1976 | | Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30 - October 1, 1976 SIGADA | Ithaca | 1976-09-30 to 1976-10-01 |
