July 13-17
CAV 2004 Computer Aided Verification
Boston, MA
www.dcs.warwick.ac.uk/CAV

July 18-21
8th World Multiconference on Systemics, Cybernetics, and Informatics
Orlando, FL
www.iiisci.org/sci2004

July 21-25
CITSA 2004: Cybernetics and Information Technologies, Systems, and Applications
and
ISAS 2004: the 10th International Conference on Information Systems Analysis and Synthesis
Orlando, FL
www.infocybernetics.org/citsa2004

August 14-17
CCCT Conference: Computing, Communications, and Control Technologies
Austin, TX
www.iiisci.org/ccct2004

August 19-20
2004 ACM-IEEE International Symposium on Empirical Software Engineering
Redondo Beach, CA
www.isese.org

August 23-27
International Conference on Practical Software Quality Techniques PSQT 2004 North
Minneapolis, MN
www.qualityconferences.com

April 18-21, 2005
2005 Systems and Software Technology Conference
Salt Lake City, UT
www.stc-online.org