-
Year Event Name Organizers 2018 Formal Verification of Physical Systems (FVPS) Sofiene Tahar, Concordia University, Montreal, QC, Canada
Osman Hasan, National University of Sciences and Technology (NUST), Pakistan
Umair Siddique, Waterloo Technical Center (WTC), BorgWarner, Canada
