[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)

[Raju Halder]

Please accept our apologies if you receive multiple copies of this mail.



We are organizing a ten-days MHRD sponsored GIAN (Global Initiative of
Academic Networks) course entitled "A Proof and Refinement based
Development for Cyber-Physical Systems" at IIT Patna during June 20 - July
01, 2022 (except Saturday & Sunday) in Online mode . The foreign faculty of
this course is Dr. Neeraj Kumar Singh, Associate Professor in computer
science at INPT-ENSEEIHT and member of the ACADIE team at IRIT, France (
http://singh.perso.enseeiht.fr).



This course will be useful for students at all levels
(BTech/MSc/MTech/PhD), faculties from academic and technical institutions,
and executives, engineers and researchers from software industries and
government organizations (including R&D laboratories).



This course will provide the necessary background in formal methods,
including specifying, designing and implementing complex Cyber Physical
Systems using Event-B modeling language and refinement principle. In
particular, various modeling techniques (discrete and continuous),
refinement and proofs, model checking, and code generation covering several
complex examples will be discussed.



Detailed information about the course is available at:
https://gian.iitkgp.ac.in//files/brochures/BR1642676303Course_brochure_neerajsingh_3.pdf
<https://gian.iitkgp.ac.in/files/brochures/BR1642676303Course_brochure_neerajsingh_3.pdf>



The last date of registration to this course is June 10, 2022.



Please circulate this information among the interested people/group.


-- 
With Kindest Regards ,

Raju Halder
Associate Professor,
Programming LANguages & Robotics (PLANR) Lab
Department of Computer Science & Engineering
Indian Institute of Technology Patna, India
Mailto :  halder at iitp.ac.in,  halder.raju at gmail.com
Contacts :  [Office] +91 612 3028009  [Lab] +91 612 3028889