"Formal Verification of Physical Aspects of Smart Systems" event
The IUST (Iran University of Science and Technology) International Academy will be holding an event on “Formal Verification of Physical Aspects of Smart Systems” on Tuesday, October 19th, 2021, from 9:30 to 11:00 am. The attending guest will be Professor Osman Hasan, pro-rector of National University of Science and Technology of Pakistan and invited attendee for the Mostafa prize (granted to top researchers and scientists from the Organization of Islamic Cooperation member states).
for more details & registration click here
|