the workshop papers. Each contribution has been edited and extended after the workshop,