CEMSE Event Updates - New Event Speaker Wed, Apr 29 2026 Upcoming Events Urgent Notice Please note the changes to upcoming events, such as a new speaker for an event. What Survives When Code Doesn’t? Dr. Laurent Bindschaedler, Research Group Leader, Max Planck Institute for Software Systems (MPI-SWS) May 4, 12:00 - 13:00 B9 R2325 Trustworthy AI trustworthy machine learning coding AI axplainable AI software development This talk explores how AI-driven code generation shifts the role of software from a durable artifact to a disposable implementation and argues for a new computational model for agentic software that formalizes the fundamental guarantees of intent, state, composition, and effect into explicit, enforceable contracts.
What Survives When Code Doesn’t? Dr. Laurent Bindschaedler, Research Group Leader, Max Planck Institute for Software Systems (MPI-SWS) May 4, 12:00 - 13:00 B9 R2325 Trustworthy AI trustworthy machine learning coding AI axplainable AI software development This talk explores how AI-driven code generation shifts the role of software from a durable artifact to a disposable implementation and argues for a new computational model for agentic software that formalizes the fundamental guarantees of intent, state, composition, and effect into explicit, enforceable contracts.
