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)