Lunch, Dinner, Coffee-breaks
Dates
Plenary
Thu 19 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Thu 19 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
10:30 - 11:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Break | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Break | ||
Fri 20 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Fri 20 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
09:00 - 09:30 | |||
09:30 - 10:30 | |||
09:30 60mKeynote | Software Dependencies: Then, Now, and What’s Next ISEC 2026 Keynotes Sarah Nadi New York University Abu Dhabi | ||
10:30 - 11:00 | |||
16:00 - 16:30 | |||
19:00 - 22:00 | |||
Sat 21 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Sat 21 Feb
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
09:00 - 09:45 | |||
09:00 45mTalk | Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming ISEC 2026 Keynotes Saikat Chakraborty Microsoft Research | ||
09:45 - 10:30 | |||
09:45 45mTalk | A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification ISEC 2026 Keynotes Nian-Ze Lee National Taiwan University, Taiwan | ||
10:30 - 11:00 | |||
11:00 - 11:30 | |||
11:00 30mTalk | Impact of Feature Selection Techniques on Bug Prediction Models ISEC 2026 Keynotes | ||
14:00 - 15:00 | |||
14:00 60mKeynote | Shipping Models, Not Just Code: How AI Is Forcing Software Engineering to Evolve ISEC 2026 Keynotes Siddhartha Asthana Mastercard | ||
16:00 - 16:30 | |||
17:30 - 18:00 | |||
Unscheduled Events
| Not scheduled Dinner | Dinner Break |