YR-SETTA is a satellite workshop of SETTA conference. YR-SETTA started last year, together with SETTA 2015, in Department of Computer Science and Technology, Nanjing University. This year is the second YR-SETTA workshop.

     YR-SETTA 2016 will be held on Saturday, November 12th, 2016. It is anticipated that many SETTA participants will attend the YR-workshop (and vice versa).

    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 and software engineering, 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.

Special Session

This year, YR-SETTA will also include a special presentation session for papers that were already published in CAV 2016, POPL 2016, and PLDI 2016.

Important dates

- Deadline for the submission: October 10th, 2016 (Extended to: October 17th, 2016)

- Notification of acceptance: October 25th, 2016

- Workshop : November 12th, 2016


    Talks are selected on the basis of abstracts (at least 6 pages in double columns or 10 pages in single column, including references for unpublished work, and at least 2 pages, either in double columns or single column, for published work) describing the research. No particular format is required, except that the abstract should be in English and in PDF.

    Submissions are judged on the relevance of the topic and the expected quality of the work. The accepted abstracts will be made available at the workshop, but no formal proceedings are planned.

    It is thus also allowed (and encouraged) to send the work that are still in progress and the results that have been published at other conferences or journals (although preferably not at SETTA 2016).

    Last but not least, the talks should be given in English.


Abstracts (for unpublished work, at least 6 pages in double columns or 10 pages in single column, including references, and for published work, at least 2 pages in either double columns or single column) should be submitted via the YR-SETTA 2016 submission page on the EasyChair system: YR-SETTA 2016 Submission Site


State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences