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…


Concordia University