The following posters have been accepted:

• Shubham Sharma, Subhajit Roy, Mate Soos and Kuldeep S. Meel. - GANAK: A Scalable Probabilistic Exact Model Counter
• Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey and Subhajit Roy. - Interactive Debugging of Concurrent Programs under Relaxed Memory Models
• Priyanka Golia, Kuldeep S. Meel and Subhajit Roy. - A Data Driven Approach for Boolean Function Synthesis
• Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel and Prateek Saxena. - Quantitative Verification of Neural Networks and Its Security Applications
• Srinidhi Nagendra. - Verification of Move Smart Contracts
• Sheerazuddin S. - Bounded Model Checking of Systems with Unbounded Agents
• Hitarth Singh and Bhishmaraj S. - Tool for analysis of Array Manipulating Programs using Rosette
• Divyesh Unadkat - Verifying Array Programs with Full-program Induction
• Shetal Shah - On Boolean Function Synthesis