Madhavan Mukund

Administrative Responsibilities

• Director, Chennai Mathematical Institute

• Director, IRL 2000 ReLaX, Research Lab in Computer Science, International Research Laboratory (IRL) under CNRS

• National Coordinator, Indian Computing Olympiad

• Member, Scientific Board, Mysore Park Workshops

• Fellow, Indian Academy of Sciences

Member, Editorial Board

• Acta Informatica

• Indian Journal of Pure and Applied Mathematics

• Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) , a subseries of Springer Lecture Notes in Computer Science (LNCS).

• Resonance, Journal of Science Education, Indian Academy of Sciences, Bangalore.

Past Responsibilities

• Deputry Director (2019–2021) and Dean of Studies (2011–2021), Chennai Mathematical Institute

• President (2016–2018), ACM India Council

• President (2011–2017), Secretary (2002–2011) and Member, Executive Council (2002–2017), Indian Association for Research in Computing Science (IARCS)

• Co-Director, Indo-French Formal Methods Lab INFORMEL, an International Associated Laboratory (LIA) under CNRS, 2012–2016

• Chair, Scientific Board, Mysore Park Workshops, 2014–2016

• Executive Director, International Olympiad in Informatics, 2011–2014

• Member, EATCS Council, European Association for Theoretical Computer Science, 2007–2011

• Member, Editorial Board, Leibniz International Proceedings in Informatics, an open access series for conference proceedings published by Schloss Dagstuhl - Leibniz Center for Informatics, Germany, 2009–2019

• Member, Editorial Board, Sadhana, Academy Proceedings in Engineering Sciences, Indian Academy of Sciences, Bangalore, 2014–2019

All Programme Committees

Conferences

• APLAS, Asian Symposium on Programming Languages and Systems,

  • 18th Symposium, online (originally Kyushu, Japan), 2020.

• ATVA, International Symposium on Automated Technology for Verification and Analysis,

  • 14th Symposium, Chiba, Japan, 2016.
  • 13th Symposium, Shanghai, China, 2015.
  • 12th Symposium, Sydney, Australia, 2014.
  • 11th Symposium, Hanoi, Vietnam, 2013.
  • 10th Symposium, Thiruvananthapuram, India, 2012 (co-chair).

• CATS, Computing: the Australasian Theory Symposium

  • 16th Symposium, Brisbane, Australia, 2010.

• CONCUR, International Conference on Concurrency Theory

  • 26th Conference, Madrid, Spain, 2015.
  • 22nd Conference, Aachen, Germany, 2011.
  • 14th Conference, Marseilles, France, 2003.
  • 9th Conference, Nice, France, 1998.

• CSR, International Computer Science Symposium in Russia

  • 5th Symposium, Kazan, Russia, 2010.

• FICS, International Conference on Foundations of Informatics, Computing and Software

  • First Conference, Shanghai, China, 2008.

• FCT, Fundamentals of Computation Theory

  • 21st International Symposium, Bordeaux, France, 2017.

• FM, Formal Methods

  • 15th International Symposium, Abo Akademi University, Turku, Finland, 2008.

• FSTTCS, Foundations of Software Technology and Theoretical Computer Science

  • 36th Conference, Chennai, 2016.
  • 34th Conference, Delhi, 2014.
  • 32nd Conference, Hyderabad, 2012.
  • 28th Conference, Bangalore, 2008 (co-chair).
  • 26th Conference, Kolkata, 2006.
  • 21st Conference, Bangalore, 2001 (co-chair).
  • 20th Conference, Delhi, 2000.
  • 18th Conference, Chennai, 1998.
  • 17th Conference, Kharagpur, 1997.

• Highlights of Logic, Automata and Games

  • Highlights 2015, Prague, Czech Republic, September, 2015..

• ICALP, International Colloquium on Automata, Languages and Programming

  • 48th Colloquium, online (originally Glasgow, Scotland), 2021.
  • 43rd Colloquium, Rome, Italy, 2016.
  • 41st Colloquium, Copenhagen, Denmark, 2014.
  • 35th Colloquium, Reykjavik, Iceland, 2008.
  • 33rd Colloquium, Venice, Italy, 2006.

