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:
AlphaGo Zero Shows Machines Can Become Superhuman Without Any Help - An upgraded version of the game-playing AI teaches itself every trick in the Go book, using a new form of machine learning.
3 hours ago