Documents

Actions Registration Registration Fees Deadlines and Policies Submit Paper Guidelines Preparing your Presentation Templates Glossary AI Tools Author's Login Reviewer's Login Ethics of Review Information Conference Details Important Dates Technical Program Social Event Call for Papers Program Committee Event Chairs Keynote Lectures Best Paper Awards Satellite Events Workshops Special Sessions Tutorials Demos Panels Travel and Accommodation Conference Venue About the Region Reaching the City Visa Information Hotel Reservation Partners Academic Partners Industrial Partners Institutional Partners Media Partners Partner Events Publication Partners Previous Conferences Websites Abstracts Invited Speakers Awards Books Published

Keynote Lectures

Rationality and the Bayesian Paradigm
Itzhak Gilboa, HEC, Paris, France, France

Accelerating Supply Chain Digital Transformation with Digital Twins and Agentic AI
Oleg Gusikhin, Ford Motor Company, United States, United States

A Path for Quality Software Engineering in the Age of AI
Bertrand Meyer, ETH Zurich, Switzerland, Switzerland

Rationality and the Bayesian Paradigm

Itzhak Gilboa
HEC, Paris, France
https://itzhakgilboa.weebly.com/

Brief Bio
Itzhak Gilboa studied Mathematics and Computer Science (BSc, 1982) and Economics (BA, 1982, MA, 1984, Ph.D., 1987) at Tel Aviv University, with the graduate studies under the supervision of David Schmeidler. He works in decision theory and other fields in economic theory such as game theory and social choice. His main research areas are decision under uncertainty, focusing on the definition of probability, notions of rationality, non-Bayesian decision models, and related issues. He has been teaching a variety of courses on microeconomics, decision theory, game theory, psychology and economics, and related fields, at the undergraduate, graduate, and MBA levels. He is the author of several books such as Analogies and Theories. His recent research papers are published in prestigious scientific journals. Itzhak Gilboa is also the holder of the AXA Chair in Decision Sciences.

Abstract
It is argued that, contrary to a rather prevalent view within economic theory, rationality does not imply Bayesianism. The note begins by defining these terms and justifying the choice of these definitions, proceeds to survey the main justification for this prevalent view, and concludes by highlighting its weaknesses.

Accelerating Supply Chain Digital Transformation with Digital Twins and Agentic AI

Oleg Gusikhin
Ford Motor Company, United States

Brief Bio
Dr. Oleg Gusikhin is a Senior Director, Data Science & Machine Learning at Ford Global Data Insight & Analytics, where he leads Supply Chain Analytics. He has over 30 years of experience in application of advanced technology and analytics in the automotive industry. During his tenure at Ford, he has created numerous high-impact long-lasting applications for Ford manufacturing, supply chain and connected vehicles, and holds over 100 patents. Dr. Gusikhin is a member of the National Academy of Engineering, a Fellow of IEEE, and a Fellow of INFORMS. He is a recipient of three Henry Ford Technology Awards in the Manufacturing, Research, and Product Development categories, the 2025 INFORMS Innovative Applications in Analytics Award, and the 2014 INFORMS Daniel H. Wagner Prize for Excellence in the Practice of Advanced Analytics and Operations Research. In addition, Dr. Gusikhin is a Lecturer at the University of Michigan Industrial & Operations Engineering and engineering faculty advisor at the Tauber Institute for Global Operations.

Abstract
Digital Twins and Agentic Artificial Intelligence (AI) are driving a fundamental change in how enterprise information systems are designed, deployed, and managed. This new paradigm empowers business users to directly define and manage AI agents using intuitive, no-code tools and large language models emphasizing self-service analytics, enabling rapid, iterative decision-making and driving a shift from reactive to proactive enterprise management. This broader change has particularly profound implications for supply chain management, where conventional systems often struggle to provide the real-time adaptability and predictive insights required by today's dynamic global markets. In this talk, we explore how the convergence of digital twins and agentic AI is accelerating the reinvention of supply chain information systems. Digital twins create data-driven, real-time representations of supply chains, enabling continuous monitoring, scenario simulation, and performance evaluation. Building on this foundation, agentic AI introduces autonomy into decision-making, allowing AI agents to reason over alternatives, negotiate trade-offs, and coordinate actions across organizational silos, often by seamlessly integrating and orchestrating existing software tools and platforms. This presentation overviews the development of Ford's end-to-end supply chain digital twin, illustrating its foundational capabilities and the comprehensive visibility it provides. It demonstrates how agentic AI is incorporated into this digital twin environment to address critical practical challenges.

A Path for Quality Software Engineering in the Age of AI

Bertrand Meyer
ETH Zurich, Switzerland

Brief Bio
Bertrand Meyer is an academic and entrepreneur whose career has been devoted to developing methods and tools for software quality. He is Professor Emeritus at ETH Zurich and CTO of Recognyze AI and of Eiffel Software (based in Santa Barbara, California). He was one of the pioneers in object technology through his introduction of the Design by Contract and other well-known software design concepts such as the Open-Closed Principle, and best-selling books such as Object-Oriented Software Construction. He has made important contributions to programming languages, through his design of the Eiffel language, agile methods (with another best-selling book, Agile! The Good, the Hype and the Ugly, Springer), requirements engineering (Handbook of Requirements and Business Analysis, also Springer, 2022), formal methods (with the development of the AutoProof program-proving system), concurrent programming, and software project management. His received the ACM Software System Award, the IEEE Harlan Mills Prize, the Jolt Award, the ACM SIGSOFT Influential Educator Award, is an ACM and IFIP fellow and member of Academia Europaea and the French National Academy of Technologies, and received two honorary doctorates.

Abstract
AI tools and vibe coding have upended the way we look at software. It is becoming increasingly clear, however, that the fundamentals of software engineering have not changed and that discipline is needed more than ever together with the power of requirements, quality-focused design and verification. Taking advantage of my long-running work on Design by Contract and more generally on software quality, this talk will describe a path towards building software better and faster by combining the best software engineering techniques with the best of what AI can give us to help.