ICSE 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
Wed 30 Apr 2025 09:30 - 10:30 at Canada Hall 1 and 2 - Wednesday Morning Plenary Chair(s): Timothy Lethbridge

For more details click here

Because of the growing publicity about software that is labelled “Artificial Intelligence“ (AI), and the many warnings that AI can be dangerous, there is increasing demand that governments and international organizations regulate the use of AI. To write useful regulations, we must understand why AI software has always been, and always will be, untrustworthy. We must also understand why it will be very difficult to regulate AI software as such.

Stricter regulation of software that is important to its users is badly needed and long overdue. Safety regulations for critical software will also protect us against potentially dangerous “AI”. A set of properties that should be required of all critical computer systems and can be the basis of useful regulations is proposed.

Bio: David Lorge Parnas began studying professional software development in 1969. He is best known for the concept of information hiding, methods of precise software documentation, and advocacy for professionalism. He taught at Carnegie Mellon, the Technische Hochschule Darmstadt, McMaster University, the University of Limerick among others. He has received four honorary doctorates and is a Fellow of the Royal Society of Canada, the Royal Irish Academy, the Canadian Academy of Engineering, the Gesellschaft für Informatik, the ACM and the IEEE.

Click below to see his slides.

Dave Parnas' Slides (Parnas AI Regulate-1.pdf)859KiB

Wed 30 Apr

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Wednesday Morning PlenaryMain Plenaries at Canada Hall 1 and 2
Chair(s): Timothy Lethbridge University of Ottawa

This will be the first plenary session of the main conference.

  • Acknowledgement of the the Indigenous people on whose unceded land the Rogers Centre is situated
  • Introduction by General Co-Chairs and overview of logistics and social aspects
  • Welcome by Diamond Sponsor Huawei: Lijie Wang, director Trustworthy Software Engineering and Open-Source Software Lab
  • Welcome by Platinum Sponsor UOttawa: Michel Labrosse, Dean of Engineering
  • Overview of the technical program and the reviewing process by the Program Chairs
  • Keynote by Dave Parnas
09:00
12m
Day opening
Welcome to ICSE 2025
Main Plenaries
G: Timothy Lethbridge University of Ottawa, G: Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
09:12
18m
Talk
Overview of the Program from the Program Chairs
Main Plenaries
I: David Lo Singapore Management University, I: Corina S. Păsăreanu Carnegie Mellon University
09:30
60m
Keynote
David Parnas Keynote: Regulation of AI and Other Untrustworthy Software
Main Plenaries
File Attached