No information available yet.
This program is tentative and subject to change.
Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
08:00 - 17:30 | Sunday RegistrationICSE Social, Networking and Special Rooms at Main Entrance Registration for ICSE 2026. | ||
08:00 9h30mRegistration | ICSE 2026 Registration ICSE Social, Networking and Special Rooms | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Keynote: Sebastian Uchitel FormaliSE Program Sebastian Uchitel Imperial College London & University of Buenos Aires | ||
10:30 - 11:00 | Sunday Morning BreakICSE Catering at Catering and Exhibition Hall (Europa I to IV) This break will provide an opportunity for networking and relaxation between sessions. | ||
10:30 30mCoffee break | Break ICSE Catering | ||
12:30 - 14:00 | Sunday LunchICSE Catering at Catering and Exhibition Hall (Europa I to IV) Lunch time with a variety of meal options available for attendees, including vegetarian choices. This session will provide an opportunity for attendees to enjoy a meal while networking with colleagues and discussing the day’s events. | ||
12:30 90mLunch | Lunch ICSE Catering | ||
14:00 - 15:30 | Session 2: Verification, Synthesis & Automated ReasoningResearch Track / FormaliSE Program at Oceania VIII | ||
14:00 30mTalk | Autofy: Automated Synthesis of Formally Verified Code Research Track Nils Purschke Technical University of Munich, André Schamschurko Technical University of Munich, Sven Kirchner Technical University of Munich, Chengdong Wu Technical University of Munich, Alois Knoll Technical University of Munich | ||
14:30 30mTalk | Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications Research Track Pablo Castro Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Luciano Putruele National University of Rio Cuarto, Renzo Degiovanni Luxembourg Institute of Science and Technology, Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China | ||
15:00 15mTalk | TensorEgg: Formally Verifying Rewrite Rules and Applying Them to Tensor Programs Research Track Akash Kothari University of Illinois at Urbana-Champaign, Dhruv Baronia University of Illinois at Urbana-Champaign | ||
15:15 15mTalk | VeriROS: Verifiable ROS2 Navigation Execution Framework Research Track | ||
15:30 - 16:00 | Sunday Afternoon BreakICSE Catering at Catering and Exhibition Hall (Europa I to IV) Afternoon Break with a variety of beverages and snacks available for attendees. This break will provide an opportunity for networking and relaxation between sessions. | ||
15:30 30mCoffee break | Break ICSE Catering | ||
16:00 - 17:30 | Session 3: Formal Modeling, Specification & SemanticsResearch Track / FormaliSE Program at Oceania VIII | ||
16:00 30mTalk | A Compositional Approach to Mapping BPMN to DCR for Cross-Paradigm Process Modeling Research Track | ||
16:30 30mTalk | Cargo Sherlock: An SMT-Based Checker for Software Trust Costs Research Track Muhammad Hassnain University of California, Davis, Anirudh Basu University of California, Davis, Ethan Ng University of California, Davis, Caleb Stanford University of California, Davis | ||
17:00 15mTalk | Spectabular: Interactive Tabular Requirements Specifications (Research Ideas Paper) Research Track Emil Sekerinski McMaster University, Canada | ||
17:15 15mTalk | Towards Modeling IoT Applications: Specification, Animation and Reasoning in Anemone Research Track | ||
Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
08:00 - 17:30 | Monday RegistrationICSE Social, Networking and Special Rooms at Main Entrance Registration for ICSE 2026. | ||
08:00 9h30mRegistration | ICSE 2026 Registration ICSE Social, Networking and Special Rooms | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Keynote: Lina Marsso FormaliSE Program Lina Marsso Polytechnique Montreal | ||
10:30 - 11:00 | Monday Morning BreakICSE Catering at Catering and Exhibition Hall (Europa I to IV) This break will provide an opportunity for networking and relaxation between sessions. | ||
10:30 30mCoffee break | Break ICSE Catering | ||
11:00 - 12:30 | Session 4: Automated Reasoning, and Program AnalysisResearch Track / FormaliSE Program at Oceania VIII | ||
11:00 30mTalk | Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm Research Track | ||
11:30 30mTalk | Domain-Guided Quantifier Instantiation with Yardbird Research Track Cole Vick University of Texas at Austin, Samuel Thomas The University of Texas at Austin, Texas, USA | ||
12:00 15mTalk | From Cognition to Coordination: Modeling Agentic Autonomy in Large-Scale Multi-Agent Systems Research Track | ||
12:15 15mTalk | Test Data Selection by Failure Coverage Research Track | ||
12:30 - 14:00 | Monday LunchICSE Catering at Catering and Exhibition Hall (Europa I to IV) Lunch time with a variety of meal options available for attendees, including vegetarian choices. This session will provide an opportunity for attendees to enjoy a meal while networking with colleagues and discussing the day’s events. | ||
12:30 90mLunch | Lunch ICSE Catering | ||
14:00 - 15:30 | Session 5: Automated Reasoning, and Program AnalysisResearch Track / FormaliSE Program at Oceania VIII | ||
14:00 30mTalk | Profile-Guided Constraint Simplification for Symbolic Execution Research Track Roxana Shajarian University of Nebraska-Lincoln, Md Rashedul Hasan University of Nebraska-Lincoln, Lisong Xu University of Nebraska-Lincoln, USA, Hamid Bagheri University of Nebraska-Lincoln | ||
14:30 15mTalk | BPMN-T: A Timed–Probabilistic Extension of BPMN with Formal Semantics Research Track Ahang Zuo Univ. de Pau et des Pays de l’Adour | ||
14:45 15mTalk | Toward an automatic formal verification of Cairo v0 programs (Extended Abstract) Research Track | ||
15:30 - 16:00 | Monday Afternoon BreakICSE Catering at Catering and Exhibition Hall (Europa I to IV) Afternoon Break with a variety of beverages and snacks available for attendees. This break will provide an opportunity for networking and relaxation between sessions. | ||
15:30 30mCoffee break | Break ICSE Catering | ||
20:00 - 23:00 | Social Event for Co-located ConferencesICSE Social, Networking and Special Rooms at Rio Scenarium Co-located event participants are invited to join us at Rio Scenarium for an informal evening with live Brazilian music, food, drinks, and great company in the heart of Lapa, a traditional samba region in Rio. Buses depart from the conference venue starting at 18:00. | ||
20:00 3hDinner | Social Event for Co-located Conferences ICSE Social, Networking and Special Rooms | ||
Unscheduled Events
| Not scheduled Coffee break | Coffee Break FormaliSE Program |