ISEC 2025
Thu 20 - Sat 22 February 2025 Kurukshetra , India

Lunch, Dinner, Coffee-breaks

Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 20 Feb

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

09:00 - 10:00
Registration for ISEC 2025Research Papers at Senate Hall
11:30 - 12:00
Tea/Coffee BreakBreak (Catering) at Senate Hall
11:30
30m
Coffee break
Break
Break (Catering)

13:30 - 15:00
16:15 - 16:30
Tea/Coffee BreakBreak (Catering) at Senate Hall
16:15
15m
Coffee break
Break
Break (Catering)

Fri 21 Feb

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

09:00 - 10:00
Registration and Inauguration Ceremony for ISEC 2025Research Papers at Senate Hall
10:00 - 11:00
10:00
60m
Keynote
Keynote Talk: AI for Enterprise Software
ISEC 2025 Keynotes
11:00 - 11:30
Tea/Coffee BreakBreak (Catering) at Senate Hall
11:00
30m
Coffee break
Break
Break (Catering)

13:00 - 14:00
13:00
60m
Lunch
Lunch
Break (Catering)

16:30 - 17:00
Tea/Coffee BreakBreak (Catering) at Senate Hall
16:30
30m
Coffee break
Break
Break (Catering)

19:00 - 21:30
Conference BanquetBreak (Catering) at Veta Hotel
19:00
2h30m
Dinner
Dinner
Break (Catering)

Sat 22 Feb

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

09:00 - 10:00
09:00
60m
Keynote
Keynote Talk: Studying Humans in Software Engineering: Trade-offs and decisions.
ISEC 2025 Keynotes
K: Alexander Serebrenik Eindhoven University of Technology
10:00 - 10:30
Tea/Coffee BreakBreak (Catering) at Senate Hall
10:00
30m
Coffee break
Break
Break (Catering)

11:30 - 12:15
11:30
45m
Keynote
Keynote Talk: Specification Synthesis with Constrained Horn Clauses
ISEC 2025 Keynotes
K: Sumanth Prabhu TCS Research
12:15 - 13:00
Test of Time Award Talk (from ISEC 2014) Nirikshan: mining bug report history for discovering process maps, inefficiencies and inconsistenciesResearch Papers at Senate Hall
13:00 - 14:00
13:00
60m
Lunch
Lunch
Break (Catering)

15:30 - 16:00
Closing Ceremony for ISEC 2025 and Remarks by ISEC Steering Committee Chairs (and Introduction to SERI 2025)Research Papers at Senate Hall
16:00 - 17:00
Tea/Coffee BreakBreak (Catering) at Senate Hall
16:00
60m
Coffee break
Break
Break (Catering)

Events

Title
Break
Break (Catering)

Dinner
Break (Catering)

Lunch
Break (Catering)