About Mysore Park Workshop series

The Mysore Park Workshop series is a forum to promote research discussion in Computer Science and Engineering in India, through workshops on contemporary topics modeled after the Dagstuhl Workshop series. These workshops are envisioned to invite leading researchers from various related disciplines to promote cross-fertilization of ideas, and inter-disciplinary research. To keep the quality of discussion high, participation is limited to experts from academia and industry. For more information visit the Mysore Park Workshops homepage.

About this workshop

The purpose of this meeting is to bring together researchers who focus on modelling and verifying quantitative aspects of a system. The quantities could be in the form of either timing constraints (time taken between the application of brakes and its actual implementation by the hardware is 3 micro-seconds), or presence of continuous variables (physical quantities like velocity, acceleration), or probabilistic behaviours (there is 0.1 probability that the system will go into the idle mode). Moreover, the requirements for these systems could involve quantitative information as well e.g., will the system respond in 99 % of the cases within 3 seconds? In this workshop, we wish to concentrate upon models for such timed, hybrid and probabilistic systems.

There has been a large body of research over the past 25 years on these topics around the world. Further, the past five years or so have seen a faster pace of research on these topics than ever before and many of these, once purely theoretical, ideas have now found applications in industry as well. Our agenda in this workshop is to get updated with the recent advances in the theoretical properties and algorithms for the various quantitative models from experts in the world; to know the state-of-the-art in the tools for quantitative verification; and finally, to identify challenges in theory and applications of quantitative verification.


  • S. Akshay (Indian Institute of Technology Bombay, India)
  • Joost-Pieter Katoen (RWTH Aachen University, Germany)
  • B. Srivathsan (Chennai Mathematical Institute, India)
  • Igor Walukiewicz (University of Bordeaux, France)

List of speakers

  • Nathalie Bertrand, INRIA Rennes, France
  • Supratik Chakraborty, IIT Bombay, India
  • Martin Fränzle, University of Oldenburg, Germany
  • Blaise Genest, CNRS Rennes, France
  • Holger Hermanns, Saarland university, Germany
  • Joost-Pieter Katoen, RWTH Aachen university, Germany
  • Pushmeet Kohli, MSR Cambridge, UK
  • Jan Kretinsky, TU Munich, Germany
  • S. Krishna, IIT Bombay, India
  • Kim G. Larsen, University of Aalborg, Denmark
  • Pavithra Prabhakar Kansas State University, USA
  • Sriram Rajamani MSR Bangalore, India
  • Mahesh Viswanathan, UIUC, USA
  • Igor Walukiewicz, University of Bordeaux, France

  • A list of all participants can be found here.


    Event Schedule

      Feb 1   Feb 2   Feb 3   Feb 4
      9:00 - 10:00   Igor Walukiewicz
      Supratik Chakraborty
      Pavithra Prabhakar
      10:00 - 10:30   Coffee/Tea   Coffee/Tea   Coffee/Tea
      10:30 - 11:30   S. Krishna
      Sriram Rajamani   Martin Franzle
      11:35 - 12:35   Holger Hermanns
      Joost-Pieter Katoen
      PhD talk 4*
      12:35 - 14:00 Lunch
      14:00 - 15:00   Mahesh Vishwanathan
      Nathalie Bertrand
      Jan Kretinsky
      15:00 - 15:30   Coffee/Tea   Coffee/Tea   Coffee/Tea
      15:30 - 16:30   Blaise Genest
      Pushmeet Kohli   Kim Larsen
      16:35 - 17:05   PhD talk 1
      PhD talk 3
      17:05 - 17:30   PhD talk 2
      17:30 - 18:00   Coffee/Tea   Visit to Brindavan Gardens
      19:30 - 22:30   Banquet at Royal Orchid Lawns
    * The last session ends at 12 noon on Feb 4th.
    ** For more details about the talk, click on the speaker's name or click here .


    Mysore Infosys Campus
    Mysuru, Karnataka

    The workshop will be held from February 1-4, 2016 at the Mysore Infosys campus, located approximately 150 kms from Bangalore/Bengaluru. The workshop will start post noon on 1st February and will end with lunch on 4th February. The closest international airport is the Kempegowda International Airport at Bengaluru (BLR), which is about 3-4 hours by road or train. You can either hire a cab or take a bus from Bengaluru airport directly to Mysore.


    Accommodation and food will be organized for all participants (courtesy: Infosys) in the Infosys campus for the duration of the workshop.

    Travel Support

    The Mysore Park workshop series does NOT provide for travel support and participants are expected to arrange their own travel funding. If your travel funds are insufficient, please write to us and we will try to help. In certain cases, we may be able to cover travel for students if they don't have alternate sources of funding (an e-mail or a letter from the advisor/institute stating inability to support their travel will be required).