Sponsored by the Switching and Automata Theory Committee of the IEEE Computer Society and the Department of Electrical Engineering of the University of Maryland. Sponsored by the Switching and Automata Theory Committee of the IEEE Computer Society, and the Department of Computer Science of Michigan State University. sponsored by the Switching and Automata Theory Committee of the IEEE Computer Group, and the University of California. sponsored by IEEE Victoria Section, IEEE Region 7, the Faculty of Engineering and the Department of Electrical Engineering at the University of Victoria.