Hardware Verification Group Home >
Events
Workshops
All workshops…
Invited Talks
- “Test generation for industrial size controllers using CBMC and Frama-C” by Dr.Omer Nguena-Timo, Computer Research Institute of Montreal, Montreal, May 26, 2015
- “Brazilian Space Research and Development at INPE: An Overview” by Dr. Valdivino Alexandre de Santiago JĂșnior, National Institute for Space Research, Brazil, March 24, 2015.
All invited talks…
Thesis Defences
- “Formal Analysis of Geometrical Optics using Theorem Proving”, Muhamed Umair Siddique, Concordia University, Ph.D Defence, November 26, 2015
- “Formal Analysis of Quantum Optics”, Mohamed Yousri Mahmoud, Concordia University, Ph.D Defence, September 9, 2015
All thesis defences…
Social Events
- HVG BBQ, 2014
- HVG BBQ, 2013
All social events…