The following are some future conferences and meetings that I have some connection with.

Upcoming Conferences and Workshops

Conference and Workshop Series

Electronic Information from Past Conference and Workshops

  • Specifying and Checking Properties of Software, 2001 University of Washington and Microsoft Research Summer Institute.
  • Specification and Verification of Component-Based Systems, workshop at OOPSLA 2001
  • Java Verification Workshop, 2002
  • Verified Software: Theories, Tools, Experiments, Zurich, 2005
  • Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings.
  • Journals

    Transactions on Aspect-Oriented Software Development

    The Journal of Object Technology


    Last update $Date: 2018/09/01 17:55:33 $

    Gary T. Leavens