YR-SETTA 2017 will be held in Changsha, China on October 21, 2017, co-located with SETTA 2017 and FMAC 2017. This year is the third YR-SETTA workshop. The past YR-SETTA workshops were successfully held in Nanjing ('15), Beijing ('16).

      This workshop aims at providing a platform for PhD students and young researchers, to exchange new results related to formal methods and related areas (e.g., programming languages, software engineering, etc.), receive feedback on their research, discuss the international and domestic research trends and perspectives. Intensive informal discussions are encouraged and mostly appreciated. Excellent master students working on formal methods and related areas are also encouraged to contribute.


Talks are selected on the basis of extended abstracts describing the research. No particular format is required, except that the abstract should be in English and in PDF. Extended abstracts (at least 2 pages in double columns or single column) should be submitted via the YR-SETTA 2017 submission page, handled by the EasyChair conference system:


Submissions are judged on the relevance of the topic and the expected quality of the work. Submissions presenting unpublished or in-progress work are especially encouraged. The accepted abstracts will be made available at the workshop, but no formal proceedings are planned. Last but not least, the talks should be given in English.

Important dates

- Submission: September 25, 2017 (Extended to: September 30, 2017)

- Notification : October 10, 2017

- Workshop : October 21, 2017