Conference Organization: Bengt Jonsson

Member of Program Committee for
• CAV 2004 16th Computer-Aided Verification conference. Boston, Massachusetts, July 14-17, 2004.
• CBSE7International Symposium on Component-based Software Engineering. May 24th - 25th, 2004 (affiliated with ICSE 2004)
• IEEE ICECCS IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy, 14-16 April, 2004.
• ATVA 2003 1st International Workshop on Automated Technology for Verification and Analysis National Taiwan University, Wednesday-Saturday 10-13 December 2003.