Date: August 25, 2021 (Wednesday)
Timings: 5-6 pm (PST)
Venue: Online via Google Meet

Speakers:

• Dr. Osman Hasan, SEECS, NUST
• Ibrahim Evkay, Yildiz Technical University (YTU), Turkey
• Sobia Ashraf , SEECS, NUST

Talks:

• Talk 1: Introduction to Formal Verification (5-5:20 pm)
• Talk 2: Importance of Protection Systems in Smart Grids (5:20-5:40 pm)
• Talk 3: Formal Verification of Single Dual Setting DOCRs Based Line Protection Logic for Smart Grids (5:40-6:00 pm)

Registration:

Register Here for Free: https://forms.gle/mPBNC49SbRuN7rGq6
After registration, a confirmation email will be sent to you containing information about joining
the workshop online.
Contact us at: [email protected] for more Information or queries

Collaborators: