FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
VenueWindsor Convention Center and Hotels
Room namePlenary (Asia II + III + Hall)
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Wed 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:40
Wednesday Morning PlenaryICSE Main Plenaries at Plenary (Asia II + III + Hall)

This will be the first plenary session of the main conference. Introduction by General Co-Chairs and overview of logistics and social aspects. Overview of the technical program and the reviewing process by the Program Chairs. Two Keynote sessions by Jan Bosch and Qinghua Lu.

09:00
15m
Day opening
Welcome to ICSE 2026
ICSE Main Plenaries
Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael Prikladnicki School of Technology at PUCRS University
09:15
15m
Talk
Overview of the Program from the Program Chairs
ICSE Main Plenaries
Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE, Thomas Zimmermann University of California, Irvine
09:30
35m
Keynote
Jan Bosch Keynote: Towards an Awesome AI-driven Future for Software Engineering
ICSE Main Plenaries
Jan Bosch Chalmers University of Technology
10:05
35m
Keynote
Qinghua Lu Keynote: AI Engineering: From Software-Centric Systems to AIware-Centric Systems
ICSE Main Plenaries
Qinghua Lu Data61, CSIRO
11:00 - 12:30
Panel - SE.next: In the Agentic TrenchesICSE Panels and Special Sessions at Plenary (Asia II + III + Hall)
11:00
90m
Panel
SE.next: In the Agentic Trenches
ICSE Panels and Special Sessions
Ahmed E. Hassan Queen’s University
14:00 - 15:30
Wednesday Afternoon Awards PlenaryICSE Main Plenaries at Plenary (Asia II + III + Hall)

This will be the second plenary session of the main conference. Awards session, including the TCSE and SigSoft awards, as well as the Most Influential Paper awards for both ICSE and SEIP.

14:00
10m
Day opening
Opening by the Awards Chairs
ICSE Main Plenaries
Ipek Ozkaya Carnegie Mellon University, Stefan Wagner Technical University of Munich
14:10
20m
Talk
ACM SIGSOFT Outstanding Research Award and Talk by Tao Xie: TBA
ICSE Main Plenaries
Tao Xie Peking University
14:30
20m
Talk
IEEE Computer Society Harlan D. Mills Award and Talk by Andreas Zeller: Should Computer Scientists Experiment Less? On the past, present, and future of software engineering research
ICSE Main Plenaries
Andreas Zeller CISPA Helmholtz Center for Information Security
14:50
20m
Talk
Most influential Paper ICSE N-10 Award and Talk for: Automatically learning semantic features for defect prediction
ICSE Main Plenaries
Song Wang York University, Taiyue Liu Liu University of Waterloo, Lin Tan Purdue University
DOI
15:10
20m
Talk
Most influential Paper ICSE SEIP N-10 Award and Talk for: TBA
ICSE Main Plenaries

Thu 16 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:40
Thursday Morning PlenaryICSE Main Plenaries at Plenary (Asia II + III + Hall)

This will be the first plenary session of the main conference. Introduction by General Co-Chairs and overview of logistics and social aspects. Overview of the technical program and the reviewing process by the Program Chairs. Two Keynote sessions by Jan Bosch and Qinghua Lu.

09:00
30m
Awards
Thursday Morning Awards Session
ICSE Main Plenaries
Ipek Ozkaya Carnegie Mellon University, Stefan Wagner Technical University of Munich
09:30
35m
Keynote
Laurie Williams Keynote: What We’ve Learned By Actually Talking to Practitioners about Software Supply Chain Security (and How we Do it)
ICSE Main Plenaries
Laurie Williams North Carolina State University
10:05
35m
Keynote
Silvio Meira Keynote: Adaptive Interventionist Method (AIM): Rethinking Research Methodologies for Software Engineering and Interventionist Sciences in the Phygital Age
ICSE Main Plenaries
Silvio Meira TDS.company
11:00 - 12:30
Panel - SE.next: Research in the Agentic EraICSE Panels and Special Sessions at Plenary (Asia II + III + Hall)
11:00
90m
Panel
SE.next: Research in the Agentic Era
ICSE Panels and Special Sessions
Ahmed E. Hassan Queen’s University
14:00 - 15:30
14:00
90m
Panel
Technical Debt in the AI Era
ICSE Panels and Special Sessions
Paris Avgeriou University of Groningen, The Netherlands, Ipek Ozkaya Carnegie Mellon University

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:40
Friday Morning PlenaryICSE Main Plenaries at Plenary (Asia II + III + Hall)

This will be the first plenary session of the main conference. Introduction by General Co-Chairs and overview of logistics and social aspects. Overview of the technical program and the reviewing process by the Program Chairs. Two Keynote sessions by Jan Bosch and Qinghua Lu.

09:00
10m
Day opening
Final thanks from the ICSE 2026 organizers
ICSE Main Plenaries
Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael Prikladnicki School of Technology at PUCRS University
09:10
12m
Talk
Introduction to ICSE 2027 in Ireland
ICSE Main Plenaries
Brian Fitzgerald Lero - The Irish Software Research Centre and University of Limerick
09:22
5m
Talk
Introduction to ICSE 2028 in Hawaii
ICSE Main Plenaries
Rick Kazman University of Hawai‘i at Mānoa
09:27
3m
Talk
Introduction to ICSE 2029 in Japan
ICSE Main Plenaries
Hironori Washizaki Waseda University
09:30
35m
Keynote
Alexander Serebrenik Keynote: Beyond chasing the medals: software development as an Olympic sport
ICSE Main Plenaries
Alexander Serebrenik Eindhoven University of Technology
10:05
35m
Keynote
Virgilio Almeida Keynote: Governing Software and Algorithms as Institutions
ICSE Main Plenaries
Virgilio Almeida Federal University of Minas Gerais
11:00 - 12:30
Panel - SE.next: Raising the Agentic EngineerICSE Panels and Special Sessions at Plenary (Asia II + III + Hall)
11:00
90m
Panel
SE.next: Raising the Agentic Engineer
ICSE Panels and Special Sessions
Ahmed E. Hassan Queen’s University
14:00 - 15:30
Panel - Future of Software Engineering: Toward a Healthy Software Engineering CommunityICSE Panels and Special Sessions at Plenary (Asia II + III + Hall)
14:00
90m
Panel
Future of Software Engineering: Toward a Healthy Software Engineering Community
ICSE Panels and Special Sessions
Margaret-Anne Storey University of Victoria, Andre van der Hoek University of California, Irvine