Traces Workshop at LICS/ICALP July 15.