@article{Trehan16,
  title = {Report on BCTCS 2016},
  author = {Amitabh Trehan},
  year = {2016},
  url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/416/396},
  researchr = {https://researchr.org/publication/Trehan16},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {119},
}