Events

Workshops

• Workshop on the Formalization of Physics

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…