Papers of up to 16 pages prepared according to the EPTCS template must be submitted electronically using the EasyChair submission system here, and choosing the track “Working Formal Methods Symposium“.

Research papers must contain original research results not submitted and not published elsewhere. They will be considered for inclusion in the EPTCS proceedings of the symposium, which will be indexed in the Web of Science. Authors who want to present work in progress or discuss new aspects or a survey of their older research results at the workshop are welcome to submit an extended abstract (up to 8 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the topics of the symposium.

Accepted papers must be presented at the symposium.