Short Presentations (17th December, 1100-1230)

  • [1100-1125]   An Extensive Investigation of Condition Reachability using CBMC: Study on Negative Results by Sangharatna Godboley (NIT Warangal)

  • [1125-1135]   Mathematical Foundations in Computer Science: Industry perspective by Sushim Srivastava (Qualcomm)

  • [1135-1200]   An Approximate Skolem Function Counter by Arijit Shaw (CMI)

  • [1200-1230]   Synthesis with Explicit Dependencies by Priyanka Golia (CISPA Helmholtz Center for Information Security)