To participate, please submit one of the following: (1) a short position or research paper (maximum 4 pages) or (2) a talk proposal on tool demonstration, industrial challenges or extended abstract of ongoing research (1-2 page). You can select an option to present only, without an inclusion of the submission in the workshop proceedings.
All submissions will be reviewed by members of the program committee and the organizing committee for quality and relevance.