SEAMS 2026
Mon 13 - Tue 14 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Mon 13 Apr 2026 09:30 - 10:30 at Oceania II - Keynote 1: Michael Whalen Chair(s): Eunsuk Kang

Enabling adaptation in the cloud using automated reasoning.

Mon 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:30 - 10:30
Keynote 1: Michael WhalenSEAMS Program at Oceania II
Chair(s): Eunsuk Kang Carnegie Mellon University

Keynote: Enabling adaptation in the cloud using automated reasoning. Speaker: Dr. Michael Whalen (Amazon Web Services).

09:30
60m
Keynote
Keynote 1: Michael Whalen
SEAMS Program
Eunsuk Kang Carnegie Mellon University, Michael Whalen Amazon Web Services and the University of Minnesota