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.