10/01/2025 – Talk: “Semantical Reflection: Programs, Digital Twins, Correctness” By Eduard Kamburjan
Eduard Kamburjan will give a talk about his work on Semantical Reflection: Programs, Digital Twins, Correctness. Details below. SPEAKER Eduard Kamburjan, Prof., ITU. TITLE Semantical Reflection: Programs, Digital Twins, Correctness ABSTRACT[…]