Hardware Specification, Verification and Synthesis: Mathematical Aspects O.P To present the results of the 24th ER Conference To present the results of research that may be used in the near future to increase the level of integrity or help management maintain the desired level of integrity Plant based biotechnology has come to represent a means of mitigating the problems of global food security in the twenty first century The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs Most of the research reported was performed in the United States