[FM-India] Online GIAN Course "A Guided Tour to Static Program Analysis: State-of-the-Art Tools and Techniques": IIT Patna during April 4 – April 15, 2022 (except Saturday & Sunday)

[Madhavan Mukund]

----- Forwarded message from Raju Halder <halder at iitp.ac.in> -----

Date: Thu, 10 Mar 2022 11:00:20 +0530 (IST)
From: Raju Halder <halder at iitp.ac.in>
To: fmindia at cmi.ac.in
Subject: =?utf-8?Q?Online_GIAN_Course_"A_Guided_Tour_to_Stati?=
  =?utf-8?Q?c_Program_Analysis:_State-of-the-Art_Tools_?=
  =?utf-8?Q?and_Techniques":_IIT_Patna_during_April_4_?=
  =?utf-8?Q?=E2=80=93_April_15,_2022_(except_Saturday_&_Sunday)?=

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 Guided Tour to Static Program Analysis: State-of-the-Art Tools and Techniques” at IIT Patna during April 4 – April 15, 2022 (except Saturday & Sunday) in Online mode . The foreign faculty of this course is Prof. Agostino Cortesi, Full Professor at Università Ca’ Foscari Venezia, Italy (https://ssv.dais.unive.it/people/).

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). The objective of this course in to provide necessary background in formal methods and state-of-the-art techniques in modeling and analysis of cutting edge research domains.

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

The last date of registration to this course is March 20, 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
Contact : [Office] +91 612 3028009, [Lab] +91 612 3028889

----- End forwarded message -----