The papers in this volume present current research into formal methods for hardware design. The goal of this research is to develop new ways of using logic to specify systems, model hardware and verify designs.Second place winner Amy Bowen stated, “It was a great opportunity to compete, meet top wine industry professionals, and most importantly represent CCOVI and Brock University.”  Third place winner Gabriel Balint interjected, “the level of competition was very high and I was pleased and honoured that I was able to place in the top three.Our counselors will be able to guide you and answer all your queries in the language that you feel comfortable in.