IEE Colloquium on Synthesis and Optimisation of Logic Systems