Meeting Programme
The schedule below is tentative; further details will be added in due course.
| Time | Speaker | Title |
|---|
| 9:00 PM – 10:00 PM |
Shibashis Guha |
Tutorial on Reactive Synthesis |
| Time | Speaker | Title |
|---|
| 9:00 AM – 9:30 AM |
|
Opening Remarks |
| 9:30 AM – 10:00 AM |
Sujatha Ghosh |
A Modal Approach Towards Substitutions |
| 10:00 AM – 10:30 AM |
TBA |
|
| Tea Break · 10:30 AM – 10:45 AM |
| 10:45 AM – 11:15 AM |
TBA |
|
| 11:15 AM – 11:45 AM |
Ashish Mishra |
Refinement Types: A Powerful Machinery for Verification, Synthesis and Testing |
| Tea Break · 11:45 AM – 12:00 PM |
| 12:00 PM – 12:30 PM |
Abhishek Kr Singh |
State Reachability Under Weak Memory: From Decidability Frontiers to Visibility-Guided Testing |
| 12:30 PM – 1:00 PM |
Subodh Sharma |
|
| Lunch Break · 1:00 PM – 2:30 PM |
| 2:30 PM – 3:00 PM |
TBA |
|
| 3:00 PM – 3:30 PM |
TBA |
|
| 3:30 PM – 4:00 PM |
Shweta Rajiv |
Bridging Bit-Vectors and Natural Numbers in Isabelle/HOL |
| Tea Break · 4:00 PM – 4:30 PM |
| 4:30 PM – 5:00 PM |
Ramit Das |
Verifying Error Correction Coding Algorithms using Symbolic Trajectory Evaluation |
| 5:00 PM – 5:30 PM |
Gourav Takhar |
Incorrectness Proofs with Underapproximation Invariants |
| Banquet |
| Time | Speaker | Title |
|---|
| 9:30 AM – 10:00 AM |
TBA |
|
| 10:00 AM – 10:30 AM |
Supratik Chakraborty |
Proof Systems for QBF Synthesis: Extracting Skolem and Herbrand Functions |
| Tea Break · 10:30 AM – 10:45 AM |
| 10:45 AM – 11:15 AM |
TBA |
|
| 11:15 AM – 11:45 AM |
Pranshu Gaba |
Sure-Almost-Sure and Sure-Limit-Sure Window Mean Payoff in Markov Decision Processes |
| Tea Break · 11:45 AM – 12:00 PM |
| 12:00 PM – 12:30 PM |
Akshay S. |
|
| 12:30 PM – 1:00 PM |
Deepak D'Souza |
|
| Lunch Break · 1:00 PM – 2:30 PM |
| 2:30 PM – 3:00 PM |
Sumanth Prabhu |
On Robustness of Linear Classifiers to Targeted Data Poisoning |
| 3:00 PM – 3:30 PM |
Amaldev Manuel |
Circuit Complexity of Regular Languages |
| 3:30 PM – 4:00 PM |
Neeraj Krishnan K |
On Generalised Star Height |
| Tea Break · 4:00 PM – 4:30 PM |
| 4:30 PM – 5:00 PM |
Sreejith A V |
Regular Expressions over Countable Words |
| 5:00 PM – 5:30 PM |
TBA |
|
| Time | Speaker | Title |
|---|
| 10:00 AM onwards |
Society for Electronic Transactions and Security |
Applied Formal Methods in Cryptography |