I-Day Committee

Chairs

• Erika Ábrahám (RWTH Aachen University, Germany)

• Yang Liu (Nanyang Technological University, Singapore)

Program Committee

• Simon Barner (Fortiss, Germany)

• Nikolaj Bjorner (Microsoft, USA)

• Klaus Havelund (NASA's Jet Propulsion Laboratory, USA)

• Naiyong Jin (Synopsys Ltd. Co., USA )

• Einar Broch Johnsen (University of Oslo, Norway)

• Joseph Kiniry (Galois, USA)

• Thierry Lecomte (ClearSy, France)

• Carl Seger (Chalmers University of Technology, Sweden)

• Danielle Stewart (Adventium Labs, USA)

• Kenji Taguchi (CAV Technologies, Co. Ltd. Japan)