Attended a workshop yesterday on Composition and Evolution of Model Transformations at King's College, London organized by Kevin Lano and Steffen Zschaler. The presentations covered a wide range of topics including: composition of bidirectional model transformations; traceability issues in the composition of input-destructive model transformations; transformation reuse; composing ATL transformations; verification logics for transformations; visualization of transformation traces; the use of Java agents for model transformations; specifying transformations for model slicing; composition of UML-RSDS transformations. My presentation (and associated paper) was on model slicing:
China’s Tech Moguls Warn of AI’s Troubling Trajectory - Never mind the singularity; artificial intelligence could eliminate countless jobs, and perhaps reshape global politics in the process.
13 hours ago