Keynote/Invited Talks/Tutorials

   Dr. Ganesh has given more than 75 invited talks, keynote addresses, and plenary talks at prestigious venues including an invited tutorial at Constraint Programming (CP) Conference 2023, plenary talk at the conference on Applications of Computer Algebra (ACA 2018) in June 2018 at Santiago De Compostela, Spain, a series of lectures at the Marktoberdorf Summer School on "Engineering Secure and Dependable Software Systems" in August 2018 at Marktoberdorf, Germany, an invited talk at Casa Mathematica Oaxaca, Mexico (part of the network of BIRS mathematical stations) in August 2018, an invited talk at the Institute of Mathematical Sciences, National University of Singapore in September 2016, an invited talk at the Banff Mathematical Research Station, Canada in January 2014, an invited tutorial talk at the Computer Aided Verification (CAV 2011) conference in July 2011 at Snowbird, USA, and more than 10 invited talks at the Dagstuhl seminar in Germany over several years.

For a complete list of Dr. Ganesh's invited talks, please refer to his CV.