Dr.Sci., Professor, Senior Member of ACM and IEEE
Title of Talk:- Infinite Petri Nets and Artificial Intelligence to Answer Modern Calls for Systems Verification
Plenary Speakers
Dr Suresh Merugu - IIT Roorkee
Mohammed Usman, Ph.D. – Professor, King Khalid University, Abha, Saudi Arabia