Deadline Extended:September 30, 2018 (September 15, 2018)

Notification:October 15, 2018

About YR-FMAC 2018

YR-FMAC 2018 is a Chinese Forum on Formal Methods for young researchers, following its predecessor YR-SETTA. The forum 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.
The scopes of the forum include not are not limited to the followings:

- Theory in Formal Methods: theories of deduction, verification, refinement, static analysis, etc.

- Algorithms and tools in Formal Methods: Algorithms and tools on automatic reasoning, model checking, theorem proving, system design, etc.

- Applications and Practices: Applications of formal methods in industry, particularly for software/hardware development

- Interdisciplines: Interdisciplinary studies on Formal Methods and other fields like Biology, Intelligence, Control Theory

- Educations in Formal Methods: Practices and empirical experiences in teaching and training of formal methods

This year the formum is to be held together with FMAC 2018 on November 03-04, 2018, in Chongqing. Young researchers and students on formal methods from both industry and academia are more than welcome.

Please help us distribute the flyer freely to those may might be concerned.


- Selected talks of students will be awarded BEST STUDENT PRESENTATION!

- NO formal proceedings will be published by the event.

Submission Requirements

- Talks are selected on the basis of extended abstracts describing the research.

- Submissions must be in PDF format

- Abstract must be in English and at least two-page A4 pages

- Both published and unpublished works are welcome and no particular template is required

Submssion and Important Dates

- Please submit your contributions via Easychair by the LINK

Deadline Extended: September 30, 2018 September 15, 2018

Notification:October 15, 2018