• ICTAC, International Colloquium on Theoretical Aspects of Computing

  • 9th Colloquium, Bangalore, India, 2012

• ISEC, India Software Engineering Conference

  • First Conference, Hyderabad, India, 2008.

• LaTiCE 2016, International Conference on Learning and Teaching in Computing and Engineering

  • Fourth Conference, Mumbai, India, 2016

• LICS, Logic in Computer Science

  • 30th Symposium, Kyoto, Japan, 2015.
  • 28th Symposium, New Orleans, USA, 2013.

• MFCS, Mathematical Foundations of Computer Science

  • 39th International Symposium, Budapest, Hungary, 2014.
  • 38th International Symposium, IST, near Vienna, Austria, 2013.
  • 35th International Symposium, Brno, Czech Republic, 2010.
  • 32nd International Symposium, Cesky Krumlov, Czech Republic, 2007.

• NETYS, International Conference on Networked Systems

  • 4th Conference, Rabat, Morocco, 2016

• Petri Nets, International Conference on Application and Theory of Petri Nets and Concurrency, (formerly ICATPN, International Conference on Applications and Theory of Petri Nets)

  • 37th Conference, Torun, Poland, 2016.
  • 36th Conference, Brussels, Belgium, 2015.
  • 35th Conference, Tunis, Tunisia, 2014.
  • 33rd Conference, Hamburg, Germany, 2012.
  • 32nd Conference, Kanazawa, Japan (relocated to Newcastle-upon-Tyne, UK), 2011.
  • 31st Conference, Braga, Portugal, 2010.
  • 30th Conference, Paris, France, 2009.
  • 29th Conference, Xian, China, 2008.
  • 27th Conference, Turku, Finland, 2006.
  • 26th Conference, Miami, Florida, 2005.
  • 25th Conference, Bologna, Italy, 2004.
  • 24th Conference, Eindhoven, The Netherlands, 2003.
  • 23rd Conference, Adelaide, Australia, 2002.

• SEFM, IEEE International Conference on Software Engineering and Formal Methods

  • 17th Conference, Oslo, Norway, 2019.
  • 9th Conference, Montevideo, Uruguay, 2011.
  • 8th Conference, Pisa, Italy, 2010.
  • 7th Conference, Hanoi, Vietnam, 2009.
  • 4th Conference, Pune, India, 2006.

• SOFSEM, International Conference on Current Trends in Theory and Practice of Computer Science

  • 36th International Conference, Spindleruv Mlyn, Czech Republic, 2010.
  • 35th International Conference, Spindleruv Mlyn, Czech Republic, 2009.

• SAC-SVT, Software Verification Track, ACM Symposium on Applied Computing

  • Software Verification and Testing, 32nd Symposium, Marrakesh, Morocco 2017.
  • Software Verification and Testing, 31st Symposium, Pisa, Italy 2016.

• STACS, Symposium on Theoretical Aspects of Computer Science

  • 23rd Symposium, Marseilles, France, 2006.

• TACAS, International Conference on Tools and Algorithms for the Construction and Analysis of Systems

  • 16th Conference, Paphos, Cyprus, 2010.

• VMCAI, International Conference on Verification, Model Checking, and Abstract Interpretation

  • 18th Conference, Paris, France, 2017.
  • 17th Conference, St. Petersburg, USA, 2016.

Workshops

• TADM 2021, 1st International Workshop on Trusted Automated Decision-Making an ETAPS 2021 workshop, online (was Luxembourg), March, 2021.

• RP 2014, 8th International workshop on Reachability Problems Oxford, UK, September, 2014.

• 3rd Interaction and Concurrency Experience (ICE'10): Guaranteed Interaction, Satellite Workshop at DisCoTec 2010, Amsterdam, Netherlands, June, 2010.

• 2nd Interaction and Concurrency Experience (ICE'09): Structured Interactions, Satellite Workshop at CONCUR 2009, Bologna, Italy, August, 2009.

• Concurrency metHods: Issues aNd Applications (CHINA 2008), Satellite Workshop at ICATPN 2008, Xian, China, June, 2008.

• International Workshop on Validation and Implementation of Scenario-based Specifications (VISS), Grenoble, France, 2002.

• International Workshop on Structures in Concurrency Theory (STRICT), Berlin, Germany, 1995.