Prospective participants will be invited to submit (1) a short position or research paper (maximum 4 pages) or (2) a 1-2 pages talk proposal on tool demonstration; industrial challenges or unpublished extended abstract of ongoing research.
All submissions will be reviewed by members of the program committee and the organizing committee for quality and relevance.