[FM-India] PhD studentship in Formal Methods for Safe Artificial Intelligence

Yogananda Jeppu yvjeppu at gmail.com
Thu May 19 21:44:53 IST 2022

Previous message (by thread): [FM-India] Online GIAN Course "A Proof and Refinement based Development for Cyber-Physical Systems": IIT Patna during June 20 - July 01, 2022 (except Saturday & Sunday)
Next message (by thread): [FM-India] Second CfP: FM 2023 - 25th International Symposium on Formal Methods
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

In case anyone interested apply here

https://www.findaphd.com/phds/project/phd-studentship-in-formal-methods-for-safe-artificial-intelligence/?p144523

Yoga

Previous message (by thread): [FM-India] Online GIAN Course "A Proof and Refinement based Development for Cyber-Physical Systems": IIT Patna during June 20 - July 01, 2022 (except Saturday & Sunday)
Next message (by thread): [FM-India] Second CfP: FM 2023 - 25th International Symposium on Formal Methods
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FMIndia mailing list